数学

OpenAI、数学と理論計算機科学における10の進展を発表

OpenAIは、長年の未解決問題であった数学と理論計算機科学の分野において、幾何学、暗号理論、計算複雑性理論などで10件の画期的な進展を達成したと発表しました。特に、Astraモデルが10年間未解決だった数学問題を10件、Lean形式で証明したことが注目されます。