Mathematicians

OpenAI's reasoning model has reportedly solved an 80-year-old geometry conjecture, a claim validated by mathematicians, indicating a significant advancement in AI's capability to tackle complex mathematical problems.

Subjects lying dormant to an extent, only improved when in demand, proofs being turned constructive just now, etc. Functional analysis is a box mathematicians feels comfortable in. Thinking deep about messy cat images scares them. $\endgroup$ ... Pattern Theory -- David Mumford and Agnès Desolneux. One could consider this as an AI book for mathematicians.

Math Inc. is reporting initial ... with its AI, Gauss, having formalized two complex proofs related to sphere-packing in higher dimensions by Fields Medalist Maryna Viazovska. Meanwhile, the independent research community has demanded higher standards of evidence. In February 2026, 11 leading mathematicians published ...

Developing mathematical models and theories — the actual creative heart of mathematics — is at only 42% automation. [Fact] AI can suggest patterns in data. It can verify proofs using systems like Lean.

Artificial intelligence models are being developed to verify mathematical proofs and solve complex problems, potentially accelerating progress in pure mathematics. | Science & technology

A start-up has surprised the scientific community with a breakthrough: translating a modern proof into a programming language for verification using AI. But not everyone is celebrating ... A new era in mathematics may be on the horizon—one that some researchers have long desired. Mathematicians could soon use computers to verify proofs quickly and rigorously, ensuring published proofs are correct and providing a foundation for further advances.

Recent developments show that AI can prove research-level theorems in mathematics, both formally and informally. This essay urges mathematicians to stay up-to-date with the technology, to consider the ways it will disrupt mathematical practice, ...

Axiom Math, a startup based in Palo Alto, California, has released a free new AI tool for mathematicians, designed to discover mathematical patterns that could unlock solutions to long-standing problems.

Even formalising proofs can generate important insights, says Mehta, and he and his colleagues will now need to untangle the 200,000-line AI proof to work out what might be useful for other projects. But mathematicians are still hopeful there will be a place for them in an increasingly machine-led future. Looking to history, Commelin says that manual calculations were once a large part of being a mathematician, but they are now done automatically.

Across universities, proof assistants such as Lean and Coq have already begun to change how mathematicians document their work. Tao described them as “languages that can encode mathematical proofs,” where every step must compile correctly. “You can get a language model to output a proof in Lean,” he said, “and the compiler will automatically check whether it’s valid.