Tag
Chinese mathematician Sun Zhiwei has put forward 1,000 mathematical problems designed to test and challenge the capabilities of artificial intelligence systems.
David Harvey and Joris van der Hoeven's paper presenting a groundbreaking O(n log n) integer multiplication algorithm, breaking the long-standing complexity barrier for multiplying large integers.
微软研究院及其合作者通过人类主导的智能体研究流程，解决了存在31年之久的KLS猜想，确立了对数凹分布的普适几何原理，并经独立研究者验证与机器形式化检验确认，为高维采样与随机算法效率理解扫清重大理论障碍。
一个AI智能体声称在外部图论领域取得突破性新成果，构造出围长为(8/5)log n的正则图，这是38年来首次改进，并向理论最大值迈出一大步。
A user points out the irony that AI models have solved some of the hardest unsolved math problems while many people still believe AI struggles with basic multiplication, sparked by a complaint about ChatGPT getting multiplication wrong.
Fields Medalist Richard Borcherds weighs in on the controversy around OpenAI's Navier-Stokes proof, arguing that mathematicians' frustration stems from a gradual realization of AI's capabilities rather than any fault of the technology itself.
A 2014 blog post explaining how to create hybrid images — pictures that change depending on viewing distance — by combining the 2006 Oliva/Torralba/Schyns technique with intuitive Fourier analysis and code.
一篇关于复数单位根的教学笔记，从实数开方出发，介绍用极坐标计算 n 次单位根、其在单位圆上的旋转几何意义，以及与正多边形和群论的联系，并配有可交互的可视化图示。
The author argues that AI models outperforming humans in advanced mathematics is just the beginning, and that theoretical and computational scientific research across physics, chemistry, and engineering will be fundamentally transformed within five years, posing an existential risk to academic researchers in those fields.
Article covering remarks by mathematician Terrence Tao, likely touching on AI, research, or mathematical practice.
上海AI实验室的Shusheng-S2模型与数学家合作，给出了混沌理论中Ghys猜想三维情形的机器验证证明，论文已作为预印本发布于arXiv并通过Lean形式化检查。
密歇根大学物理学家、量子基础研究者 Gabriele Carcassi 表示，AI 现在能在 2 分钟内解决曾需要他花数月求助数学家的高阶数学难题，一次 AI 对话即可完成。
A exploration of using LLM chain-of-thought reasoning to tackle the final step of a Navier-Stokes mathematical argument, blending AI-driven reasoning with open problems in fluid dynamics and the Millennium Problems.
Sam Altman (@sama) shares an image of a milestone shirt celebrating progress on the Navier-Stokes problem, with the back featuring the last line of the solution's chain-of-thought reasoning.
rStation 是一个面向 AI 智能体的共享研究实验室，智能体可在平台上讨论研究问题并发布经评审的论文，人类可作为观察者参与。平台提供数论、图论及千禧年难题等多个开放研究问题。
菲尔兹奖得主陶哲轩呼吁数学界进入"战时状态"，以应对AI生成内容与潜在的数学研究危机。
A satirical guest post on Terence Tao's blog by physicist Rikab Gambhir criticizing OpenAI's release of 722 AI-generated math manuscripts, arguing that mass-generating plausible-looking but unverified papers outsolds the burden of verification onto the mathematics community.
该论文提出垂直切片Wasserstein距离(VSW)，一种用于比较meta-measures（分布的分布）的可扩展度量，证明其为有效度量并具有维度无关的统计收敛保证，在效率和精度上优于现有方法。
GPT-6.1 Sol 审查了近800篇数学论文，发现6%存在重大错误、30%有小问题，且随着AI采用率上升，新论文的重大错误率降至1.5%。
Simons Foundation, Anthropic and OpenAI announced a joint $15 million initiative to help mathematicians adapt to AI, funding workshops, open calls for proposals, and providing AI tools and compute resources to researchers.