preprints

Tag

Cards List
#preprints

OpenAI Withdraws 3 Math Papers

Hacker News Top ↗ · 2026-10-08 Cached

OpenAI 发布了一个包含由其未公开内部模型产出的 719 篇数学手稿(372 个结果族)的仓库,并附带部分 Lean 形式化证明与推理摘要,同时据标题消息撤回了其中 3 篇论文。

0 favorites 0 likes
← Back to home

Submit Feedback