Видео недоступно для предпросмотра
Смотреть в Telegram
🚀 OpenAI взорвала математику: 722 статьи от секретного ИИ за одну ночь
Этой ночью произошло нечто невиданное. OpenAI выложила на GitHub репозиторий с 722 математическими рукописями, сгенерированными их новой, еще не анонсированной внутренней моделью.
Это не просто «заметки на полях» — это полномасштабная атака на самые сложные открытые проблемы, над которыми человечество билось десятилетиями.
🔥 Что заявлено (и от чего у математиков перехватывает дыхание):
1️⃣ Гипотеза Ходжа (одна из 7 задач тысячелетия с премией $1 млн)
→ Доказан частный случай для CM-абелевых многообразий в любой размерности.
2️⃣ Дзета-функция Римана (еще одна задача тысячелетия)
→ Расширение зоны без нулей до Re(s) > 11/12 — гигантский шаг к полному доказательству.
3️⃣ Проблема факторов свободных групп
→ Закрыт вопрос теории алгебр фон Неймана, открытый еще с 1940-х годов.
4️⃣ Unique Games Conjecture
→ Доказана знаменитая гипотеза Субхаша Хота о пределах приближенных вычислений.
🧠 Как это возможно?
По данным OpenAI:
• Модель протестировали на ~4000 открытых задачах.
• Среднее время решения: ~3 часа в режиме «размышления» (reasoning).
• Часть доказательств уже формализована и проверена в Lean.
⚠️ НО! Важный нюанс:
Сама OpenAI предупреждает: работы без формальной верификации могут содержать ошибки. Компания обещает публиковать исправления, сохраняя предыдущие версии.
Что происходит прямо сейчас:
Лучшие математики мира в режиме нон-стоп изучают эти тексты. По данным Quanta Magazine, некоторые ученые в панике публиковали свои работы за считанные дни, чтобы их не обошел ИИ. Один из ведущих специалистов по Unique Games Conjecture признался: *"Мы почувствовали, что нас обгоняют"*.
💭 Это либо:
✅ Начало золотого века ИИ-науки, где машины решают проблемы, над которыми люди бились веками.
❌ Крупнейший стресс-тест для математического сообщества, которому теперь придется работать как ревьюверам у сверхмощного «джуна» с возможными галлюцинациями.
💬 Вопрос на засыпку:
Это реальный прорыв, который изменит науку навсегда, или мы столкнулись с лавиной математического «нейрослопа», который придется разгребать годами?
Этой ночью произошло нечто невиданное. OpenAI выложила на GitHub репозиторий с 722 математическими рукописями, сгенерированными их новой, еще не анонсированной внутренней моделью.
Это не просто «заметки на полях» — это полномасштабная атака на самые сложные открытые проблемы, над которыми человечество билось десятилетиями.
🔥 Что заявлено (и от чего у математиков перехватывает дыхание):
1️⃣ Гипотеза Ходжа (одна из 7 задач тысячелетия с премией $1 млн)
→ Доказан частный случай для CM-абелевых многообразий в любой размерности.
2️⃣ Дзета-функция Римана (еще одна задача тысячелетия)
→ Расширение зоны без нулей до Re(s) > 11/12 — гигантский шаг к полному доказательству.
3️⃣ Проблема факторов свободных групп
→ Закрыт вопрос теории алгебр фон Неймана, открытый еще с 1940-х годов.
4️⃣ Unique Games Conjecture
→ Доказана знаменитая гипотеза Субхаша Хота о пределах приближенных вычислений.
🧠 Как это возможно?
По данным OpenAI:
• Модель протестировали на ~4000 открытых задачах.
• Среднее время решения: ~3 часа в режиме «размышления» (reasoning).
• Часть доказательств уже формализована и проверена в Lean.
⚠️ НО! Важный нюанс:
Сама OpenAI предупреждает: работы без формальной верификации могут содержать ошибки. Компания обещает публиковать исправления, сохраняя предыдущие версии.
Что происходит прямо сейчас:
Лучшие математики мира в режиме нон-стоп изучают эти тексты. По данным Quanta Magazine, некоторые ученые в панике публиковали свои работы за считанные дни, чтобы их не обошел ИИ. Один из ведущих специалистов по Unique Games Conjecture признался: *"Мы почувствовали, что нас обгоняют"*.
💭 Это либо:
✅ Начало золотого века ИИ-науки, где машины решают проблемы, над которыми люди бились веками.
❌ Крупнейший стресс-тест для математического сообщества, которому теперь придется работать как ревьюверам у сверхмощного «джуна» с возможными галлюцинациями.
💬 Вопрос на засыпку:
Это реальный прорыв, который изменит науку навсегда, или мы столкнулись с лавиной математического «нейрослопа», который придется разгребать годами?