Tag
A Reddit discussion highlighting Scott Aaronson's post on the 'Mathocalypse' — a theoretical computer scientist's candid take on AI's potential to obsolete human work in mathematics and theoretical computer science.
继其大语言模型解决二十年来最大数学突破之后，OpenAI 宣布其新内部模型已再产出 372 项成果，每项都解决或大幅推进了数学或理论计算机科学中的重大公开问题，且不再需要数百万美元的成本。
A user shares thoughts on an expert solution to Barnette's Conjecture (#180), highlighting a surprising technique involving complex-valued exponential sums on edges with annihilating terms resembling quantum physics calculations.
Prinz notes that OpenAI's latest mathematics results reveal something beyond raw problem-solving ability — what mathematicians describe as "research taste," suggesting AI systems are developing judgment about promising research directions.
OpenAI宣布进入科学发现新时代，发布其内部前沿模型产出的一系列重要数学成果（包括Navier-Stokes相关结果），并提供Lean形式化证明、计算资源披露，以及与IAS数学与人工智能咨询组合作制定的发布规范。
OpenAI released a repository containing 722 mathematical manuscripts (700 preprints) grouped into 372 families of proofs and counterexamples generated by an unreleased internal model, along with some Lean formalizations and abridged reasoning traces. The results span areas like the Riemann zeta function, Mahler conjectures, and free group factors, and were produced using roughly three hours of ChatGPT Pro thinking compute per result on about 4,000 posed problems.
OpenAI released the openai/math repository containing 722 manuscripts in 372 research families — spanning results like integer multiplication below n log n, the irrationality exponent of π, and Mahler conjectures — produced by an unreleased internal model over ~4,000 problems, with many results formalized in Lean.
OpenAI is releasing a broad range of new mathematical results produced by an internal frontier model, published via a GitHub repository with Lean formalizations, reasoning summaries, and compute estimates, developed in consultation with the IAS Advisory Group on Mathematics and AI.
OpenAI released a broad collection of new mathematical results — 722 manuscripts in 372 families — produced by an unreleased internal frontier model, including reasoning traces and Lean formalizations, with guidance from an independent IAS advisory group on mathematics and AI.
OpenAI reportedly plans to release hundreds of AI-solved math problems, drawing criticism from mathematicians who argue such outputs devalue human mathematical reasoning and proper proof standards.
Wikipedia 条目介绍了神秘的 Math.SE 用户 Cleo（2013–2015 年间以不展示步骤的方式解答高难度积分而闻名），其身份于 2025 年 1 月被网友揭密为乌兹别克裔美国软件开发者兼数学家 Vladimir Reshetnikov。
WIRED reports that mathematicians are frustrated with OpenAI's plan to release hundreds of AI-generated solutions to longstanding open problems on GitHub, ignoring advice to publish papers and preserve traditional scientific attribution and credit processes.
An educational overview of how mathematicians and engineers model geothermal energy — covering geothermal gradients, Lagrangian-Eulerian flow models, stochastic optimization, and the U.S. Geological Survey's MODFLOW groundwater flow model — alongside the history and applications of geothermal heating.
Thomas Bloom announces changes to Erdosproblems.com after AI-driven solutions reshaped the site's community, noting both progress on open problems and negative effects like unexplained AI solutions and human mathematicians being discouraged.
A new paper claims to present a proof of the 31-year-old Kannan-Lovász-Simonovits conjecture, building on Song and Zhang's recent criterion for high-dimensional convex bodies and log-concave measures. According to the article, ChatGPT generated most of the key ideas and proofs, with the human authors focused on understanding and explaining them.
The Verge 报道 OpenAI、Anthropic 等实验室在数学领域取得突破性进展，却因草率发布和与数学界沟通不当而引发反弹；OpenAI 此前组建的独立顾问组被指同样混乱，研究者担忧更多模型成果涌入将冲击学术界。
An opinion piece arguing that AI-discovered proofs of long-standing open math problems should be published promptly, and that mathematicians are not entitled to special protection from AI-driven discovery beyond proper verification and attribution. The author, a creative professional, contends technological displacement already hit creative fields and that slowing scientific progress for a profession's adjustment period is unjustified.
Mathematician Christian Szegedy publishes a reflective essay arguing that mathematics may not be ending, but rather 'graduating' into a new era shaped by AI, using analogies about exploration, competitions, and the structure of the field to frame the future of the discipline.
A researcher reports spending three months running Claude Code and Codex on Erdős Problem #993 (unimodality of independent-set sequences in trees), only to learn that Tong Zhang and Wei Li posted a full proof last week, along with two Lean 4 formalizations that claim a clean build. The result is not yet peer-reviewed.
Meta AI researchers partnered with mathematicians to use Muse Spark 1.1/1.2 in Thinking Mode to tackle open research problems, releasing six papers — five of which present solutions to previously open mathematical questions. The collaborations followed strict attribution and human-review principles, with acknowledgment of independent concurrent solutions from other teams.