「2年前はAIが高校の数学をほとんど解けなかった。」 @tachim CEOがAIが実際の未解決数学問題に寄与していると@HarmonicMath語る 「エルデスの問題は本当に未解決だが、ミレニアム賞のようなエベレスト級ではない。」 「むしろ難しい丘陵地帯のようなものだ。解決でキャリアを築くことはないだろうけど、もしできたら誇りに思うだろう。」 「今やAIが本当の問題に取り組んでいるのが見られます。」 「AIが単なる演習ではなく、フロンティアに関わり始めているということです。」