OpenAI releases hundreds of AI math results, drawing academic backlash

1. 08:00
   RedditReddit r/OpenAI· Discussion

   Some recurring tricks in the OpenAI math release(opens the original post in a new tab)
2. 06:06
   RedditReddit r/OpenAI· Discussion

   OpenAI's latest blow to mathematicians: 'They have annihilated my field of research'(opens the original post in a new tab)
3. 03:05
   网页TechRadar· Discussion

   Has OpenAI started the 'mathpocalypse'? Experts say AI's solving of iconic math problems may cause huge issues in the long run(opens the original post in a new tab)

1. 08:01
   网页新智元· Discussion

   MIT professor in despair: the Millennium Prize Problem OpenAI solved is now beyond human comprehension!(opens the original post in a new tab)
2. 03:00
   XX @rohanpaul_ai· Discussion

   Some students at Northwestern University are now asking whether they should stay in mathematics at all, after OpenAI posted hundreds of A...(opens the original post in a new tab)
3. 02:40
   XX @haider1· Discussion

   this is still absolutely insane to me(opens the original post in a new tab)
4. 01:40
   RedditReddit r/OpenAI· Discussion

   OpenAI's unreleased model solved most of the math problems from a single prompt. It did not even exist before the end of August. Each problem used ~3 hours of thinking.(opens the original post in a new tab)

1. 13:23
   量子位

   OpenAI manuscript claims to prove the Hausdorff dimension conjecture for Kakeya sets in four dimensions, advancing Wang Hong's three-dimensional result

   On October 7, OpenAI publicly released 722 mathematical manuscripts at once, of which two numbered 074 total 272 pages, claiming to prove the three-dimensional Kakeya maximal function conjecture and the Hausdorff dimension conjecture for Kakeya sets in four dimensions, with the author field listing only OpenAI. The three-dimensional paper strengthens the set version result of Wang Hong and Joshua Zahl to the maximal function version; the four-dimensional paper directly pushes the dimension lower bound, previously stuck around 3 point something, to 4, and cites a lemma from the three-dimensional paper. Neither paper has been formalized in Lean, nor has either undergone peer review; OpenAI stated in the README that some unformalized results may have issues. The four-dimensional paper only proves the Hausdorff dimension version and does not resolve the four-dimensional maximal function conjecture; for five dimensions and above, it only gives lower bounds via projections. The human mathematics association (AHM) led by Terence Tao subsequently issued a statement urging mathematicians to stop cooperating with OpenAI.

2. 12:14
   XX @AISafetyMemes· Discussion

   "OpenAI's model solved most of the math problems from a single prompt.(opens the original post in a new tab)

1. 21:03
   The DecoderSelected

   OpenAI released more than 700 mathematical manuscripts at once, and the mathematician community reacted with shock and anger

   OpenAI released more than 700 manuscripts in a single batch on October 6, 2026, claiming to have solved hundreds of open mathematical problems, and the mathematics blog Proofs and Prompts subsequently collected responses from over 100 researchers. Some papers have already been retracted, and others have been criticized for being difficult to read, but some experts also said the results were impressive. Fields Medalist Peter Scholze called for patience and warned that such systems could find ways to break widely used encryption methods; Terence Tao said AI-generated proofs introduced valuable new ideas but expressed frustration over the lack of people who could discuss and teach this work. Alvaro Lozano-Robledo called it possibly the most important day in the history of mathematics, while noting that OpenAI's targeting of the Riemann Hypothesis only yielded a weaker variant. Ben Green said some results astonished him, saying they addressed about three-quarters of the research goals in the European funding he received in June of that year.

2. 16:50
   XX @rohanpaul_ai· Discussion

   Tristan Buckmaster, NYU Mathematics professor:(opens the original post in a new tab)
3. 12:25
   XX @rohanpaul_ai· Discussion

   Professional Mathematicians are unsettled because AI can now publish novel work before they do.(opens the original post in a new tab)
