Institute for Advanced Study

Headlines · 6

1. 3h
   3Blue1Brown: Now Is the Best Time to Study Math, Even as AI Masters Proofs

   3Blue1Brown founder Grant Sanderson argues in a new video that now is one of the best times to enter mathematics. He says AI's current math ability may be overestimated while its rate of progress has never been overestimated, and that even if AI fully surpasses humans at proving theorems, math's own value and its funding sources would be barely affected; what would change is academic culture and how credit is allocated. He expects research to tilt toward theory building, with proofs demoted to "raw data" like numerical computation, while teaching remains a core source of value because the real bottleneck is whether people want to learn.

   36氪 人工智能 · 🔥 9
2. Oct 8
   Mathematicians' AHM urges boycott of OpenAI after 722 AI math manuscripts

   On October 6 OpenAI published roughly 722 manuscripts, grouped into 372 "result families," claiming most came from a single internal model; it tested about 8,000 open problems with roughly 5% success and about three hours of ChatGPT Pro-level compute per problem. The Association for Human Mathematicians (AHM), chaired by Fields Medalist Terence Tao, responded that dumping 700-plus files at once is "not a demonstration of scholarship, but a demonstration of power," and urged mathematicians to stop collaborating with OpenAI; Scott Aaronson called it a "Mathocalypse." Three manuscripts have since been retracted, one reportedly for a sign error, with two others depending on it.

   The Decoder · 🔥 0
3. Oct 8
   OpenAI's math proof release falls short of new field standards

   OpenAI this week published hundreds of claimed solutions to hard math problems (719 manuscripts, per the article), saying it consulted an advisory group of elite mathematicians to avoid the controversy its earlier result sparked. But only ten of the manuscripts included the model's chain of thought, and by the article's account roughly 42% of the proofs had not gone through formalization in Lean; the Advisory Group on Mathematics and Artificial Intelligence (AGMAI), hosted by Princeton's Institute for Advanced Study, said it is ultimately up to the mathematical community to judge whether its recommendations were followed — its first request being to stop testing advanced problems on proprietary models. A paper from Cambridge and King's College London mathematicians also documents at least two discrepancies between OpenAI's natural-language proof and the Lean code for a problem derived from the Navier-Stokes equations, concluding such autoformalized proofs should not be trusted without peer review.

   TechCrunch AI · 🔥 0
4. Oct 8
   Terence Tao faults OpenAI's 719 AI math proofs for 'proof indigestion'

   OpenAI published 722 AI-generated mathematics manuscripts on GitHub on October 6 covering 372 result families and numerous open research problems, withdrawing three the next day after a notation error and its knock-on effects, leaving a public catalogue of 719. Per IT之家, the Institute for Advanced Study-hosted Mathematics and AI Advisory Group (AGMAI) had recommended disclosing model names, prompts, reasoning chains, time and compute costs and stopping tests of hard math problems on proprietary models — yet OpenAI still used proprietary models, only 10 manuscripts include reasoning chains, and about 42% of proofs are unformalized. Mathematician Terence Tao said in an October 7 mathstodon post that he does not oppose AI doing mathematics but rejects making 'fast AI solutions to famous problems' a primary goal or product demo, coining 'proof indigestion' and criticizing the use of problems such as Navier–Stokes as capability benchmarks.

   IT之家 AI · 🔥 0
5. Oct 6
   Terence Tao urges AI slowdown as OpenAI forms math advisory group

   Quantum位 (QbitAI) reported that Fields medalist Terence Tao used a SAIR talk to criticize AI companies for accelerating "endlessly," saying "we must slow down" and telling model companies to stop chasing math problems, a phenomenon he called "proof indigestion." The report says Tao, previously an enthusiastic AI adopter, joined Peter Scholze, Deng Yu and other mathematicians in an open letter faulting OpenAI for treating hard problems as benchmarks. In response, OpenAI announced an Advisory Group on Mathematics and AI hosted at the Institute for Advanced Study, with members including Edward Witten, Timothy Gowers and Martin Hairer, though its statement said the group would not advise on internal mathematical progress. A commentary by 数字力场 republished by TMTPost and Huxiu added that OpenAI released 722 model-generated math manuscripts on October 6, only about 42% of which passed Lean formal verification.

   量子位（原生 RSS） · 🔥 8
6. Oct 5
   OpenAI publishes 722 AI-generated math papers despite ethics backlash

   OpenAI released 722 manuscripts covering 372 result families on GitHub on October 6, saying they were produced by an unreleased internal frontier model and include solutions to "hundreds" of open mathematics questions. The release also includes 10 summaries of the model's reasoning, compute estimates expressed in ChatGPT Pro usage (the average result used roughly three hours of Pro thinking), and Lean formalizations of many proofs. OpenAI says it drew on advice from the newly formed independent Advisory Group on Mathematics and Artificial Intelligence (AGMAI), though some mathematicians say it ignored requests to publish through established academic channels.

   The Verge AI · 🔥 0

Experience and discussion from the community

Share my Institute for Advanced Study experienceAsk about Institute for Advanced Study