>>59
>LeanがLLMと融合したら9割の数学者はヤバいと、お前ら思わないのか?
全く思わないよ?