Inter-universal geometryとABC予想(シン応援スレ) 92

Inter-universal geometryとABC予想(シン応援スレ) 92at MATH

Inter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch759:１３２人目の素数さん
26/08/02 15:15:42.88 M3tmwzkC.net
今回のIUTの LANA中間報告騒動を受けて考えるに
京大とRIMS（含次世代幾何学国際センター）とを合わせた
数学コンピューター部隊専門チームを結成する
そこで、数学AIとLean言語の専門家を養成することだね
禍転じて福と成す

次ページ

続きを表示

1を表示