Сьогодні відзначається важливою віхою для ШІ та математики. Хоча Арістотель та інші інструменти за останні місяці досягли значного прогресу у вирішенні проблем Ердоша, завжди існували деякі дратівливі застереження. Сьогодні перший автономний AI генерував / формалізував задачу Ердоса, використовуючи комбінацію Арістотеля та GPT 5.2 Pro. Перший із багатьох.