Тимоти Гауэрс: «Доказать то, чего не могут доказать LLM»
· Наука · филдсовский лауреат — о том, что ChatGPT за час сделал исследование уровня диссертации
оригинал
“The lower bound for contributing to mathematics will now be to prove something that LLMs can't prove, rather than simply to prove something that nobody has proved up to now and that at least somebody finds interesting.”— Тимоти Гауэрс, gowers.wordpress.com, 08.05.2026 ↗
перевод
«Нижняя планка вклада в математику теперь — доказать то, чего не могут доказать LLM, а не просто доказать то, чего до сих пор никто не доказал и что хоть кому-то интересно.»
подкрепляет
Большая языковая модель+Обучение с подкреплением → ИИ в математике (2024)
проверка
✓ сверено с первоисточником
Оригинал приводится дословно и только фрагментом — ровно столько, сколько нужно для смысла; «[…]» — пропуск. Перевод наш.
¶ c6efm7fk5