#GitHub

OpenAI、内部AIが数学論文722本を公開 372系統の成果、未検証結果も

OpenAIが未公開の内部フロンティアモデルによる数学研究成果を公開した。GitHubには722本の論文を372系統に整理し、Lean形式化や推論要約も収録。一方、未形式化の結果には誤りが含まれる可能性があるとして検証継続を呼びかけている。