热点
"数学证明" 相关文章
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
困扰数学家近60年的搬沙发难题疑似被解决！119页论文证明最优解，百万网友围观
机器之心 2024-12-08T08:09:18.000000Z
DeepMind AlphaProof 团队访谈脱水版
孔某人的低维认知 2024-11-16T14:17:34.000000Z
UCLA、MIT数学家推翻39年经典数学猜想！AI证明卡在99.99%，人类最终证伪
新智元 2024-11-04T07:48:03.000000Z
理所当然也能错，数学界震动：「上下铺猜想」被证伪
机器之心 2024-11-02T09:10:48.000000Z
大模型的幻觉是不可避免地
Solidot 2024-09-15T11:38:47.000000Z
黑洞热力学第三定律已死，霍金错了，极端黑洞可能存在
36kr-科技 2024-09-03T08:51:59.000000Z
黑洞热力学第三定律已死，霍金错了，极端黑洞可能存在
36kr-科技 2024-09-03T08:51:59.000000Z
数学大统一理论里程碑进展：几何朗兰兹猜想获证明，论文超800页
机器之心 2024-07-27T04:08:49.000000Z