0059132人目の素数さん垢版 | 大砲2023/11/30(木) 17:21:12.65ID:cs8MUWrU LeanがLLMと融合したら9割の数学者はヤバいと、お前ら思わないのか? 小山信也はAIじゃ本当に創造的な数学はできないと言ってるが時間の問題かもしれん