テレンス・タオは、数学の境界線を越えたAIを発表しました。そして、現存する最も偉大な数学者の一人がそれが実在すると言ったとき、議論は終わります。 タオ:「能力の大幅な向上が目に見えました。決して単なる誇大宣伝ではありません。」 もしこれが過大評価されているならすぐに見抜く誰かからの直接的な確認だ。数学におけるAIは、約束から運用能力へと進化しました。 タオ:「私にとって、これらの進歩は数学を補完する方法があることを示しています。」 代替ではありません。人間が物理的に達成できない大規模の並列モードです。 人間は数ヶ月間、少人数のグループで難しい問題に取り組む。それはそのままです。しかし、今はそれと並んで別の何かが存在している。 タオ:「AIをスケールアップさせて、千の問題を掃除し、手軽に手軽に手に入ることができます。問題と方法を組み合わせるあらゆる方法を見つけ出す」と。 AIは深く考えません。より広く探す。すべての技術をあらゆる問題に体系的に適用します。人間には不可能な徹底的な探索。 タオ:「もし20種類の異なる技術があるなら、それらをすべて1,000の問題に適用し、どれが解けるかを見てみましょう。これが現在存在する能力です。」 二十の技法。千の問題。すべての組み合わせをテストしました。つまり、人間が探査するにはキャリアが必要な2万回の試みです。AIはそれを体系的に行います。 将来の能力ではありません。今日だ。 新たな分断が形成される。人間:既知の方法に抵抗する問題に持続的に焦点を当てる。AI:産業規模の技術に問題を徹底的にマッチングする。 AIは体系的な応用によって解決可能なすべてを特定します。人間は実際の洞察を必要とすることにだけ集中します。 数学的創造性を置き換えるものではありません。どの問題がどの既存の手法に繋がるかを見つけるために何世紀もの集団努力を費やす探索を自動化する。 進歩はAIが難しい定理を証明することから加速するのではありません。AIが問題に無駄にする時間を減らすことから、ブルートかつ体系的な応用で解決します。 ...