数学
研究数量、结构、空间及变化等概念的学科，其成果依赖严格的形式化证明，是基础科学的重要分支。
时间轴 (近 90 天)
数学、计算机科学与物理虽然同属基础研究，但研究方法与验证标准差异明显：数学依赖形式化证明，计算机科学强调可复现的算法与复杂度分析，物理学则要求与实验或观测数据对齐。
不同学科对“发现”的认定标准差异显著，数学证明可逐步检验逻辑，物理发现需实验或观测数据，计算机科学理论结果涉及不同评判标准。
文章提出 AI 从解决数学难题出发，向生物、材料、能源扩散，最终以不易察觉的方式改变社会的路线。
数学不仅是答案的生产，更是理解的过程。一个由 AI 给出的证明，如果人类无法理解其内在逻辑，它在数学共同体中的价值就会大打折扣。
数学知识的确认依赖形式化证明与同行评议。
数学家介入AI数学成果的核心工作包括将自然语言证明翻译为形式化语言（如Lean、Coq），检查每一步推理的逻辑有效性等。
综合Hacker News讨论，共识在于AI将深刻改变数学和科学的研究方式，分歧在于这种改变是解放还是异化，多数参与者倾向于认为结果取决于如何设计和使用AI工具以及学术界如何调整评价体系。
数学领域已有AI发现新猜想反例的先例，物理学紧随其后。
数学的价值体现在三个层面：应用价值（往往需数十年甚至数百年才显现）、问题解决能力的可迁移性、以及审美愉悦。
数学曾被认为是AI最难攻克的堡垒之一。
还有 16 条时间轴事件
全部知识事实 (20)
研究前沿的数学问题往往连问题的正确表述本身都是未知数，这使自动化管线各环节面临比竞赛数学更高的不确定性
60%待验证数学是纯粹的形式化推理系统，一个数学证明的对错可以被严格验证，使其成为衡量AI推理能力的理想基准
60%待验证数学、计算机科学与物理虽然同属基础研究，但研究方法与验证标准差异明显：数学依赖形式化证明，计算机科学强调可复现的算法与复杂度分析，物理学则要求与实验或观测数据对齐。
50%待验证不同学科对“发现”的认定标准差异显著，数学证明可逐步检验逻辑，物理发现需实验或观测数据，计算机科学理论结果涉及不同评判标准。
50%待验证数学不仅是答案的生产，更是理解的过程。一个由 AI 给出的证明，如果人类无法理解其内在逻辑，它在数学共同体中的价值就会大打折扣。
50%待验证数学知识的确认依赖形式化证明与同行评议。
50%待验证数学家介入AI数学成果的核心工作包括将自然语言证明翻译为形式化语言（如Lean、Coq），检查每一步推理的逻辑有效性等。
50%待验证综合Hacker News讨论，共识在于AI将深刻改变数学和科学的研究方式，分歧在于这种改变是解放还是异化，多数参与者倾向于认为结果取决于如何设计和使用AI工具以及学术界如何调整评价体系。
50%待验证数学领域已有AI发现新猜想反例的先例，物理学紧随其后。
50%待验证数学的价值体现在三个层面：应用价值（往往需数十年甚至数百年才显现）、问题解决能力的可迁移性、以及审美愉悦。
50%待验证数学曾被认为是AI最难攻克的堡垒之一。
50%待验证有人指出 AI 可以做任何数学，但'我不会理解它——数学家存在的意义是理解'。
50%待验证前沿实验室越来越倾向于在正式发布前用特定领域的产出预热，数学因为可验证性成为首选展示窗口。
50%待验证近期数学领域成果的集中爆发被认为是能力刚好越过人类专家天花板这一门槛效应的体现
50%待验证数学领域中分数、代数与微积分之间存在严格的先决知识依赖链
50%待验证历史上从计算器到计算机代数系统等工具的出现没有减少对数学专业人才的需求，反而拓展了数学可触及的领域
50%待验证一个定理的价值往往不在于得到答案，而在于证明过程所揭示的结构、方法和思想
50%待验证该声明聚焦于AI在数学研究中的角色正在与数学学科的本质价值发生偏移
50%待验证数学证明要么正确要么错误，中间地带极小，这使得AI产出的'slop'在数学领域格外刺眼
50%待验证传统数学研究要求证明必须经过严格的逻辑推导和同行评审
50%