Сможет ли AI решить математическую проблему тысячелетия?

Два друга-математика поспорили, решит ли AI одну из математических проблем тысячелетия до конца лета.

Скептик ничего не делал и занимался своими делами.
Энтузиаст пробовал через LLM доказывать всякие разные теоремы. И опроверг таким методом гипотезу Диница-Гарга-Гоеманса. Буквально просил GPT "думай ещё", ничего другого не делал.

Гипотеза — конечно, не "проблема тысячелетия", но вполне уважаемая задача. Для большинства живых математиков была бы венцом карьеры. А до конца лета осталось ещё 39 дней.

P.S.: история подлинная, о споре мне рассказал скептик из первых рук.

Подробнее о доказательстве, например, тут: https://eu.36kr.com/en/p/3907657849361795