astra затвори десет отворени математически задачи

https://openai.com/index/ten-advances-in-mathematics/

openai публикува десет решения на математически задачи, при които най-добрият известен резултат не се е променял поне десет години. Всички ги намери вътрешна версия на astra — следващия голям модел, а токените за търсенето струваха около $2000 по тарифите на sol api. Всяко доказателство записаха на lean и качиха в хранилището openai/ten-proofs; до него стоят статията и разшифровките на разсъжденията на модела.

$2000 за десет резултата от нивото «десетилетие без напредък» — цифрата, която ще цитират най-често. Но тя отчита само токените за търсене на решение по тарифите на api: в нея не влизат нито обучението на модела, нито работата на хората върху ръкописите, нито неуспешните опити по други задачи. Истинските разходи може да са в пъти, ако не и с порядък по-големи.

И ако по някаква причина още не сте милионер — ето готови бизнес идеи на основата на тези задачи, по версията на Opus 5 ultracode:

• Експертиза в патентни и арбитражни спорове за кодиране и компресия.
• Компресия на модела и ядрото за изпълнение под хардуера на клиента.
• Проверка на технически твърдения преди сделка.
• Гласов кодек за тесни канали.
• Песимистични оценки за размера на съединенията за планировчици на заявки.
• Кодек и симулатор на канал за ДНК-хранилище.
• Формиране на съзвездие за сателитни и лазерни канали.