Ми часто говоримо про великі стрибки в ШІ для математики, але я думаю, що маленькі кроки не менш вражають. Майбутнє за математикою вже зараз. Я працював над конкретним завданням: знайти безрегістровий доказ репрезентативності локальної корекції функції Нерона за допомогою комбінації термінів корекції, пов'язаних з мультиплікативним відмінком. Це надзвичайно виснажливий, залежний від конкретного випадку і досить відштовхуючий тип доказу. Отже, я надав інформацію зі своєї статті та запитав GPT Pro, чи може він запропонувати доказ без регістру. Приблизно через 15 хвилин я отримав прекрасне, концептуальне пояснення, яке викликало всю потужність подвійного графіка виродженого волокна - разом з дивовижним припущенням, що трохи нормалізована версія локальної корекції помилок насправді є енергетичним функціоналом. Я була шокована. Я ніколи не очікував такого глибокого прозріння. Озираючись назад, я тепер бачу, що пропустив. Але я пропустив це, і модель провела мене аж до доказу. Цей новий доказ набагато елегантніший, ніж попередній. У мене було лише туманне бачення, припущення, що такий підхід може спрацювати, але поєднання глибокої літературної обізнаності моделі та комбінаторної сили її стратегій пошуку дерева привело мене безпосередньо до концептуального ядра доказу. З нетерпінням чекаємо, що можуть запропонувати й інші моделі.