>>615
>日本は閉鎖的縁故的で身内数学も
>AIにやられいまや瀕死の状態

日本に限らんでしょ?w(^^
米仏英独 みんなだろう

まあ、日本の望月先生がIUTの LEAN問題を解決して
LEANを上回る数学があることを示してくれることを祈るね
2016年AlphaGo相手の”イセドルの割り込み”みたいに(下記)(^^

(参考)
https://ja.wikipedia.org/wiki/AlphaGo%E5%AF%BE%E6%9D%8E%E4%B8%96%E3%83%89%E3%83%AB
AlphaGo対李世ドル 2016年

第4局
第4局は李(白)が勝利した。DeepMindのデミス・ハサビスは、AlphaGoは79手目にミスをし、その時点では勝率が70%と見積っていたが、87手目に、その推定値が突如急落したとしている[33][34]。Ormerodは87手目から101手目を典型的なモンテカルロベースのプログラムのミスと述べた[35]。

「素晴らしい手筋」と表現された、白78(Move 78)のワリコミと82の強手によって[35]瀕死に近かった中央白の一団にシノギが見え始め、難解な碁になった[36]。局後、78のワリコミに対し黒が正しく応手すれば変化は複雑であるものの手にならないことが判明した。実戦はワリコミが候補手になかったことでAlphagoは変化を読み切れず、最善を尽くせなかった結果の逆転となった。

中国棋院の古力は、白78を「神の一手」と形容し、この手は全く想像していなかったと述べた[35]。安も、この一局が「李世乭にとっての傑作であり、囲碁の歴史における名局となることはほぼ確実だろう」と称賛した[35]。日本棋院の井山裕太も「勝てない相手ではないこと、人間が上回っている部分があることを証明してくれた。セドル九段に敬意を表したい」と李を称えた[37]。