OpenAI представила модель Astra, решившую сложные математические задачи
N@v_neuroAI-инженер
3 недOpenAI показала модель Astra, которая решила 10 математических задач, не поддававшихся десятилетиями, потратив на вычисления около $2000.
ИИ начал решать фундаментальные математические проблемы, которые десятилетиями оставались недоступными для человечества.
- Модели ИИ переходят от генерации текста к выполнению сложных логических и математических вычислений.
- Стоимость решения фундаментальных задач становится крайне низкой, что ускоряет научный прогресс.
- Автоматизация математических доказательств может радикально изменить методы проведения научных исследований.
📱 OpenAI показала новую модель и сразу закрыла ей десять задач, которые математики не могли взять десятилетиями
Модель Astra, публичного доступа к ней ещё нет. Компания просто выложила решения и предложила проверять.
Что цепляет:
✧ По каждой задаче не было прогресса минимум 10 лет
✧ Одному вопросу из списка - с 1999 года
✧ Все расчёты обошлись примерно в $2000
✧ Решения проверил компьютер - выдумать их нельзя
✧ Авторами OpenAI записала не людей, а модель
Про цену стоит помнить одно: посчитаны только удачные попытки. Сколько задач модель не осилила, компания не говорит.
🔗 Разобрал, что именно решено и где в этой истории тонкое место
#openai #astra #математика
Кратко (AI)
OpenAI представила новую модель Astra, которая успешно решила десять математических задач, остававшихся нерешенными на протяжении десятилетий. Компания опубликовала результаты, подчеркнув, что стоимость вычислений составила около $2000, однако отметила, что в эту сумму не включены затраты на неудачные попытки.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