Google выкатил ИИ-математика 🤨

Тополог Марк Лакенби с помощью новой системы AI co-mathematician (на базе Gemini 3.1) расколол проблему из Куровской тетради 1965 года. Причем сработало это не как магия одной кнопки. ИИ сгенерировал доказательство с дырой, но другой ИИ-ревьюер эту ошибку подсветил. Кожаный профессор посмотрел на этот забракованный черновик, увидел там гениальную задумку, подкинул алгоритму подсказку, и система успешно довела дело до конца.

Под капотом у гугла не обычный чат-бот, а целая виртуальная лаборатория с иерархией. Там есть свой ИИ-менеджер, который раздает задачи узкоспециализированным субагентам: одни пишут код, другие ищут статьи, третьи спорят друг с другом на ревью. Система запоминает тупиковые ветки, чтобы не наступать на те же грабли, и педантично оставляет ссылки на каждый чих в финальном документе. Получается эдакий идеальный штат аспирантов, которые не просят зарплату, не выгорают и работают круглосуточно.

Правда, иногда этот цифровой НИИ ловит шизу. Агенты могут дружно согласиться с красивой, но абсолютно бредовой аргументацией, или наоборот - уйти в "спираль смерти", бесконечно придираясь к коду друг друга.

🥸 Новости IT: 📱 Telegram | 📱 ВК | 📲 MAX