Linköping University professor Peter Jonsson is set to have his work presented in two weeks’ time at one of the most prestigious conferences in theoretical computer science. As of Monday, much of that work is “dead,” he says, after AI…
TLDR: I explain what the technical AI alignment problem is and what its core difficulties are, in my view. This is a perspective that draws simultaneously on classical traditions in theoretical computer science / machine learning theory, ideas from analytic philosophy,…
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…
The proofs and prompts website contains posts which represent a wide variety of opinions, and it is not difficult to find posts by people who are angry. One prominent example is Vlad Lazic’s post here. Lazic has outlined his views…
Local News Matters “40 HOURS, $2M+ AI CREDITS, solve an open problem.” So read the splashy announcement for the “Mathathon” at the California Institute of Technology in Pasadena. Dozens of teams would work to solve vexing math problems with the help of…
How mathematicians are responding to AI: Terence Tao's view, the Leiden declaration, checking AI proofs and what AI means for the future of the field.
An article joins this feed when it matches these terms. Each one is also a search of its own.