1. OpenAIが数学と理論計算機科学で10件の新結果を公表

    [AI]

    OpenAIは、未解決問題に対する10件の新しい結果を公開した。内部版の新モデルAstraで得た成果で、証明は人手で整えたうえ、Leanで形式化したとしている。