Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

Ai Social Engineering

less than 1 minute read

Published:

AI Social Engineering in the Digital Age

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

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:

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.

portfolio

Disease Detection Web Application

Published:

The Disease Detection Web Application, developed in 2022, is a machine learning-powered platform designed to assist in the early detection of diseases.

publications

Paper Title Number 4

Published in GitHub Journal of Bugs, 2024

This paper is about fixing template issue #693.

Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).

The Axiomatic Genome of Number Systems

Published in Journal 1, 2025

The real number systems $\mathbb{R}$ is traditionally defined as the unique complete ordered field. However, this definition servers a pivotal midpoint in a broader numerical hierarchy. By examination of the 13 axioms of $\mathbb{R}$, we can trace how specialized number systems such as complex numbers, quarternions and and $p$-adic numbers $\mathbb{Q}_p$ emerge through deliberate axiomatic trade-offs. Our study details the transitions from discrete structures to continuous and higher-dimensional algebras, concluding with their critical applications in modern physics, robotics and cryptograph etc.

Recommended citation: Ajeet Kumar, You. (2025). "Paper Title Number 1." Journal 1. 1(1).

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.