「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…　高まる思考力、疲れ知らずの働き者。人間に残された仕事は？ | NEWSjp

「２０２６年が明けてすぐに「人工知能が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ」「Ｌｅａｎの利用にはちょっとした難関がある。Ｌｅａｎ語ともいえる特殊な機械言語しか理解しない」

テストなどの応用例でちょくちょく見かけるleanの本領発揮だ。

leanの前から定理証明系は色々あったのにleanだけコレだけバズってるのなんでなんすかね。やっぱマーケティング？/未解決問題って別にいくらでも考えられるわけで、ヴェイユのいう「共鳴箱」を超える日が来るんだろうか

ここまでくるのが予想より早かった。2,3年前は東大二次試験もダメだったのに。　今、新井紀子著(2018年)「AI vs 教科書が読めない子供たち」を読んでいて、感慨深い。

もう少しすると、絶望して早まった決断を自らに下す数学者が出そう。門外漢だけど、次の役割はAIと世の中の翻訳者になるかな(テキトーデス)

ちょっとチャッピーに受験問題きいてもトンチンカンなんだけど……。　あいつがバカなのか、こっちがバカなのか…。　問題文がバカなのか……。はぁ………。AIを使いこなせてないぜ……………。