Tag
Scott Aaronson reflects on how AI's rapid advances in mathematics make earlier skepticism about AI replacing software engineers seem untenable, arguing math represents the pinnacle of human intellect and is now being challenged by AI.
In a Numberphile interview, Fields Medalist Terence Tao discusses mathematics entering an industrialized era, moving from “proof scarcity” to “proof abundance,” the misalignment of incentives between AI companies and academia, and the risk of human understanding being sidelined.
OpenAI is contributing $5 million to a new Simons Foundation initiative supporting mathematicians in examining and building on AI-produced results, alongside free model and compute access. The Simons Foundation is committing $15 million total, partnering with both OpenAI and Anthropic AI.
Erich Friedman's Cubes in Cubes packing page now officially lists Yohei Nakajima's new n=12 cube packing record (s=2.93151) from October 2026, beating Haowei Lin's earlier record and inspiring further records in squares, polygons, and tesseracts.
Demis Hassabis shared his views on OpenAI's recent math breakthroughs at the International AI Summit in Dublin, urging deeper involvement of the maths community and arguing mathematicians should focus more on applied areas like AI safety, and that new mathematics is more valuable than just solutions.
科学家重新审视 OpenAI 于九月公布的 166 页 Navier-Stokes 问题解答，发现情况比最初想象的更为复杂——关于该证明涉嫌抄袭两位数学家成果的传言可能被夸大了。
据称 OpenAI 使用其能解出此前未解数学问题的内部模型来改进自身算法，将推理成本降低了约 50%，显示出 AI 开始反哺提升自身效率。
一篇关于OpenAI最新AI进展对数学研究者造成巨大冲击的新闻报道，数学家感叹自己的研究领域已被AI'消灭'。
Leading Chinese mathematicians are publicly backing the use of AI tools in mathematical research, signaling growing acceptance of AI as a collaborator in advanced scientific work.
A guest post on Terence Tao's blog by Kate Stange and Edmund Harriss reflecting on a workshop about rigorous mathematical illustration, arguing that AI has broken the scarcity of deep theorems and that mathematics must value understanding and illustration beyond mere proof-writing.
作者以 AlphaGo 之后围棋界的发展为镜，探讨数学家应如何适应 AI 生成的难以理解的证明：像围棋高手那样转向研究 AI 结果来提升人类集体认知，并接受 AI 让数学知识民主化的未来。
Terence Tao presents "Math 2.0" slides from a Caltech 2026 talk, discussing how AI and formal methods are set to transform mathematical research and proving.
Stability AI founder Emad Mostaque claims a swarm of 10,000 AI agents working for 88 hours solved the Navier-Stokes equations problem — a Millennium Prize Problem — arguing this refutes the 'stochastic parrot' view of AI and warning that white-collar jobs will be automated.
A commentary essay drawing an analogy between AI's rapid, disruptive scientific discoveries—such as OpenAI tackling Millennium Prize problems in mathematics—and the 'roadside picnic' metaphor from the Strugatskys' novel, where incomprehensible artifacts are dumped on fields faster than they can be understood or integrated.
A reflective opinion piece celebrating recent AI breakthroughs—highlighting a machine solving hundreds of research-level math problems—and arguing that AI will democratize self-education, accelerate science, and ultimately benefit humanity despite fears about job loss.
NYU mathematics professor Tristan Buckmaster claims OpenAI invested millions of dollars of compute into attacking unsolved Millennium Prize-level math problems, framing it as a competitive race against Anthropic's internal models.
NYU mathematics professor Tristan Buckmaster alleged on CNBC that OpenAI may have used research data from his personal Codex/ChatGPT account to reproduce, in a single day using tens of thousands of agents, the nearly completed results on the Euler equations that he and his collaborators had been working on. He also claimed that during negotiations, OpenAI offered him “sole authorship” as an inducement and threatened to destroy his career; OpenAI denied that his prompts had influenced its systems.
专业数学家对AI能够先于人类发表新颖研究成果感到不安。NYU数学教授Tristan Buckmaster在接受CNBC采访时表示，他使用AI工具但不会在其中投入原创想法，并提到OpenAI一次生成了722篇数学论文。
OpenAI发布了此前"解决开放数学问题"声明背后的完整论文：涵盖722份数学手稿、372项重要成果，均来自对约4000个研究问题的测试筛选，每项成果平均消耗相当于ChatGPT Pro思考3小时的算力。
A math PhD student shares thoughts on how AI could reshape mathematics research, arguing pure math has always been curiosity-driven and that the community needs an honest answer about why it does math, beyond grant funding justifications.