Математический прорыв OpenAI оказался под угрозой: учёные обнаружили расхождения в доказательстве задачи на миллион долларов
Громкое заявление OpenAI о решении одной из самых сложных математических задач в мире столкнулось с новыми вопросами. Исследователи обнаружили расхождения между текстовым объяснением доказательства и его формальной версией на языке Lean. Теперь учёным предстоит выяснить, действительно ли искусственный интеллект решил задачу тысячелетия или в представленном результате есть ошибки.