GPT-5 опять решила какую-то открытую задачу по математике, но есть нюанс

В 20 веке жил такой известный математик Пал Эрдёш. Он был невероятно продовитым и за всю жизнь сформулировал сотни трудных и красивых проблем в различных областях математики – особенно в комбинаторике, теории чисел, теории графов, геометрии и теории вероятностей. Многие из этих задач остаются неразрешёнными до сих пор.

Так вот: есть специальный сайт https://www.erdosproblems.com, на котором энтузиасты публикуют задачи Эрдёша. Там в отдельных разделах перечислены решенные и нерешенные.

И вот кто-то додумался скормить одну из таких нерешенных проблем GPT-5. И моделька взяла и выдала решение.

Только вот, не свое. Вместо того, чтобы париться и рассуждать, она сперва полезла в Интернет, перерыла архивы и выяснила, что на самом деле в литературе уже существует доказательство.

То есть оказалось, что задачу, которую люди считали нерешенной, кто-то решил уже 20 лет назад. И первым, кто это заметил, стала GPT-5.