陶哲轩：几周前，AI突破数学形式化临界点
陶哲轩：几周前，AI突破数学形式化临界点数学界的“最强大脑”，快被AI出的证明淹没了。
来自主题: AI资讯
6559 点击 2026-06-23 09:35
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
数学界的“最强大脑”，快被AI出的证明淹没了。
当智能逼近临界点。
代码没有消失，但它不再是少数人特权。在「创造平权」的AI时代，真正稀缺的不再是编程能力，而是你是否有一个值得让机器为你燃烧几百美元算力的好想法。
「临界点」在2025年已卖了数千只灵巧手。
《晚点 LatePost》独家获悉，快手旗下视频生成大模型可灵 AI 的月活跃用户（MAU）在今年 1 月突破 1200 万。
一个背景深厚的新玩家强势入局。
当AI不再仅仅是渲染队列中的一个工具，而是开始以智能体的身份，深度参与到剧本构思、视觉预览乃至最终剪辑的每一个环节，我们正站在一场影像文明变革的临界点。
当我们还在调侃「AI写错代码」时，实验室里的科学家却看到它能独立完成几个小时的复杂任务。AlphaGo作者Julian罕见发声：公众对AI的认知，至少落后一个世代。最新数据更显示，AI正以指数速度逼近专家水准，2026或许就是临界点。我们，是在见证未来，还是在自欺欺人？
在硅谷AI竞赛的风暴眼中，研究员与高管以「战时」强度奔跑：从Anthropic的深夜Slack，到DeepMind的「0-0-2」作息与难享之财；微软以AI自救仍难减负；OpenAI为遏止倦怠与Meta挖角被迫「停摆一周」。这是一场以天才、时间与心力为燃料的冲刺，推动突破，也将人推向临界点：灯火通明，平衡仍无解。
有意识的AI，距离我们有多近？近日，图灵奖得主Bengio等人发表在《Science》的一篇文章提到：不管是碳基，还是硅基，都可能出现意识。AI研究，可能推动越来越多的公众相信AI会产生意识，但也可能带来一系列风险与社会伦理争议。