Изследователи документираха как усъвършенствана система за автоматизирано разсъждение успешно генерира формално математическо доказателство за дългогодишната хипотеза за двойното покритие с цикли. Този пробив демонстрира нарастващите способности на изкуствения интелект при справянето със сложни теоретични проблеми, които преди бяха ограничени до академичните изследвания на хора.