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