热点
"数学证明" 相关文章
Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation
cs.AI updates on arXiv.org 2025-08-04T04:27:27.000000Z
Google Gemini Deep Think也突破今年數奧金牌門檻
AI & Big Data 2025-07-22T03:23:14.000000Z
先别急着给OpenAI加冕！陶哲轩：这种「金牌」，含金量取决于「赛制」
机器之心 2025-07-20T08:15:24.000000Z
大模型为何难成为「数学家」？斯坦福等揭示严谨证明中的结构性弱点
机器之心 2025-06-22T22:50:49.000000Z
大模型为何难成为「数学家」？斯坦福等揭示严谨证明中的结构性弱点
机器之心 2025-06-22T07:57:50.000000Z
为什么任何大于1的整数都有一个质因数？
虎扑-热帖 2025-06-10T06:42:26.000000Z
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
智源社区 2025-06-02T10:17:58.000000Z
陶哲轩联手AI挑战经典ε-δ极限，加法秒杀、乘法翻车
36kr 2025-05-22T04:14:54.000000Z
陶哲轩携AI再战数学！o4-mini秒怂弃赛，Claude 20分钟通关
智源社区 2025-05-15T12:44:12.000000Z
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
量子位 2025-05-14T06:27:26.000000Z
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
机器之心 2025-05-14T05:26:27.000000Z
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
机器之心 2025-05-13T19:00:02.000000Z
DeepSeek-Prover-V2-671B，6710亿参数狂揽证明SOTA，模型与数据集全开源
掘金 人工智能 2025-05-01T09:48:06.000000Z
科学家证明：无悖论的时光旅行是有可能的！
虎扑-热帖 2025-03-20T11:23:07.000000Z
华人女数学家提前锁定菲尔兹奖？王虹127页破解几何世纪难题，陶哲轩盛赞
智源社区 2025-03-01T07:06:00.000000Z
90 后中国女数学家王虹破解挂谷猜想：陶哲轩激动转发，网友“预定菲尔兹奖”
IT之家 2025-02-28T06:37:40.000000Z
对话DeepSeek研发团队前成员辛华剑：如何用大模型把数学家从细节中解放出来｜甲子光年
甲子光年 2025-02-20T16:24:45.000000Z
Feedback Loops Guide AI to Proof Checking
Communications of the ACM - Artificial Intelligence 2025-02-10T21:02:05.000000Z
Counterintuitive effects of minimum prices
少点错误 2025-01-24T23:07:04.000000Z
让AI理解费马大定理的证明，两个月过去了，进展如何？
机器之心 2024-12-28T08:39:02.000000Z