热点
"定理证明" 相关文章
DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过
掘金 人工智能 2025-05-03T05:48:06.000000Z
DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过
机器之心 2025-05-01T09:46:17.000000Z
明日直播｜AI4Math，形式化数学推理，Meta科学家杨凯峪分享，报名
智源社区 2025-02-25T13:52:16.000000Z
明日直播｜AI4Math，Meta科学家杨凯峪分享形式化数学推理
智源社区 2025-02-25T11:07:11.000000Z
Meta｜AI4Math，形式化数学推理，人工智能新前沿，一作杨凯峪分享
智源社区 2025-02-21T04:37:10.000000Z
AlphaGeometry2: The AI That Outperforms Human Olympiad Champions in Geometry
Unite.AI 2025-02-17T16:55:16.000000Z
o3拿下25%高分震惊数学教授，2025 IMO金牌或被AI收入囊中
36kr 2025-01-02T06:18:25.000000Z
o3拿下25%高分震惊数学教授，2025 IMO金牌或被AI收入囊中！
智源社区 2025-01-02T05:07:04.000000Z
o3拿下25%高分震惊数学教授 2025 IMO金牌或被AI收入囊中
Cnbeta 2025-01-01T07:36:51.000000Z
o3拿下25%高分震惊数学教授，2025 IMO金牌或被AI收入囊中！
新智元 2025-01-01T06:15:33.000000Z
This AI Paper Explores How Formal Systems Could Revolutionize Math LLMs
MarkTechPost@AI 2024-12-28T21:04:47.000000Z
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
机器之心 2024-12-24T08:06:07.000000Z
CMU Researchers Propose miniCodeProps: A Minimal AI Benchmark for Proving Code Properties
MarkTechPost@AI 2024-12-18T16:49:53.000000Z
MiniCTX: Advancing Context-Dependent Theorem Proving in Large Language Models
MarkTechPost@AI 2024-10-27T15:36:00.000000Z
陶哲轩用AI证明方程理论，19天进度99.99%，论文将上线
智源社区 2024-10-17T14:38:42.000000Z
Distillation Of DeepSeek Prover V1.5
少点错误 2024-10-15T19:08:22.000000Z
LeanAgent: The First Life-Long Learning Agent for Formal Theorem Proving in Lean, Proving 162 Theorems Previously Unproved by Humans Across 23 Diverse Lean Mathematics Repositories
MarkTechPost@AI 2024-10-11T21:06:11.000000Z
CMU清华教LLM练成数学高手，LeanSTaR训练模型边思考边证明，登顶新SOTA
智源社区 2024-08-10T15:52:37.000000Z
CMU清华教LLM练成数学高手，LeanSTaR训练模型边思考边证明，登顶新SOTA
36kr-科技 2024-08-09T07:36:33.000000Z
Lean Copilot: An AI Tool that Allows Large Language Models (LLMs) to be used in Lean for Proof Automation
MarkTechPost@AI 2024-07-30T08:04:41.000000Z