4. 11:04
   网页IT之家· Discussion

   OpenAI's release of a large batch of mathematical research results causes major upheaval in the academic community; scholars worry it undermines traditions of academic collaboration(opens the original post in a new tab)
5. 05:25
   Hacker NewsHacker News· Discussion

   OpenAI mistranslated mathematics into code for its Navier-Stokes proof(opens the original post in a new tab)
6. 03:09
   The Verge AISelected

   OpenAI releases nearly 400 AI-generated mathematical results at once; mathematicians say it will take years to digest

   This week OpenAI released nearly 400 AI-generated mathematical results spread across more than 700 manuscripts, covering combinatorics, geometry, number theory, theoretical computer science, algebra, topology, probability and statistical mechanics, mathematical physics, and other areas, and posted a navigation guide in a GitHub repository for this purpose. Several mathematicians told The Verge that merely skimming the roughly 40-page table of contents and abstracts takes nearly an hour, and fully understanding the results could take years. OpenAI said that of the 719 manuscripts, only 300 main results, about 42%, have been formalized in Lean, and acknowledged that the results are at different stages of verification. Kevin Buzzard of Imperial College London said that in his field of algebraic number theory he found only about six immediately striking theorems, and almost none had been verified through Lean formalization. Some researchers noted that the papers are unusually short and have few references, and expressed concern about incomplete authorship; as of October 8, the record already listed multiple corrections, including revisions to more than ten manuscripts and the withdrawal of three papers due to notation errors.

7. 01:32
   RedditReddit r/LocalLLaMA· Discussion

   OpenAI's math findings built on stolen user data(opens the original post in a new tab)
8. 01:30
   RedditReddit r/OpenAI· Discussion

   Prof. Tristan Buckmaster on the controversy over OpenAI's math findings(opens the original post in a new tab)

1. 21:20
   网页Don't Worry About the Vase· Discussion

   New Math from OpenAI(opens the original post in a new tab)
2. 18:21
   网页爱范儿· Discussion

   Terence Tao reposts the boycott statement; the math community and OpenAI have completely fallen out(opens the original post in a new tab)
3. 16:15
   网页Bloomberg Technology· Discussion

   How AI Is Upending the World of Mathematics(opens the original post in a new tab)
4. 13:02
   网页cnBeta· Discussion

   Fields Medalist Terence Tao publicly criticizes OpenAI(opens the original post in a new tab)
5. 09:40
   网页IT之家· Discussion

   Terence Tao questions OpenAI: with 719 AI mathematical proofs, do humans really understand them?(opens the original post in a new tab)
6. 08:49
   XX @rohanpaul_ai· Discussion

   OpenAI withdraws some of the math paper that it published two days back.(opens the original post in a new tab)
7. 08:35
   量子位

   Human Mathematics Association (AHM), led by Tao Terence, issues joint statement boycotting OpenAI

   Fields Medalist Terence Tao led the Human Mathematics Association (AHM) in issuing a joint statement urging mathematicians worldwide to stop cooperating with OpenAI and calling on the public to remain skeptical of its release model. The statement accuses OpenAI of ignoring the red-line warning from the Mathematics and AI Advisory Group (AGMAI) that advanced mathematical problems should not be arbitrarily tested on internal models, using internal models to test about 8,000 open mathematical problems with a hit rate of about 5%, and releasing more than 700 machine-generated proof drafts. Turing Award winner Yann LeCun, meanwhile, publicly said that mathematics is entering a new era of large-scale automation of formal proofs.

8. 07:55
   XX @haider1· Discussion

   the craziest detail from openai's math results went unnoticed(opens the original post in a new tab)
9. 07:29
   Hacker NewsHacker News· Discussion

   OpenAI, the Partition Principle, and Mathematics(opens the original post in a new tab)
10. 05:30
    网页Bloomberg Technology· Discussion

    OpenAI’s Math Advances Spark a Reckoning for Academia(opens the original post in a new tab)
