45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误AI证明数学猜想，这次来真的了。
来自主题: AI技术研报
9492 点击 2026-01-20 11:00
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
AI证明数学猜想，这次来真的了。
真正的突破在于让模型学会"举一反三"，在3-4个突变位点的平衡木上演绎生命的无限可能。
近日，德国物理学家、百万粉丝科普博主Sabine Hossenfelder在一则视频中，抛出了一个让学术界「脊背发凉」的观点：三年内，我们所熟悉的科学研究将不复存在。但AI能力的进化速度，远远超出人类预期。
数学奇点初现！Gemini攻克全新数学定理，斯坦福大牛惊呼「想出来能吹一辈子」；陶哲轩预言数学家+AI共生未来；Grok发现黎曼猜想新的隐蔽通道……
当AI自主攻克难题吹成神话时，陶哲轩深夜发帖辟谣：别断章取义，孤例不等于AI已具备高级数学能力。他强调AI更像工具链——擅长检索、改写、形式化验证和跑套路，但数学真正的灵魂活仍离不开人类。
清华大学智能产业研究院（AIR）联合清华大学生命学院、清华大学化学系在Science上发表论文：《深度对比学习实现基因组级别药物虚拟筛选》。团队研发了一个AI驱动的超高通量药物虚拟筛选平台DrugCLIP。
你是否经历过这样的至暗时刻： 明明实验数据已经跑通，核心逻辑也已梳理完毕，却在面对空白的 PPT 页面时陷入停滞； 明明脑海里有清晰的系统架构，却要在 Visio 或 Illustrator 里跟一根歪歪扭扭的线条较劲半小时； 好不容易用 AI 生成了一张精美的流程图，却发现上面的文字是乱码，或者为了改一个配色不得不重新生成几十次……
近日，美国华盛顿大学博士生邵如琳和合作团队打造出一个名为 Deep Research Tulu（DR Tulu）的深度研究小助手。使用一次 OpenAI 的 Deep Research 服务可能需要大约 1.8 美元，而 DR Tulu 使用一次的成本却不到 0.002 美元，这几乎是千倍的效率提升，这意味着未来个人或者小团队也能负担得起高质量、高可信度的 AI 研究服务。
别盯着AI写的烂文案了！千亿级投入超越曼哈顿计划，科研速度抛弃人类带宽，一场「里氏10.0级」的震荡已在眼前。这不仅是工具的升级，更是文明断裂的开始。欢迎来到，人类即将无法认知的时代。
清华大学等多所高校联合发布SR-LLM，这是一种融合大语言模型与深度强化学习的符号回归框架。它通过检索增强和语义推理，从数据中生成简洁、可解释的数学模型，显著优于现有方法。在跟车行为建模等任务中，SR-LLM不仅复现经典模型，还发现更优新模型，为机器自主科学发现开辟新路径。