Astra делает научные открытия за $2,000
Astra — новая модель для длительных и сложных вычислений, созданная для совершения настоящих научных открытий. Она способна решать задачи, которые десятилетиями считались невыполнимыми, позволяя различным AI-агентам совместно работать над масштабными проектами.
Прорывы в математике и it
Astra уже добилась 10 значимых успехов в теории вычислений и математике. Модель эффективно работает в следующих областях:
- Многомерная геометрия и упаковка сфер
- Теория кодирования и решетчатая криптография
- Теория групп и экстремальная комбинаторика
- Квантовая сложность и арифметические схемы
Среди ключевых достижений модели — решение задач Пола Эрдёша и опровержение гипотезы Коннеса.
Процесс работы организован максимально точно: ученый подготавливает черновик с аргументами, который Astra переводит в формат Lean certificates. Затем специальная система верифицирует данные, что гарантирует абсолютную достоверность всех вычислений.
Стоимость и запуск
Решение одной сложной задачи по тарифам Sol API обходится примерно в $2,000. В OpenAI еще не утвердили финальное название продукта: возможны варианты GPT-5.7, GPT-6 или Astra.
Компания планирует выпустить две версии инструмента. Обычная версия будет доступна всем пользователям, а доступ к мощной версии будет предоставляться по запросу.
Ранее по теме
OpenAI создаст AI-помощника — релиз в 2027
Больше новостей в нашем Телеграм. Подпишись!
Ссылка на источник тык.