11. 02:17
    The Decoder

    Mathematicians call for a boycott of OpenAI, protesting the flood of AI-generated proofs into mathematics.

    A group of mathematicians (AHM) issued a statement calling for a boycott of OpenAI, because the company released more than 700 AI-generated mathematical proof files at once, seen as a show of force rather than an academic contribution. Fields Medalist Terence Tao reposted the statement on his blog and proposed that mathematics should enter a Math 2.0 era in which problem-solving is no longer the core metric; complexity theorist Scott Aaronson called the situation a "Mathocalypse." The statement said OpenAI's release violated the core premise of its advisory group AGMAI, namely that advanced mathematical problems should not be tested on internal models, and mentioned the multiple copyright lawsuits OpenAI faces. Aaronson compared the two approaches: OpenAI dumped raw proof drafts at once, leaving the community to do the cleanup work for free; Anthropic, by contrast, worked with two algorithm researchers, with AI providing key ideas that overturned two conjectures that had been open for twenty years, and the researchers were paid and wrote human-readable proofs.

12. 02:10
    TechCrunch AI

    OpenAI's published mathematical solutions do not meet academic standards

    OpenAI 本周发布数百份高难度数学问题解答，但未完全符合普林斯顿高等研究院 AGMAI 九月底提出的规范。AGMAI 的首要建议是停止在专有模型上测试高等数学问题，而 OpenAI 明确表示正用开放研究问题评估其专有模型。719 份手稿中仅 10 份公开了模型的思维链，42% 的证明未经过形式化。剑桥大学与伦敦国王学院数学家的新论文记录了 OpenAI 针对 Navier-Stokes 方程衍生问题的解答中，自然语言证明与 Lean 代码之间至少两处不一致，认为这类自动形式化证明在未经同行评审前不应被直接信任。数学家 Terence Tao 与哈佛大学教授 Melanie Wood 均指出，模型给出解答时人类尚未理解结果，后续工作才刚开始。

13. 00:50
    RedditReddit r/ControlProblem· Discussion

    Fields Medalist Terence Tao reposts statement from the Association for Human Mathematics urging mathematicians to stop working with OpenAI for continuing to solve open math problems against their recommendations(opens the original post in a new tab)

1. 23:39
   网页Don't Worry About the Vase· Discussion

   AI #189: New Math(opens the original post in a new tab)
2. 23:20
   XX @haider1· Discussion

   i swear openai is messing with mathematicians at this point(opens the original post in a new tab)
3. 22:31
   RedditReddit r/OpenAI· Discussion

   I used AI to build on OpenAI’s new mathematical discoveries and ended up with two open-source research projects(opens the original post in a new tab)
4. 17:29
   Hacker NewsHacker News· Discussion

   AHM Statement on OpenAI's October 6 Release of Mathematical Documents(opens the original post in a new tab)
5. 17:20
   网页Axios· Discussion

   OpenAI's math breakthrough points beyond math(opens the original post in a new tab)
6. 16:08
   Hacker NewsHacker News· Discussion

   OpenAI Withdraws 3 Math Papers(opens the original post in a new tab)
7. 15:05
   Hacker NewsHacker News· Discussion

   OpenAI withdraws three mathematical results(opens the original post in a new tab)
8. 14:25
   网页Techmeme· Discussion

   The Association for Human Mathematics says OpenAI's new math documents show power, not scholarship, and urges mathematicians to stop working with the company (AHM)(opens the original post in a new tab)
9. 14:20
   RedditReddit r/OpenAI· Discussion

   Researchers are already significantly improving on OpenAI’s recent math results, verified in Lean(opens the original post in a new tab)
10. 13:20
    X@danintheory· Discussion

    First erratum for the OpenAI mathematics library: one symbol error leads to the withdrawal of 3 manuscripts, including the proof of the rational Hodge conjecture for products of K3 surfaces (Dan Roberts)(opens the original post in a new tab)
