Blog Posts

2026

Lake: The Build System and Package Manager for Lean 4

10 minute read

Published:

Just as C++ relies on CMake for build orchestration and package managers like Conan or vcpkg for dependency resolution, Lean 4 relies on Lake (Lean Make). Lake serves as a unified build system, dependency manager, and task runner designed specifically to handle module trees, compiled C backends, and precompiled proof artifacts.

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

Attention Mechanisms

63 minute read

Published:

Attention Mechanisms - All You Needed To Know

Llama Lineage

7 minute read

Published:

A Study of Llama Lineage : A Transformer based LLMs

Course-AI : Academic Journey to The Industry

less than 1 minute read

Published:

How students can connect academic learning, applied mathematics, artificial intelligence, and industry-oriented problem solving..

अत्रेय महाकाव्य: शून्य से सृजन और आजमगढ़ की पावन कर्मभूमि की अमर गाथा

1 minute read

Published:

क्या आपने कभी उस ‘शून्य’ के बारे में सोचा है जहाँ से इस अनंत ब्रह्मांड का उदय हुआ? क्या आप जानते हैं कि आजमगढ़ की पवित्र नदियाँ—तमसा, मंजूषा और कुँवर—किन महान ऋषियों की साधना की साक्षी रही हैं?

Notebook : Chanakya(Kautilya) Niti Sutra

18 minute read

Published:

“Establish yourself in Self-Control, plan with Secrecy, act with Courage, and let Truth be your final destination.” — Ajeet Kumar

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

2025

How to become a mathematician ?

6 minute read

Published:

I don’t know from where to start to tell you about my story because i have’t become a mathematician until now, but on the track in the race of becoming a mathematician. So, whatever i will tell you that will be the my thoughts during learning and understanding in the journey of continuum hard work how i am actually transforming myself from a first class passed out master student that have a litle exposure to the research due to my masters thesis on topics of discrete differential geometry and its applications to become a researcher in mathematics after publishing papers.

Bsc Hons Amath

3 minute read

Published:

title: ‘AI for Engineers’ date: 2025-08-09 permalink: /posts/2025/08/09/ai-for-engineers/ tags:
  • Game
  • Job

  • Nature

Abstract We are going to study

Course Ai

less than 1 minute read

Published:

title: ‘AI from First Principle’ date: 2025-08-09 permalink: /posts/2025/08/09/ai-from-first-principle/ tags:
  • Algorithms
  • Mathematics
  • Coding

  • Artificial Intelligence

    Project Screen Cap

Msc Amath

less than 1 minute read

Published:

2024

2012

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.

POSTS