陶哲轩惊叹！数学奇点初现，AI首次给出人类无法企及的原创证明
陶哲轩惊叹！数学奇点初现，AI首次给出人类无法企及的原创证明数学奇点初现！Gemini攻克全新数学定理，斯坦福大牛惊呼「想出来能吹一辈子」；陶哲轩预言数学家+AI共生未来；Grok发现黎曼猜想新的隐蔽通道……
来自主题: AI资讯
8477 点击 2026-01-16 11:03
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
数学奇点初现！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不仅复现经典模型，还发现更优新模型，为机器自主科学发现开辟新路径。
新一代科学发现智能引擎与科研基础设施正在由中国团队打造。
只做 63 次实验，从 100 多万中可能的配方组合中，找到了最优解。这是清华大学教授罗三中和团队的最新成果，他们使用AI找到了一个高效的全新化学反应宝藏。这个反应可以使用钴配合物和一种名为烯胺的中间体进行巧妙结合，把生活中常见的醛类分子变成药物或者材料中间体，事实上日常中的很多香料和气味就来自于醛类分子。
OpenAI最新发布的FrontierScience基准，试图用真实的博士级难题，从物理、化学、生物三个维度上考验AI。真相是残酷的：在没有唯一标准答案的科研实战中，AI作为「顶级做题家」，距离真正的科学家，还差得远。