OpenAI在GitHub上发布372个AI生成的数学证明 | AI Archive

OpenAI在GitHub上发布了由内部AI模型生成的372个数学成果,旨在解决或推进与黎曼猜想等相关的开放性问题。这些证明主要通过单一提示词和智能体生成,每项结果消耗约三小时的ChatGPT Pro算力。为应对可能压垮人工审查流程的海量输出,许多证明附带了Lean形式的形式化验证,以便机器检查。公司选择GitHub而非传统同行评审期刊,表明常规学术出版速度已跟不上这一发现节奏。尽管OpenAI咨询了包括菲尔兹奖得主在内的顾问小组,但数

AI Archive

Terminal content

Latest news

News articles

Repository of the day

anthropics/claude-plugins-official · ⭐ 41,802

Official, Anthropic-managed directory of high quality Claude Code Plugins.

Source: GitHub Trending