Tag
Google DeepMind and Google launched the AI for Math Initiative, partnering with five prestigious research institutions to use AI tools like Gemini Deep Think and AlphaProof to accelerate mathematical discoveries.
This article explains the fundamentals of Markov Decision Processes (MDPs), a core framework in deep reinforcement learning, using an educational example of a student's daily decisions.
This project open-sources Chinese compulsory education math textbooks, aiming to popularize education and help overseas Chinese children learn.
The OpenAI reasoning model successfully constructed a counterexample, disproving the 80-year-old Erdős unit distance conjecture, demonstrating the capability of general-purpose models to solve open math problems.
An OpenAI model has autonomously solved the planar unit distance problem, a famous open question in mathematics posed by Paul Erdős in 1946, by discovering a new family of constructions that outperform square grids. This marks the first time AI has autonomously proven a prominent open problem in mathematics.
A mathematician used the Gemini model to review a forthcoming math paper. The model successfully identified a logical error in Proposition 4.2 and provided three irrefutable reasons, assisting the author in correcting the conclusion. This case demonstrates that AI can perform deep reasoning like a trained mathematician, even in cutting-edge fields.