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