1月 04 2026 0 AIが数学の「親玉」に完敗！？超難関ベンチマーク『LeanCat』が暴くAIの弱点 投稿者: ユウ 解説 ねえねえ智也くん！『LeanCat』っていう論文を見つけたんだけど、これって「痩せた猫」の研究なの？ダイエットかな？ いや、全然違う。それは『圏論（Category Theory）』っていう数学の分野を、Leanっ…