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