Is the AI mathocalypse coming for encryption next? OpenAI’s bumper crop of 722 math papers wowed and worried the research community—and cryptographers are split over whether the algorithms that protect our texts and bank log-ins are next By Chris Stokel-Walker…
The mathematics community is currently engaged in a sustained academic and public discourse regarding the integration of artificial intelligence into research and education. A recent wave of online essays by leading mathematicians, including Kevin Buzzard, Harald Helfgott, Gil Kalai, and…
While some parts of the math community are talking about how the field would suffer if AI generates large numbers of math proofs no one understands, others seem to believe that such proofs will become an integral part of further…
Once again, the world of Artificial Intelligence has achieved a significant milestone. Both OpenAI and Google DeepMind announced that their AI models reached gold medal level scoring in the2025 International Math Olympiad (IMO), one of the most prestigious competitions in the…
Mathematicians have accused OpenAI of using private user research to solve a Millennium Prize Problem and "scooping" their work. Picture: HEATHER DIEHL / GETTY IMAGES NORTH AMERICA / GETTY IMAGES VIA AFP Image: HEATHER DIEHL / GETTY IMAGES NORTH AMERICA / GETTY IMAGES VIA…
The ChatGPT maker claims that it wants to ‘empower scientists’. But many mathematicians say that OpenAI is undermining the field that helped it build the artificial intelligence tools that have made it so powerful, writes Andrew Griffin It was a…
It is a reusable pipeline for AI math discovery. A human sets a direction. The orchestration system sends multiple AI agents to explore. Lean decides correctness. The human confirms results and writes them up. The fight around Liu has three…
Vetting AI-generated mathematics: the Leiden declaration on AI and mathematics, errors found in released proofs, peer review and calls for verifiable AI research.
An article joins this feed when it matches these terms. Each one is also a search of its own.