← Материалы разборы Yersham
разбор · математика
2.0
из 10
смотреть не обязательно — забрать выжимку и пункты
оценка машинная и частично зависит от длины ролика — спорите, открывайте оригинал

OpenAI ASRA решила 10 нерешённых математических задач

OpenAI заявила, что новая модель ASRA решила 10 нерешённых математических задач, опубликовав проверяемые доказательства. Это вызвало доверие, в отличие от прошлого скандала. Стоимость вычислений — $2000, что указывает на приближение сингулярности.

OpenAI заявила, что новая модель ASRA решила 10 нерешённых математических задач, опубликовав проверяемые доказательства. Это вызвало доверие, в отличие от прошлого скандала. Стоимость вычислений — $2000, что указывает на приближение сингулярности.

что из этого моё

Для оператора входа в AI это сигнал о возможностях моделей: можно смелее делегировать сложные аналитические задачи, но всегда проверять результаты через автоматизированные системы верификации. Также стоит учитывать тренд на публикацию доказательств для повышения доверия клиентов.

Тезисы ролика
применимого к своей работе линза здесь не нашла
Проверяйте заявления о возможностях ИИ через машинную верификацию (например, Lean 4), чтобы отсеять фейки.
Используйте публикацию полных доказательств и кода для повышения доверия к результатам ИИ.
Оценивайте экономику вычислений: если задача решена за $2000, это сигнал о доступности мощного ИИ.
Следите за реакцией экспертов (например, Томаса Блума) для валидации новостей об ИИ.
о чём говорят, по времени
главы доводят до 01:02 · дальше по ролику меток нет
01
Скандал и новое заявление00:00
OpenAI повторяет заявление о 10 открытиях, но теперь с доказательствами.
02
Публикация доказательств00:30
OpenAI выложила 249-страничный документ и машинопроверяемые доказательства в Lean 4.
03
Реакция и стоимость01:02
Эксперты положительно оценивают, стоимость вычислений всего $2000.
дальше в дело
Собрать это в маршрут
все маршруты →
не хочешь разбираться сам
Сделаю это под задачу
форматы и цены →
ещё разборы