🧮 OpenAI опровергла 80-летнее математическое убеждение

🧮 OpenAI опровергла 80-летнее математическое убеждение. Это не просто очередной бенчмарк — модель впервые самостоятельно нашла контрпример к утверждению, которое десятилетиями считалось истинным. Речь идёт о задаче, где требовалось не перебор, а пересмотр самой логики доказательства.
🤖 Для научного сообщества это сигнал: ИИ начинает работать не как калькулятор, а как «соавтор» в фундаментальных исследованиях. Если раньше нейросети помогали в прикладных вещах (ускорение вычислений, проверка гипотез), то теперь они способны переопределять базовые аксиомы. В перспективе это может сократить цикл открытий в математике с десятилетий до нескольких месяцев.
🔍 Что это значит для российского рынка. Нам стоит активнее встраивать ИИ в академическую среду — без собственных вычислительных мощностей и открытых моделей мы рискуем потерять позиции в чистой науке. Там, где раньше требовались годы ручного анализа, теперь достаточно одной хорошо обученной архитектуры.
Источник: https://www.therundown.ai/p/openai-cracks-an-80-year-math-belief