热点
"formal proof" 相关文章
数学界无视「30年漏洞」，GPT-5一眼看穿，陶哲轩：AI科研革命开始了
36氪 - AI相关文章 2025-11-05T11:06:57.000000Z
GPT-5当上论文作者！AI首次以正式身份参与数学证明，攻克Erdős悬赏猜想
PaperWeekly 2025-10-24T14:52:22.000000Z
美团发布高效推理模型LongCat-Flash-Thinking：部分性能接近GPT5
快科技资讯 2025-09-22T16:38:05.000000Z