AI数学の素晴らしい節目です アリストテレス(AI数学者)は、ほぼ30年間解かれていたエルドスの問題#124を解いたばかりです ボリス・アレクセーフ(研究数学者)は、より強力な推論+自然言語インターフェースを持つアリストテレスの新しいベータ上でこれを実行し、完全な形式的証明を得ました。 AI定理証明としてはかなりクレイジーな瞬間です。