Hacker News· tootie·· 11 天前AI 评分62
OpenAI 发布 700 篇数学证明与反例预印本
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
AI 导读
OpenAI 在 GitHub 的 math 仓库 preprints 目录下发布了 700 篇数学证明与反例预印本，原文链接为 https://github.com/openai/math/tree/main/preprints。
来源：Hacker News · github.com