OpenAI е близо до втора Милениум задача — Ходж

OpenAI е близо до решение на хипотезата на Ходж — втората от седемте Милениум задачи, по която компанията работи. Информацията е от бюлетина AI Agenda на The Information от 17 септември и се позовава на хора, запознати със случая, както и на служители на компанията, които очакват резултатът да излезе „относително скоро”. Самата OpenAI не е потвърждавала за коя задача става дума.

Какво се твърди

Според the-decoder, който преразказва доклада, основният проблем на OpenAI в момента не е самото доказателство, а как да го обяви. След спора около Навие-Стокс компанията иска „този път да намери правилния тон” и затова отлага публичното представяне.

За предишния резултат OpenAI е използвала вариант на следващия си pretrained модел с кодово име Doug — по всяка вероятност на цена от милиони долари само за изчисления. Джакуб Пахоцки, главен изследовател на компанията, заяви още при премиерата на GPT-6 Astra, че приоритетът е рекурсивното самоусъвършенстване — а не математиката.

Контекстът е важен: доказателството за Навие-Стокс все още не е официално потвърдено. Институтът Клей обяви на 11 септември само че задачата „очевидно е решена”, без да посочва автор.

Какво всъщност пита хипотезата на Ходж

Опростено: когато опишете една геометрична фигура чрез алгебрични уравнения, тя има топологични свойства — дупки, извивки, цикли. Въпросът на Ходж е дали всички тези свойства от определен тип могат да се изразят обратно чрез алгебрични уравнения, или има топология, която алгебрата не достига.

Формално, за неособено комплексно проективно многообразие всеки клас на Ходж трябва да е рационална линейна комбинация от класове на алгебрични подмногообразия. Официалната формулировка е написана от Пиер Делин, а задачата влиза в списъка на института Клей на 24 май 2000 г. в Париж — с по 1 милион долара (около 870 000 евро) за всяка от седемте.

Хипотезата е известна в частни случаи: вярна е за многообразия с размерност до 3, за хиперповърхнини от степен 2, а през 2025 г. Еял Маркман я доказа за абелеви многообразия с размерност 4 и 5. Първият наистина отворен случай — цикли с коразмерност 2 върху четиримерни многообразия — според специалистите остава „далеч извън обсега”.

Защо математиците не се радват

На 11 септември Бърт Тотаро публикува гост-пост в блога на Тери Тао точно по темата. Аргументът му не е, че AI няма да успее, а че бързият отговор може да струва по-скъпо от липсата на отговор: дори нерешена хипотеза генерира знание, докато хората се опитват да я решат, а „силата на математическите идеи идва от постоянното договаряне между хора”.

Напрежението вече има и конкретни последствия. На 10 септември OpenAI се оттегли като спонсор на Mathathon в Caltech, след като 771 математици подписаха отворено писмо с искане събитието да бъде спряно. Писмото обвинява AI компаниите, че третират изследователската математика като „рекламна възможност” и че ще си присвоят труда на талантливи студенти. Дан Робъртс, ръководител на изследвания в OpenAI, обясни оттеглянето с „опасенията, изразени от членове на математическата общност”. Компанията покриваше по 10 000 от общо 20 000 долара AI кредити за всеки отбор. Ден по-късно 25 носители на медала Фийлдс излязоха с отделна декларация.

Какво още липсва

В момента по Ходж няма публикувана статия, няма код и няма изявление от института Клей. Има доклад на медия, позоваващ се на анонимни източници — и толкова.

Дори всичко да е точно както се твърди, правилата на Клей изискват публикация в реферирано издание, изтекли поне две години и общо приемане от математическата общност, преди институтът да започне да разглежда случая. Награда преди 2029 г. е практически изключена.

Заключение

Разликата между „близо до решение” и „решено” в математиката се измерва в години, не в дни — а разликата между доказателство и съобщение за доказателство вече е основният залог в този спор. OpenAI има модел, който очевидно се справя с задачи от този калибър, и история на прибързани обявявания, която сама си създава проблеми. Ако компанията наистина издаде доказателство за Ходж, интересното няма да е дали е вярно, а дали ще го представи така, че някой извън нея да може да го провери спокойно.