#Lean

共 20 条 · 第 2 / 2 页
栏目

10月10日 周六 1 条

10-10
00:01
量子位 量子位 2987 字

王的猜想，刚刚扩展到四维

听雨 发自 凹非寺 量子位 | 公众号 QbitAI 今年7月，王虹、邓煜在费城国际数学家大会上拿下菲尔兹奖。 消息刷屏那几天，Anthropic员工Alek Dimitriev在X上发了一句： 这届菲尔兹奖，将是人类最后一次拿到这个奖。 往届得主Timothy Gowers跟帖，说自己也有过类似的想法。…

推荐理由本文涵盖「菲尔兹奖」、「Anthropic」、「OpenAI」等多个主题，重点关注 菲尔兹奖。

#Anthropic#OpenAI#菲尔兹奖#Lean

10月7日 周三 3 条

10-07
14:59
机器之心 机器之心 2817 字

NeurIPS 2026 | 长推理为何总在中途走偏？SAGE用结构信号纠偏，AC实例验证通过率接近8倍

教大模型「选路」

推荐理由本文涵盖「大模型」、「后训练」、「Qwen3」等多个主题，重点关注 大模型。

#后训练#大模型#基础模型#Lean#Qwen3
10-07
14:59
机器之心 机器之心 3818 字

翻完OpenAI的722篇数学手稿，我们挑出了最重的30道名题

722 篇手稿里有什么？盘点 OpenAI 数学仓库中的「名题清单」

推荐理由本文围绕「OpenAI」、「Lean」等主题展开。

#OpenAI#Lean
10-07
08:43
量子位 量子位 2671 字

OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来

三位菲尔兹奖得主：不代表认可

推荐理由本文围绕「OpenAI」、「ChatGPT」、「Lean」等主题展开。

#OpenAI#Lean#ChatGPT

9月22日 周二 1 条

09-22
06:50
机器之心 机器之心 1980 字

刚刚，OpenAI成立独立数学顾问团！100+「已攻克」开放问题待审

证明还没发完，审查倒成了瓶颈

推荐理由本文涵盖「OpenAI」、「人工智能」、「ART」等多个主题，重点关注 OpenAI。

#人工智能#OpenAI#Lean#Intel#ART

9月16日 周三 1 条

09-16
15:30
AGI Hunt AGI Hunt 2701 字

AI 交的实验报告，你敢信吗？

介绍一个 Hugging Face 双榜第一的 AutoResearch 开源项目

推荐理由本文围绕「OpenAI」、「Agent」、「Lean」等主题展开。

#OpenAI#Agent#Lean

9月10日 周四 1 条

09-10
23:57
AGI Hunt AGI Hunt 379 字

数学难题拿下后，下一个是室温超导？

数学难题拿下后，下一个是室温超导？ OpenAI 用 大约 1 万个 agent 持续跑了 88 小时 ，然后给纳维-斯托克斯方程交了一份证明，还附上了 Lean 形式化验证。一共花了数百万美元的算力。…

推荐理由本文涵盖「OpenAI」、「纳维-斯托克斯方程」、「Lean」等多个主题，重点关注 OpenAI。

#OpenAI#AI Agent#Lean#纳维-斯托克斯方程#形式化验证 +1

9月6日 周日 1 条

09-06
16:00
量子位 量子位 2917 字

又一个百年数学问题被“AI+外行”攻破

更有趣的，是背后AI辅助数学研究的新方式

推荐理由本文涵盖「生成式AI」、「行列式」、「数学证明」等多个主题，重点关注 生成式AI。

#生成式AI#行列式#数学证明#Lean#偏微分方程