11. 13:14
    Hacker NewsHacker News· Discussion

    Terence Tao Responds to the OpenAI Math Drop(opens the original post in a new tab)
12. 13:10
    网页Techmeme· Discussion

    A theoretical computer scientist, citing sources, says AI labs have quietly started probing whether their models can break important cryptographic protocols (Scott Aaronson/Shtetl-Optimized)(opens the original post in a new tab)
13. 11:38
    RedditReddit r/OpenAI· Discussion

    Fields Medalist Terence Tao reposts statement from the Association for Human Mathematics urging mathematicians to stop working with OpenAI for continuing to solve open math problems against their recommendations(opens the original post in a new tab)
14. 10:28
    XX @rohanpaul_ai· Discussion

    Mathematicians are coping so hard. Suddenly they can not stand AI. 😀(opens the original post in a new tab)
15. 09:40
    XX @rohanpaul_ai· Discussion

    Math will progress at a breakneck speed from here on.(opens the original post in a new tab)
16. 08:16
    网页新智元· Discussion

    Mathematics big bang! OpenAI cracks 722 math problems overnight, quasi-Riemann hypothesis reportedly proven(opens the original post in a new tab)
17. 08:14
    网页新智元· Discussion

    Just now, OpenAI publicly released 722 mathematical discoveries! Manuscripts on the Hodge conjecture, the Riemann zeta function, and more flooded GitHub(opens the original post in a new tab)
18. 05:15
    网页The Washington Post · Technology· Discussion

    OpenAI releases progress on more than 300 math research problems, stunning humans(opens the original post in a new tab)
19. 04:37
    网页SiliconANGLE · AI· Discussion

    OpenAI publishes 722 AI-generated math discoveries in major scientific milestone(opens the original post in a new tab)
20. 02:57
    Scott AaronsonSelected

    Scott Aaronson on OpenAI releasing 372 math results: Mathocalypse for the math community

    Scott Aaronson wrote about OpenAI's one-time release of 372 mathematical results, including a proof of the Unique Games Conjecture (UGC), which his wife Dana Moshkovitz had long studied, with some results accompanied by Lean certificates, but almost no humans have read these proofs. He listed results such as L=BPL, Fourier Transform and integer multiplication breaking O(n log n), and the Unitary Synthesis Problem, and noted that the biggest open problems like P≠NP and P=BPP remain unsolved. He mentioned that the model is OpenAI's latest internal model, using about 3 hours of GPT-Pro-level compute per problem on average, solving only about 5% of long-standing open problems across about 8000 problems, and whether it will be released to paying ChatGPT users depends on the recommendation of OpenAI's safety committee.

21. 02:20
    XX @haider1· Discussion

    i'm still trying to process this(opens the original post in a new tab)
22. 01:16
    网页Gary Marcus· Discussion

    Complementary remarks from Gary Marcus and Terence Tao on OpenAI’s giant math drop(opens the original post in a new tab)

1. 23:40
   The Guardian · 人工智能

   OpenAI releases over 370 math results, raising concerns in academia

   OpenAI on Tuesday released more than 370 mathematical results spanning algebra, theoretical computer science, and mathematical logic, showcasing the capabilities of its most advanced AI model. Earlier, the company used AI to solve the Navier-Stokes equations, raising concerns within the field that frontier labs should not test the hardest mathematical problems on proprietary models that the mathematical community cannot access. The Institute for Advanced Study in Princeton said it does not endorse this practice, noting that AI can produce mathematical arguments that the prompter cannot understand, verify, or take responsibility for, and called for preserving human understanding of mathematics in responsible scholarly output. OpenAI announced it will work with the Institute for Advanced Study to give mathematicians a say in how it proceeds, but did not indicate it would stop testing models on these difficult problems. Tristan Buckmaster, a mathematician at New York University, told The New York Times that the person prompting the AI to solve the equations may have provided information that helped the model reach its conclusion.

