#математика
-
Terence Tao presents a Caltech talk titled "Math 2.0"
Hacker News is discussing the slides from a lecture by mathematician Terence Tao titled "Math 2.0", delivered at the California Institute of Technology.
-
OpenAI drops another batch of mathematical breakthroughs
The company has published 722 manuscripts containing solutions to long-standing open problems, produced by an unreleased frontier model — and once again rattled the mathematical community.
-
OpenAI turns to elite mathematicians to avoid fumbling again
After a string of headline mathematical results curdled into a reputational crisis, OpenAI has convened an independent panel of nine prominent mathematicians to advise it on how to publish discoveries and talk to the research community.
-
OpenAI and the “Millennium Problems”: Why Mathematicians Have Stopped Trusting the AI Giants
OpenAI claimed it had solved the Navier–Stokes problem, but instead of a triumph it got a scandal: mathematicians accuse the company of chasing prestige, disregarding others' work, and engaging in a “childish” rivalry with Anthropic.
-
Mathematicians Demand OpenAI Prove It Didn't Use Their Work
The second mathematician in a week has accused OpenAI of a lack of transparency: he fears his exchanges with ChatGPT may have made their way into the training data and helped the company with its headline-grabbing discoveries.
-
OpenAI Cracks the Navier–Stokes Problem — Along With Accusations That It “Peeked” at Someone Else's Ideas
OpenAI has claimed a proof of one of the seven Millennium Prize Problems using an internal model. The triumph is overshadowed by accusations that the company beat a team that had spent nearly a year on the problem using those very same tools.
-
Terence Tao on the Risk of “Prematurely Solving a Maths Problem by Purely AI-Powered Methods”
In a thread on Mathstodon, the mathematician Terence Tao reflects on the danger of solving problems in pure mathematics exclusively with the help of AI. Observers note that the same consideration applies to programming as well.
-
Anthropic's AI Formally Proved Fermat's Last Theorem in Lean
In 11 days, an internal Anthropic model assembled a complete formalization of the proof of Fermat's Last Theorem — the last remaining item on a 20-year-old list of 100 formalization challenges.
-
AI Isn't Outthinking Mathematicians — It's Out-Remembering Them
Davide Piffer offers a less flashy explanation for AI's successes in mathematics: the point isn't superior intellect, but an almost limitless symbolic working memory.
-
Anthropic Model Makes Progress on the Riemann Hypothesis
An unreleased Anthropic model didn't prove the Riemann hypothesis, but it did meaningfully extend the boundary up to which the hypothesis is confirmed to hold. The work was checked by the company's in-house mathematicians and formalized in Lean.
-
Scroll Through All 43 Quintillion States of the Rubik's Cube
A web project lets you scroll through all 43,252,003,274,489,856,000 possible positions of the Rubik's Cube — from the first permutation to the last.
-
OpenAI Announces Astra — the Model That Solved Ten Long-Standing Math Problems
OpenAI has unveiled Astra, a model not yet released, which in internal testing produced ten significant results in mathematics and theoretical computer science. The company calls it its “next major model.”
-
A False “Refutation” of the Collatz Conjecture Exposed a Bug in Lean's Kernel
A soundness bug has been found in the Lean proof system's kernel: with the help of AI, a formally accepted but incorrect “refutation” of the Collatz conjecture was constructed. Lean's author, Leonardo de Moura, has published a breakdown of what happened.
-
Fable Language Model “Disproves” the Jacobian Conjecture — but Mathematicians Are Cautious
A mathematician going by the handle levent announced on the social network X that the famous Jacobian conjecture is false: the counterexample was built with the help of the AI model Fable. Verification of the result is still ongoing.
-
GPT-5.6 Suggested a Solution to a 30-Year Convex Optimization Problem
According to Reddit users, the language model GPT-5.6, guided by a specially crafted prompt, helped close a question in convex optimization that had been open for thirty years. The news sparked a lively discussion on Hacker News.
-
OpenAI Claims GPT-5.6 Sol Ultra Proved the Cycle Double Cover Conjecture
OpenAI has published a PDF in which its GPT-5.6 Sol Ultra model is presented as the author of a proof of the Cycle Double Cover Conjecture. The news sparked a lively discussion on Hacker News.