#数学

OpenAI Astra：2000ドルで10の未解決数学難題を解く

OpenAIは次世代モデルAstraを発表し、内部バージョンで10の数学および理論計算機科学の新成果を一挙に提示しました。これらはすべてLean形式化証明が付属しており、Sol APIの評価によれば総コストは約2000ドルです。249ページの論文と公式説明を読み返し、「これが何を意味するのか」を明らかにします。