ИИ OpenAI справился с нерешённой математической задачей 80-летней давности

OpenAI похвалилась, что её ИИ-модель смогла доказать несостоятельность одной известной нерешённой геометрической гипотезы. Эту задачу впервые сформулировал математик Пол Эрдёш ещё в 1946 году. Это, кстати, не первое громкое заявление OpenAI. Семь месяцев назад бывший вице-президент компании заявил, что модель GPT-5 решила сразу несколько задач Эрдёша. Позже выяснилось, что ИИ не решил новые задачи, а просто нашёл уже существующие решения в старых научных работах. Тогда пост пришлось удалить.