IUT理論（宇宙際タイヒミューラー理論）に関する会見 生中継【ZEN大学】

[@RyuShiina]

IUT理論の理解が深まればいいなと思います。

[@kkawa-xk9um]

将棋AIみたいにプロでも使える数学専用AIを作って全教科書、全論文の成否を判定できるようにすればいいのでは?
難易度は　汎用AI > 数学AI > 数学証明検証AI のはず。この中で最も簡単とおもわれるAIからやるべきでは?
openAIから新種が発表ありましたがわかりませんがあらゆる検証できるところまではまだまだだとみてます。