Сегодня знаменует собой важную веху для ИИ и математики. Хотя Аристотель и другие инструменты добились огромного прогресса в решении проблем Эрдеша в последние месяцы, всегда были некоторые раздражающие оговорки. Сегодня был представлен первый автономно сгенерированный ИИ / формализованный вопрос Эрдеша, с использованием комбинации Аристотеля и GPT 5.2 Pro. Первый из многих.