「窓の杜」が扱っているオンラインソフトは、30年前、時代の最先端でしたが、その最先端は今、「AI」にあります。 その「最先端」を使いこなしていく、学生世代の『生の声』を届けたい、それが本連載のコンセプトです。

AI（人工知能）が数学の未解決証明問題を解決した。この快挙は、AIの進歩のみによってもたらされたものではない。鍵を握るのが数学の「形式化」だ。数学者である加藤文元氏へのインタビューから、数学界が迎える変化の最前線を追う。