私たちは数学の分野における深い変革の瀬戸際に立っています。雰囲気の証明がここにあります。 @HarmonicMath年のアリストテレスは、@leanprover年にエルドス問題#124を単独で証明しました。この問題は、学術誌『Acta Arithmetica』の論文「整数冪集合の完全列」で予想されて以来、約30年間未解決のまま存在しています。 ボリス・アレクセエフは、最近より強力な推論能力と自然言語インターフェースを備えたアリストテレスのベータ版を使ってこの問題を解決しました。 数学的な超知能は刻一刻と近づいており、私はそれが変化し、数学およびそれに依存するすべての分野の進歩を劇的に加速させると確信しています。