2. 23:30
   XX @haider1· Discussion

   well well well(opens the original post in a new tab)
3. 22:00
   公众号Doonsec· Discussion

   AI math breakthrough week: OpenAI produces 722 manuscripts overnight, Claude proves the holy grail of probability theory(opens the original post in a new tab)
4. 21:27
   RedditReddit r/OpenAI· Discussion

   AI just solved 90 of the 500 most important open problems in math. Top mathematician: "obviously the most significant moment in mathematical history."(opens the original post in a new tab)
5. 20:20
   XX @haider1· Discussion

   openai drops hundreds of new math results today and the biggest MATH subreddit is completely asleep(opens the original post in a new tab)
6. 17:30
   XX @haider1· Discussion

   holy shit.(opens the original post in a new tab)
7. 16:54
   The DecoderSelected

   OpenAI publishes 372 AI-generated mathematical proofs on GitHub

   OpenAI released 372 mathematical results generated by an internal frontier model, each claimed to solve an open problem or make substantial progress, including improvements to an important computer algorithm and progress related to the Riemann hypothesis. The results are hosted in a GitHub repository with a revision log and citations, and some proofs include Lean formalization to enable machine verification and ease the burden of human review. OpenAI says nearly every result came from a single prompt to a single AI agent, consuming on average about three hours of ChatGPT Pro Thinking compute, whereas a previous solution to a Navier-Stokes problem required a cluster of 10,000 agents and millions of dollars in compute. The company did not disclose the prompts, only the average compute cost, and said it consulted the Institute for Advanced Study's Mathematics and AI Advisory Group, but stipulated in advance that the group could only advise on how results should be disseminated, not on whether or how quickly results should be produced.

8. 14:45
   XX @haider1· Discussion

   i love how openai is going with mathematicians:(opens the original post in a new tab)
9. 13:55
   网页cnBeta· Discussion

   OpenAI cracks 722 math problems overnight; quasi-Riemann hypothesis reportedly proven(opens the original post in a new tab)
10. 13:11
    网页cnBeta· Discussion

    OpenAI publishes hundreds more mathematical results — AI is pushing mathematical research to an unprecedented turning point(opens the original post in a new tab)
11. 09:15
    XX @gdb· Discussion

    towards acceleration of scientific discovery and improving quality of life for everyone(opens the original post in a new tab)
12. 09:08
    XX @natolambert· Discussion

    Naming the github repo for this "math" is hilarious(opens the original post in a new tab)
13. 09:05
    量子位

    OpenAI publicly releases 722 mathematical manuscripts, covering multiple mathematical fields

    OpenAI has made public 722 mathematical manuscripts, grouped into 372 families of results, all produced by an unreleased internal model. The papers, source code, and some Lean proofs have been uploaded to GitHub. According to OpenAI, the model attempted about 4,000 research questions in total, and the average compute consumed per result is roughly equivalent to ChatGPT Pro thinking for 3 hours. The manuscripts touch on the quasi-Riemann hypothesis, the Hodge conjecture, the BSD conjecture, the irrationality exponent of π, the Unique Games conjecture, and more, covering 17 areas including number theory, algebraic geometry, theoretical computer science, and statistical mechanics. The repository notes that the manuscripts are at varying stages of verification, and some results do not yet have Lean formalized proofs; among them, the proof that the real part of the Riemann zeta function is greater than 11/12 has been manually edited. An independent advisory group of mathematicians and AI experts composed of nine scholars issued a statement saying they had previously given advice to OpenAI, but that this does not represent endorsement of these results or of OpenAI's production process; whether the proofs hold must be digested by mathematicians in each field.

14. 08:45
    XX @haider1· Discussion

    so much progress in math(opens the original post in a new tab)
15. 08:41
    XX @rohanpaul_ai· Discussion

    OpenAI today released 722 AI generated math proofs.(opens the original post in a new tab)
