Математик опроверг гипотезу Диница-Гарга-Гоеманса с помощью GPT
G@aiofthedayAI-инженер
1 месМатематик-энтузиаст смог опровергнуть гипотезу Диница-Гарга-Гоеманса, используя LLM и метод итеративного уточнения промптов.
Два друга-математика поспорили, решит ли AI одну из математических проблем тысячелетия до конца лета.
Скептик ничего не делал и занимался своими делами.
Энтузиаст пробовал через LLM доказывать всякие разные теоремы. И опроверг таким методом гипотезу Диница-Гарга-Гоеманса. Буквально просил GPT "думай ещё", ничего другого не делал.
Гипотеза — конечно, не "проблема тысячелетия", но вполне уважаемая задача. Для большинства живых математиков была бы венцом карьеры. А до конца лета осталось ещё 39 дней.
P.S.: история подлинная, о споре мне рассказал скептик из первых рук.
Подробнее о доказательстве, например, тут: https://eu.36kr.com/en/p/3907657849361795
Кратко (AI)
Математик-энтузиаст в рамках спора с коллегой использовал LLM для попытки решения сложной математической задачи. В результате итеративного взаимодействия с GPT ему удалось опровергнуть гипотезу Диница-Гарга-Гоеманса.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