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