40: 名無しさん 2024/05/25(土) 21:41:31.08 ID:qDPGgQxR

>>32
全然わからんがこれとIUTは何らかの繋がりあるんだろうか…

41: 名無しさん 2024/05/25(土) 21:49:59.70 ID:Vk5DWhWj

>>40
横レスだけど
ラングランズ周辺って
身内褒めの自己啓発集団ってイメージは俺にもある
劇団員みたいな感じだからそう書いてるんじゃないの

35: 名無しさん 2024/05/25(土) 17:30:42.83 ID:EuJzkt1j

1000ページの論文を査読する人って大変だなあ……

44: 名無しさん 2024/05/25(土) 22:38:14.96 ID:bbFDIkH/

数学の証明って論理的な手続きなんだからそれこそコンピュータで整合性が取れてるかどうかってわかったりしないの？

45: 名無しさん 2024/05/25(土) 22:46:50.87 ID:O5H140uD

>>44
AIが試験受けると
数学と物理の成績がいちばん悪かったんじゃなかったかな

化学とは相性良さそうだけどね

72: 名無しさん 2024/05/27(月) 19:48:51.09 ID:M0iNEdww

>>45
BⅡやCⅢが受けたらどうなるんですか？

46: 名無しさん 2024/05/25(土) 22:47:40.45 ID:WDIztdLt

>>44
勿論コンピューターは使うよ(´･ω･｀)
それでも最終的な判断は人がする
論理的思考とは言っても飛躍やバグがあるかもしれないし
コンピューターやＡＩで全て解るなら今も残る難問なんて全て解決してるわけだし