ChatGPTなどの生成AI技術を筆頭に、AI技術の発展と職場への浸透は著しい。これまで自動化があまり進んでこなかった、議事録作成や情報収集業務などの事務処理系のタスク（作業）を生成AIで実行できるようになったこともあり、事務職など「ホワイトカラーの ...

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