ИИ официально победил меня на Всемирном финале ICPC. Это напоминает мне о редком навыке ICPC: умение быстро читать код товарища по команде и находить ошибки. Этот навык требует многолетней тренировки и объясняет, почему ИИ часто замедляет кодирование (см. arXiv:2507.09089). Независимо от того, насколько силен ИИ, людям все равно может потребоваться время для проверки вывода ИИ... Но представьте, если бы ChatGPT работал иначе, начиная с завтрашнего дня: не чат пользователь–агент, а чат пользователь–агент–арбитр в формате 3-way. ⚖️ Агент (скажем, GPT-5) должен убедить арбитра (скажем, GPT-4o), что его решение верно; роль пользователя заключается в том, чтобы оспорить это и убедить арбитра в противном. Так же, как проверка (P) проще, чем изобретение (NP), интерактивный путь доказательства (IP) может еще больше сократить необходимые человеческие навыки и время. Такая система ИИ–арбитра может снять бремя с людей, позволяя нам меньше сосредотачиваться на логистике (например, на проверке кода) и больше на важных решениях. Может ли это быть путем к следующему поколению универсального ИИ? 🚀