26/08/02 17:36:26.99 M3tmwzkC.net
>>763
>１）ショルツェ氏のLeanでの論文検証をしたチーム(下記)が、IUT検証でダメだし
> （人間さまが10年以上グジグジ言ってきた問題をほぼ一刀両断した）
IUT自身は、指摘されたギャップをなんとかすれば終りだが
数学全体としては、いま大きな変革期に直面しているという
意識改革が必要でしょう
あたかも、囲碁将棋のプロ棋士が
AIの荒波に揉まれているごとき状況が
すぐそこまで来ているということです
Leanを含む数学AIを取り入れないと、ダメダメです