16. 08:06
    XX @sama· Discussion

    We are entering a new era of discovery now:(opens the original post in a new tab)
17. Time not given
    AHM

    AHM issues a statement regarding OpenAI's mathematics document released on October 6

    The mathematics and AI advisory organization AHM issued a statement regarding a repository of mathematical manuscripts released by OpenAI on October 6, saying that releasing more than 700 files at once is not an academic display but a display of power. AHM noted that the advisory group from which OpenAI claims its legitimacy had explicitly stated that frontier AI companies should not test difficult mathematical problems on internal models, and that OpenAI ignored this core premise. AHM called on mathematicians to stop cooperating with OpenAI and reminded the mathematical community and the public to remain skeptical of the value of this release model.

18. 07:55
    网页Techmeme· Discussion

    OpenAI says its internal model produced 372 math breakthroughs, nearly all from a single prompt to one AI agent, though some may have taken multiple attempts (Joseph Howlett/Scientific American)(opens the original post in a new tab)
19. 07:42
    网页IT之家· Discussion

    OpenAI releases another batch of AI math research results, cracking hundreds of long-standing unsolved problems(opens the original post in a new tab)
20. 07:40
    XX @rohanpaul_ai· Discussion

    OpenAI published the full papers behind its open-problems claim: 722 manuscripts covering 372 math results.(opens the original post in a new tab)
21. 07:37
    Hacker NewsHacker News· Discussion

    OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(opens the original post in a new tab)
22. 07:26
    The Verge AI

    OpenAI publicly releases 722 mathematical manuscripts; advisory group says they contain solutions to hundreds of open problems

    OpenAI released a batch of 722 manuscripts covering 372 families of results, claiming they include solutions to hundreds of open problems in mathematics, produced by an unreleased frontier model. According to the newly established independent mathematician advisory organization AGMAI, the results involve hundreds of open problems; OpenAI previously stated in September that its model had solved more than 100 long-standing open problems across areas of mathematics. The release also includes summaries of some model reasoning, estimates of compute usage, and statistics on the number of attempted questions; OpenAI says the average per result is equivalent to ChatGPT Pro thinking for three hours. AGMAI issued its first recommendations in late September, calling on AI labs to publish mathematical results in a timely manner through established academic channels, disclose model names, prompts, and compute costs, and not treat the release of mathematical results as a marketing tool for promoting models. OpenAI says it released this batch through a GitHub repository, accompanied by a protocol for paper revisions and citations, and will improve citation, mathematical exposition, and presentation quality in future papers.

23. 07:11
    XX @Thom_Wolf· Discussion

    No hype, just the results. Good.(opens the original post in a new tab)
24. 06:30
    网页Techmeme· Discussion

    OpenAI releases a range of new mathematical results produced by an internal model, with details like estimations of compute spent in terms of ChatGPT Pro usage (OpenAI)(opens the original post in a new tab)
25. 06:24
    XX @thsottiaux· Discussion

    Completely unrelated to the rest of the ships today, but our models did solve some important math problems and the team documented it in ...(opens the original post in a new tab)
26. 06:22
    Hacker NewsHacker News· Discussion

    Mathematical manuscripts and supporting proof artifacts produced by OpenAI(opens the original post in a new tab)
27. 06:21
    RedditReddit r/OpenAI· Discussion

    OpenAI: Sharing AI progress in mathematics(opens the original post in a new tab)
28. 06:19
    XX @OpenAI· Discussion

    We’re releasing a broad range of new mathematical results produced by an internal frontier model.(opens the original post in a new tab)
29. 06:17
    Hacker NewsHacker News· Discussion

    Sharing AI progress in mathematics(opens the original post in a new tab)
30. 01:42
    RedditReddit r/OpenAI· Discussion

    OpenAI Is Pissing Off a Bunch of Mathematicians—Again(opens the original post in a new tab)
