OpenAIの未発表モデルAstraが難解な数学の未解決問題10問を解決

要点：OpenAIは、球体堆積や非ソフィック群の存在性など、長年未解決だった10の数学的難問を未発表モデル「Astra」が解決したと発表しました。250ページを超える論文とLeanによる検証結果も公開されています。