ИИ OpenAI решил 80-летнюю задачу Эрдёша — и на этот раз математики согласны

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