Hacker News 热门· tootie·· 44 分钟前AI 评分62
OpenAI 在 GitHub 发布约 700 篇数学证明与反例预印本
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
AI 导读
OpenAI 在 GitHub 的 openai/math 仓库 preprints 目录下集中发布约 700 篇数学预印本,内容以各类猜想的反例和证明为主,涉及熵猜想、Kaplansky 直接有限性猜想、Kurosh 除环问题、Hadwiger 猜想、Max Cut 硬度等主题,文件按标题加日期命名,日期集中在 2026 年 9 月下旬至 10 月初。
来源:Hacker News 热门 · github.com