Внутрішня модель OpenAI Astra вирішила 10 відкритих математичних задач, деякі з яких мають 40–50 років

TL;DR

• •Модель Astra вирішила 10 відкритих математичних задач, деякі з них не розв'язували 40–50 років.
• •Доведення включають існування несофічних груп та упаковку сфер у високих розмірностях.
• •Обчислювальні витрати становили приблизно $2000 у токенах за цінами Sol.
• •Докази та логіка розсудів опубліковані мовою формальної перевірки Lean.
• •Модель, ймовірно, належить до сім'ї GPT-6 або GPT-5.7 і була представлена Альтманом у Білому Домі.

Як це змінить ваш ринок?

Університети та дослідницькі лабораторії зможуть використовувати подібні моделі для автоматизації перевірки складних математичних доказів, зменшуючи затрати на людський труд у теорії груп і геометрії. Це може прискорення фундаментальних досліджень та зниження бар'єрів для входження нових учених у складні теми.

Визначення: Штучний інтелект (ШІ) — галузь інформації, що створює системи, здатні виконувати задачі, які зазвичай вимагають людського розуму, такі як навчання, розуміння мови та вирішення проблем.

Для кого це і за яких умов

Для дослідників: доступ до моделі через API не передбачено; потрібна власна інфраструктура для тренування подібних моделей, бюджет від $10 000 на обчислювальні ресурси, команда з досвідом у машинному навчанні та формальних методах, впровадження — від кількох місяців. Для університетів: можливість інтегрувати такі моделі в навчальні процеси для демонстрації AI-успіхів у точних науках, при наявності ліцензій на використання та технічної підтримки. Для технологічних компаній: можливість ліцензувати базову архітектуру для внутрішніх досліджень, проте без гарантій стабільності або підтримки.

Альтернативи