Автоматизований інструмент відкриттів на базі ШІ успішно розв’язав багаторічну математичну проблему, поставлену Полом Ердешем, виявивши неочікуваний член у межах теорії простих чисел на графах. Це досягнення демонструє, як співпраця між ШІ та математиками-людьми може виявити складні структурні закономірності.