博士80小时熬夜改代码，Codex 2小时交卷！科研奇点来了
博士80小时熬夜改代码，Codex 2小时交卷！科研奇点来了就在今天，Agentic AI工程师发现：博士80小时的科研任务，Codex不到2小时就跑完了，效率差达到了40倍！其实按照旧标准，AGI早已存在了，只是全行业都在移动球门。
来自主题: AI技术研报
9485 点击 2026-05-15 09:57
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
就在今天，Agentic AI工程师发现：博士80小时的科研任务，Codex不到2小时就跑完了，效率差达到了40倍！其实按照旧标准，AGI早已存在了，只是全行业都在移动球门。
数学界尘封32年的拉姆齐数经典难题被打破！浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramsey，成功将拉姆齐数R(3,17) 下界从92提升至93，终结了自1994年以来长期停滞的纪录。
陶哲轩最新判断，数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」，而是验证它、消化它，并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
由张昊天作为一作兼共同通讯作者在临港实验室联合上海浦江实验室、华盛顿大学、哈佛大学、MIT 等科研力量共同推进的 ODesign 开源科研项目，定位于全球首个面向全模态的分子设计基座模型。
7年的专业研究，输给了一次「vibe mathing」。一个毫无高数背景的23岁年轻人，靠一段提示词，让ChatGPT在80分钟内破解了困扰人类60年的猜想。陶哲轩承认：我们第一步就走偏了。
在人工智能研究中，许多研究者将大量时间投入到为那 1% 的性能提升反复调参与实验迭代之中。
谷歌Deep Think横扫亚欧多语种竞赛，AI科研工具的语言壁垒正在被拆掉，数学与科学发现进入AI驱动新时代。
由Liu Fayao（刘发耀，新加坡A*STAR研究科学家），Ye Deheng（叶德珩，前腾讯AI合伙人&首席专家）和Chen Tianrun（陈天润，魔芯科技创始人）带领的研究团队提出了Claw AI Lab。
一场由斯坦福和普林斯顿联合发起的学术实验，正在挑战整个科研出版体系的底层逻辑。
「哈密顿分解」难题，终于破解！88岁「算法祖师爷」高德纳再更论文，Claude 4.6+GPT-5.4联合破解了奇偶数情形。甚至，GPT-5.4直出一篇14页论文，引爆全网。