0060132人目の素数さん垢版 | 大砲2023/11/30(木) 17:21:47.36ID:afIXefRn >>59 >LeanがLLMと融合したら9割の数学者はヤバいと、お前ら思わないのか? 全く思わないよ?