CGD - Crypto Government Department logo CGD - Crypto Government Department logo
Forklog 2026-08-01 11:48:59

Модель OpenAI решила десять открытых математических задач

1 августа компания OpenAI опубликовала доказательства для десяти математических задач, которые оставались открытыми как минимум с 2016 года. Решения получила внутренняя версия Astra — так разработчик ChatGPT назвал свою следующую крупную модель. По подсчетам OpenAI, объем потраченных на поиск ответов токенов обошелся бы примерно в $2000 по тарифам API для Sol. Рукописи готовили люди с той же моделью, после чего она формализовала каждое доказательство в Lean — языке для машинной проверки теорем. Все сертификаты и записи рассуждений фирма выложила в открытый доступ. Astra станет отдельным классом моделей наряду с Sol, Terra и Luna, пишет The Information. По данным издания, в OpenAI пока не решили, выйдет ли она как GPT-6 или как версия внутри линейки GPT-5. Дату релиза представители компании также еще не назначили. 26 июля гендиректор фирмы Сэм Альтман показывал Astra политикам и регуляторам в Вашингтоне. Модель может стать первой, которую проверят по новым правилам администрации президента США Дональда Трампа. В соответствии с ними ИИ-разработчики должны передавать новые системы на оценку федеральным властям до публичного запуска. Какие задачи решила Astra В число ключевых результатов вошла конструкция, доказывающая существование несофических групп. Это закрыло центральный вопрос, который математики не могли решить с 1999 года, когда Михаил Громов ввел понятие софичности. Среди других достижений — опровержение гипотезы жесткости Конна о фон-неймановых алгебрах, решение гипотезы Эрхарта об объеме, а также задачи Эрдеша №183 о мультицветных числах Рамсея. Astra также получила новые нижние оценки сложности вычисления перманента арифметическими схемами и доказала теорему о параллельном повторении для квантовых игр двух игроков. Кроме того, модель улучшила верхние оценки плотности при упаковке сфер в высоких размерностях до порога Кона–Элкиса и усилила границы для двоичных кодов при любом заданном минимальном расстоянии. Математик Манчестерского университета Томас Блум назвал опубликованные результаты «большой новостью» и «весомым шагом» в области конструкций. Big news! (And not really my area, but yes, I would rank this as bigger than the unit distance counterexample. Maybe not bigger than a proof of unit distance would have been, but in terms of constructions, this is big.) https://t.co/VDRti1HZ6Z— Thomas Bloom (@thomasfbloom) August 1, 2026 Однако модель справилась не со всеми задачами. Ноам Браун, соавтор технологии рассуждений Astra, сообщил, что в OpenAI пробовали подступиться и к другим крупным проблемам, но безуспешно. Модель не смогла решить «задачи тысячелетия» — сем вопросов, которые в 2000 году Математический институт Клэя назвал главными в математике, пообещав $1 млн за решение каждого. Напомним, в июле Claude от Anthropic опроверг математическую гипотезу 1939 года.

Διαβάστε την Αποποίηση Ευθυνών : Όλο το περιεχόμενο που παρέχεται εδώ στον ιστότοπό μας, τους υπερσυνδεδεμένους ιστότοπους, τις σχετικές εφαρμογές, τα φόρουμ, τα ιστολόγια, τους λογαριασμούς κοινωνικών μέσων και άλλες πλατφόρμες (“Site”) προορίζεται μόνο για τις γενικές πληροφορίες σας, που προέρχονται από τρίτες πηγές. Δεν κάνουμε καμία εγγύηση οποιουδήποτε είδους σε σχέση με το περιεχόμενό μας, συμπεριλαμβανομένης ενδεικτικά της ακρίβειας και της ενημέρωσης. Κανένα μέρος του περιεχομένου που παρέχουμε δεν αποτελεί οικονομική συμβουλή, νομική συμβουλή ή οποιαδήποτε άλλη μορφή συμβουλών που προορίζεται για τη συγκεκριμένη εμπιστοσύνη σας για οποιονδήποτε σκοπό. Οποιαδήποτε χρήση ή εξάρτηση από το περιεχόμενό μας είναι αποκλειστικά με δική σας ευθύνη και διακριτική ευχέρεια. Πρέπει να πραγματοποιήσετε τη δική σας έρευνα, να ελέγξετε, να αναλύσετε και να επαληθεύσετε το περιεχόμενό μας προτού βασιστείτε σε αυτά. Η διαπραγμάτευση είναι μια εξαιρετικά επικίνδυνη δραστηριότητα που μπορεί να οδηγήσει σε μεγάλες απώλειες, επομένως συμβουλευτείτε τον οικονομικό σας σύμβουλο πριν λάβετε οποιαδήποτε απόφαση. Κανένα περιεχόμενο στον ιστότοπό μας δεν προορίζεται να είναι παράκληση ή προσφορά