ABC予想とIUT理論についての動画がとてもわかりやすくておすすめです！

ABC予想の証明を証明支援システムのLEANで検証しているLANAプロジェクトについて、先日紹介しました（末尾参照）。このプロジェクトのメンバーの加藤先生がでておられる動画が、とてもわかりやすくておすすめです。さっきまでみていました！

【ReHacQ生配信】AIで数学を証明!?IUT理論は正しいのか【高橋弘樹vs川上量生vs野村泰紀vs加藤文元】
https://www.youtube.com/live/b6JlM_nrM3M

先日の紹介記事はこちらです。

ABC予想のLEANによる検証プロジェクトの中間報告が7月17日にありました。