Штучний інтелект офіційно переміг мене на Світовому фіналі ICPC. Це нагадує мені рідкісну навичку ICPC: здатність швидко читати код товариша по команді та виявляти помилки. Навчання цієї навички займає роки, і це пояснює, чому штучний інтелект часто уповільнює кодування (див. arXiv:2507.09089). Незалежно від того, наскільки сильним стає штучний інтелект, людям все одно може знадобитися витратити час на перевірку вихідних даних штучного інтелекту... Але уявіть, якби ChatGPT із завтрашнього дня працював інакше: не чат користувач–агент, а 3-сторонній чат користувач–агент–арбітр. ⚖️ Агент (скажімо, GPT-5) повинен переконати арбітра (скажімо, GPT-4o) у правильності його рішення; Роль користувача полягає в тому, щоб оскаржити його та переконати арбітра у протилежному. Подібно до того, як перевірити (P) легше, ніж винайти (NP), шлях інтерактивного доказу (IP) може ще більше скоротити людські навички та час, які будуть потрібні. Така система штучного інтелекту та арбітра може перекласти тягар з людей, дозволяючи нам менше зосереджуватися на логістиці (наприклад, перевірка коду) і більше на рішеннях, які мають значення. Чи може це стати шляхом до наступного покоління універсального штучного інтелекту? 🚀