ИИ доказал девять открытых математических задач Эрдеша Правмир Новостная служба "Правмир" 9 октября 2026 в 16:54 Две из них оставались нерешенными больше полувека