23-летний энтузиаст Лиам Прайс с помощью ChatGPT Pro нашел решение математической задачи №1196, связанной с примитивными множествами (наборами чисел, где ни одно не делится на другое нацело). Над этой задачей, сформулированной Палом Эрдешем, математики бились более 60 лет. ИИ выдал решение в течение 80 минут, предложив неожиданный метод из смежной области математики, который ранее не рассматривался людьми из-за неких «ментальных блоков» в человеческом мышлении. Хотя предложенное нейросетью доказательство было «сырым» и требовало доработки экспертами, ключевая идея оказалась рабочей. Известный математик Теренс Тао вместе с коллегами помог выделить суть из выводов модели и доработать решение. Ученые отмечают, что ИИ может стать «навигатором» для поиска решений в других сложных научных задачах. Подробнее в Scientific American.