31. 01:28
    WIRED Security and AI

    OpenAI plans to release results of hundreds of AI-solved math problems on GitHub at once; mathematicians criticize it for bypassing academic norms

    OpenAI plans to release on Tuesday, in one batch on GitHub, the results of hundreds of unsolved mathematical problems. In August, the company had convened about 40 mathematicians to discuss how to respond once AI capabilities surpass humans. According to attendees' recollections, OpenAI hinted at the time that its models had solved hundreds of long-standing open mathematical problems and promised not to release them all at once, but the mathematicians suggested publishing them as papers so they could be digested and verified. Northwestern University mathematician Bryna Kra said this suggestion was ignored. OpenAI spokesperson Lindsay McCallum said the company is responsibly releasing the next batch of results in line with the recommendations of the Institute for Advanced Study's advisory group on mathematics and AI, and a release date has not yet been set. Kra noted that the community has this year built tools such as Hexagon and Palomar to cope with the increase in machine-assisted proofs, but OpenAI has not changed its release approach and is also inconsistent with the Leiden Declaration signed by more than 4,000 mathematicians.

1. 23:00
   XX @haider1· Discussion

   there's a reason openai is making math breakthroughs faster than anthropic(opens the original post in a new tab)
2. 20:00
   OpenAISelected

   OpenAI released mathematical results produced by an internal frontier model and published reasoning summaries

   OpenAI released a batch of mathematical results produced by an internal frontier model, made public in a GitHub repository, with accompanying paper revisions and citation protocols. The repository also provides Lean formalizations of many proofs for computer checking, and will be continuously updated as progress is made. To enhance transparency, OpenAI also published 10 model reasoning summaries, compute consumption estimated by ChatGPT Pro usage, and statistics on the number of attempted problems, with each result averaging approximately the compute equivalent of three hours of ChatGPT Pro thinking. OpenAI stated it is consulting with the Mathematics and AI Advisory Group at the Institute for Advanced Study in Princeton on publication norms, and will fund workshops, conferences, and special projects around understanding major AI achievements, while continuing to evaluate internal frontier models' capabilities in scientific fields such as mathematics.

3. 19:20
   XX @haider1· Discussion

   openai about to drop a math bombshell this week with around 400 AI-generated proofs potentially getting released all at once(opens the original post in a new tab)
4. 08:28
   RedditReddit r/OpenAI· Discussion

   I Used OpenAI Dots as an agent swarm to break a 47 year old math record, for free (with Lean verification of the proof)(opens the original post in a new tab)
5. Time not given
   OpenAISelected

   OpenAI releases a library of mathematical research manuscripts produced by an internal model

   OpenAI published on GitHub mathematical manuscripts and proof artifacts produced by an unreleased internal model; the directory contains 722 manuscripts, grouped into 372 result families, categorized by mathematical discipline. Most of these results were obtained through the same pipeline, with each result consuming an average of three hours of ChatGPT Pro thinking compute; during the evaluation, the model was posed about 4000 questions in total. Some results in the collection have been formalized in Lean, while others have not; OpenAI stated that unformalized results may have issues and will be fixed as soon as possible, and it is also exploring community hosting of these materials. OpenAI also released model reasoning summaries covering 10 result families, including topics such as the irrationality exponent of π, Mahler's conjecture, and Kaplansky's direct finiteness conjecture. The collection will maintain a public version history, with revisions recorded as new versions and old versions remaining accessible.

6. 03:28
   The Verge AI

   Controversy sparked by OpenAI and other labs taking over the math community

   Over the past year, labs such as OpenAI and Anthropic have claimed breakthroughs on several long-open mathematical problems, even solving a famous Millennium Prize Problem, progress exceeding researchers' expectations for existing systems. These results have triggered backlash from the academic community rather than celebration, and AI labs say they are learning from earlier mistakes.

Current attention72·Peak in the comparable period89（Oct 9 10:00）·Change over the comparable past 24 hours -4%