AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验刚刚，Erdos 问题 #124 的一个弱化版本被证明。
来自主题: AI技术研报
9880 点击 2025-12-01 11:33
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
刚刚，Erdos 问题 #124 的一个弱化版本被证明。
正值AlphaFold问世五周年，其设计者、也是凭借AlphaFold获得诺贝尔化学奖的John Jumper公开表示：AlphaFold的下一步是与大模型融合。不过具体方法并没有透露，或许已有所思路，甚至已经在进程之中。
50年的蛋白质结构难题，被AI压缩到几分钟！Nature最新盘点显示，AlphaFold已被330万研究者使用。在土耳其，两位本科生借助这个免费工具完成15篇结构研究，撕开科研壁垒的裂缝。科研世界第一次以「数字速度」前进。
OpenAI于2025年11月22号震撼发布GPT-5早期实验报告，揭示了AI从「聊天机器人」向拥有逻辑直觉的「硅基科研员」进化的里程碑式飞跃。从协助破解困扰数学界数十年的Erdős谜题，到将数月的生物实验推理压缩至几分钟，GPT-5展现了惊人的跨学科洞察力与推理质变。这份报告宣告了AI4S时代的降临：AI是科学家手中那架穿透未知迷雾的「认知望远镜」。
困扰数学界30多年的塔拉格兰卷积猜想，被90后华人数学家攻破了！
特朗普正式签署「创世纪计划」，打响AI版「曼哈顿计划」！核心任务由美国能源部挂帅，集结举国超算资源与联邦数据，誓打造「美国科学与安全平台」。剑指核聚变、芯片、生物技术等六大命门，勒令9个月内构建AI科研闭环。
文献浩如烟海， 关键信息总藏在检索词背后？ 既怕遗漏重要进展， 又担心写的综述没有新意？ 科研流程繁琐， 总在重复劳动中消耗灵感？
人类数千年的科学探索，如今被AI「顿悟」瞬间复刻。北京大学研究团队推出的名为AI-Newton的AI系统，重新发现了牛顿第二定律、能量守恒定律和万有引力定律等基础规律，这一成果被视作AI驱动自主科学发现的一项重要进展。
在计算机科学领域， CSRankings 曾被视为一次划时代的改进。它摒弃了早期诸如 USNews 那样依赖调查问卷的主观排名体系，转而以论文发表数量这一客观指标来评估各大学的科研实力。
著名数学家陶哲轩发论文了，除了陶大神，论文作者还包括 Google DeepMind 高级研究工程师 BOGDAN GEORGIEV 等人。论文展示了 AlphaEvolve 如何作为一种工具，自主发现新的数学构造，并推动人们对长期未解数学难题的理解。AlphaEvolve 是谷歌在今年 5 月发布的一项研究，一个由 LLMs 驱动的革命性进化编码智能体。