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