OpenAIが722本の数学原稿を公開、Hilbertの第10問題やRiemann予想の部分的解決を含む
OpenAI releases 722 math manuscripts
OpenAIがGitHubで722本の数学原稿を公開した。372の結果ファミリーをカバーし、Hilbertの第10問題の否定的解決、Catalan定数の無理性、準Riemann予想、Goldfeld予想、Deligne–Drinfeld予想など、数論・代数幾何・表現論の主要な未解決問題に対する証明が含まれる。各原稿はPDFで閲覧可能で、一部はLeanによる形式化も行われている。
Hilbertの第10問題を有理数体上で否定的に解決した。整数係数多項式が有理数根を持つかどうかを決定するアルゴリズムは存在しない。