AI は史上初めて、λ 微積分の N タプルの一般的な「フォールダー」関数を導き出すことに成功しました。それは Gemini Pro 2.5 で、Deep Think が搭載されました。o3 や Grok 4 を含む他のすべてのモデルはそうできません。素晴らしい進歩@GoogleDeepMind

@GoogleDeepMind (Bend に関しては、おそらく発売月である 10 月に投稿を開始することにしました。