Posts by Category

Did OpenAI solve the Navier–Stokes Millennium Problem completely ?

7 minute read

Published:

Headlines over the last few days have claimed that “OpenAI solves the Navier–Stokes Millennium Problem.” As mathematicians, our first reaction should be extreme skepticism. The media have badly misread the result. The OpenAI manuscript proves a forced finite-time blowup for 3D incompressible Navier–Stokes, not the unforced regularity/blowup question that most people associate with the Clay Millennium Prize..
A swirling vortex — involved in the solution to the Navier–Stokes existence and smoothness problem. Credit OpenAI

AI Hardwares

A Case Study of MacBook Air M4(16/256GB) for AI Model Production by Applied Mathematician

4 minute read

Published:

I was using Asus Notebook(i3/8GB/1TB-HHD) since 2021. After completion of M.Sc Mathematics and Computing degree at BHU Varanasi, went to the IIT Delhi(Cloud Computing and HIPC Lab SIT), New Delhi for the AI Research Internship. I am greatfull enough that i have worked onto the the two most interesting research problem

  1. LLM for OpenAPI Specification Generation from the given server source code.
  2. Lean4 Proof generation for the given theorem in lean4

Applied Mathematics

A Case Study of MacBook Air M4(16/256GB) for AI Model Production by Applied Mathematician

4 minute read

Published:

I was using Asus Notebook(i3/8GB/1TB-HHD) since 2021. After completion of M.Sc Mathematics and Computing degree at BHU Varanasi, went to the IIT Delhi(Cloud Computing and HIPC Lab SIT), New Delhi for the AI Research Internship. I am greatfull enough that i have worked onto the the two most interesting research problem

  1. LLM for OpenAPI Specification Generation from the given server source code.
  2. Lean4 Proof generation for the given theorem in lean4

Artificial Intelligence

A Case Study of MacBook Air M4(16/256GB) for AI Model Production by Applied Mathematician

4 minute read

Published:

I was using Asus Notebook(i3/8GB/1TB-HHD) since 2021. After completion of M.Sc Mathematics and Computing degree at BHU Varanasi, went to the IIT Delhi(Cloud Computing and HIPC Lab SIT), New Delhi for the AI Research Internship. I am greatfull enough that i have worked onto the the two most interesting research problem

  1. LLM for OpenAPI Specification Generation from the given server source code.
  2. Lean4 Proof generation for the given theorem in lean4

Automation

Build-Systems

C Programming

Collaborations

Computing

A Case Study of MacBook Air M4(16/256GB) for AI Model Production by Applied Mathematician

4 minute read

Published:

I was using Asus Notebook(i3/8GB/1TB-HHD) since 2021. After completion of M.Sc Mathematics and Computing degree at BHU Varanasi, went to the IIT Delhi(Cloud Computing and HIPC Lab SIT), New Delhi for the AI Research Internship. I am greatfull enough that i have worked onto the the two most interesting research problem

  1. LLM for OpenAPI Specification Generation from the given server source code.
  2. Lean4 Proof generation for the given theorem in lean4

Information

4 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Passion

4 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Projects

Research

4 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Systems

Video Downloader

Writing

YouTube