Предвестник уровня 4? Модель OpenAI помогла оспорить 80-летнюю математическую гипотезу

Модель общего назначения от OpenAI успешно оспорила математическое предположение, существовавшее 80 лет. Это важный сигнал, что передовые ИИ-системы начинают активно участвовать в создании нового научного знания, а не просто обрабатывать данные. Если доказательство подтвердится, это станет вехой в развитии рассуждающих моделей.