ChatGPT, Deepseek, Gemini и Claude Code глазами Александра Горного
IT и технологии · 24 июля 2026 г.
Два друга-математика поспорили, решит ли AI одну из математических проблем тысячелетия ... — 24 июля 2026 г. в 06:09:57.661
Два друга-математика поспорили, решит ли AI одну из математических проблем тысячелетия до конца лета. Скептик ничего не делал и занимался своими делами. Энтузиаст пробовал через LLM доказывать всякие разные теоремы. И опроверг таким методом гипотезу Диница-Гарга-Гоеманса. Буквально просил GPT "думай ещё", ничего другого не делал. Гипотеза — конечно, не "проблема тысячелетия", но вполне уважаемая задача. Для большинства живых математиков была бы венцом карьеры. А до конца лета осталось ещё 39 дней. P.S.: история подлинная, о споре мне рассказал скептик из первых рук. Подробнее о доказательстве, например, тут: https://eu.36kr.com/en/p/3907657849361795