AI又要颠覆数学？陶哲轩紧急发声：停止造神！
AI又要颠覆数学？陶哲轩紧急发声：停止造神！当AI自主攻克难题吹成神话时，陶哲轩深夜发帖辟谣：别断章取义，孤例不等于AI已具备高级数学能力。他强调AI更像工具链——擅长检索、改写、形式化验证和跑套路，但数学真正的灵魂活仍离不开人类。
来自主题: AI资讯
6700 点击 2026-01-12 09:38
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
当AI自主攻克难题吹成神话时，陶哲轩深夜发帖辟谣：别断章取义，孤例不等于AI已具备高级数学能力。他强调AI更像工具链——擅长检索、改写、形式化验证和跑套路，但数学真正的灵魂活仍离不开人类。
GRPO 是促使 DeepSeek-R1 成功的基础技术之一。最近一两年，GRPO 及其变体因其高效性和简洁性，已成为业内广泛采用的强化学习算法。
戴明博表示，这家名为 Elorian 的新公司目前正在与投资人洽谈，计划完成一轮约 5000 万美元的种子融资。知情人士透露，由前 CRV 普通合伙人 Max Gazor 于去年 10 月创立的风投机构 Striker Venture Partners 正在洽谈领投该轮融资。
有了 AI，科学研究是否有一天可以摆脱对湿实验的高度依赖，通过在计算机中构建“虚拟细胞”，来模拟和理解新药可能产生的生物效应？如今，这一愿景正被逐步实现。由上海交通大学郑双佳教授及其研究团队打造的 V
刚刚，GPT-5.2刷新了一项新纪录！OpenAI联合创始人Greg Brockman发帖称使用GPT-5.2在ARC-AGI-2基准测试上，表现超过了人类基线水平。
浏览器之争已不单是速度对决！新玩家Atlas与Comet能替你订票购物，AI代理时代已至；然而老大哥Chrome凭71%份额稳坐钓鱼台。未来，是拥抱全能助手的便捷，还是警惕安全漏洞的深渊？决胜局就在此刻！
哈工大、鹏城实验室、新加坡国立、复旦、北大联合发布了一篇重磅综述《AI Meets Brain: A Unified Survey on Memory System from Cognitive Neuroscience to Autonomous Agents》，首次打破认知神经科学与人工智能之间的学科壁垒，系统性地将人脑记忆机制与 Agents 记忆统一审视，
在人类满分都罕见的普特南数赛上，AI直接12题全对拿满分。陶哲轩等大佬预言AI已经取得了重要里程碑，再加上GPT-5.2 Pro在数学上强到「离谱」的表现，那种「奇点将近」的直觉，真的压不住了。
在这个“应用AI”的元年，无数让人惊掉下巴的产品接踵而至，改变了人们的生活和生存方式。就在去年年底，又一个新的AI风口突然爆发，引得无数人想去起飞。它就是AI漫剧。
就在医疗AI赛道激战正酣时，一个搅局者低调入场了。它就是蚂蚁集团联合浙江省卫生健康信息中心、浙江省安诊儿医学人工智能科技有限公司开源的医疗大模型——蚂蚁·安诊⼉（AntAngelMed）。