テレンス・タオは、本当の突破口は単にAIがエルデスの問題を解決することではないと言います。それは論文を何度も書き換える方法だ。 しかし解決策を超えて、タオはもっと深い点を強調しています。それは、数学的説明のためのAI駆動の書き込み・書き換えサイクルの出現です。 ChatGPTやアリストテレス(リーン形式化)などのツールを組み合わせることで、AIユーザーは証明だけでなく、自然言語の説明、歴史的枠組み、文献関連を含む複数の論文草稿を共同で作成しました。 この従来のツールでは日常的に不可能だった高速数学的物語の新しいモードが、今や現実のものとなりました。