Description

数学分野でAIが急進歩し、難問や数学オリンピックレベルの問題を解けるように。証明の意味が問われ、人間の役割はAIとの協働による探求拡大へシフトしつつあります。