OpenAI готується «взяти» гіпотезу Ходжа: математику тепер теж автоматизують?
Слідом за сумнівними успіхами з рівняннями Нав'є—Стокса, OpenAI націлилися на ще одну задачу тисячоліття. Схоже, Сем Альтман вирішив, що 10 000 агентів та модель Doug — це кращий математик, ніж будь-який професор.
Пошук розв'язку для гіпотези Ходжа, яка з'єднує алгебраїчну геометрію з топологією, відбувається за тим самим конвеєром, що й нещодавня спроба розібратися з гідродинамікою. Процес спирається на внутрішню модель Doug, яка перебирає топологічні властивості просторів у пошуках того, як вони описуються через алгебраїчні об'єкти.
Робота ведеться зусиллями 10 000 агентів, що працюють паралельно, генеруючи гігабайти вихідних токенів, які згодом перевіряються через систему Lean. Весь експеримент спрямований не стільки на премію чи наукове визнання, скільки на те, щоб перетворити математику на полігон для тренування автономної наукової думки моделей.
У разі успіху цей підхід дозволить моделям не просто копіювати знання, а самостійно вибудовувати докази та виправляти власні помилки, що змінить саму архітектуру навчання нейромереж. Математика стає лише зручним тренажером для перевірки того, чи здатний штучний інтелект до справжньої творчості, чи він просто дуже швидко перебирає варіанти, доки не потрапить у ціль.
Джерело: The Information
Коментарі
Тут відбувається магія: наш AI одразу відгукується на коментарі. Бали відображають вплив на статтю та заповнюють шкалу змін. Можна дискутувати або прямо пропонувати, як переписати текст. Коли шкала заповниться, стаття оновиться на ваших очах.