Математика надто щедро винагороджує доведення — гість у блозі Теренса Тао

У гостьовому пості, опублікованому в блозі Теренса Тао 18 вересня, математик і відео-есеїст Ґрант Сандерсон твердить, що математика надто щедро кредитує доведення і надто мало — працю, яка робить ідеї зрозумілими. Його пропозиція: «мотивовані пояснення» — робота, що відповідає на питання «як до цього можна було дійти?» — мають отримувати академічне визнання, порівнянне з новим доведенням відкритої проблеми.

Проксі, який втрачає силу

Сандерсон починає з настрою, який, за його словами, широко панує серед математиків: доведення теорем завжди було проксі справжньої мети — примноження людського розуміння. Коли доведення можна генерувати без цього розуміння, проксі втрачає силу, і постає питання, що має його замінити. Жанри він порівнює прямо: у доведенні означення стоять на початку, і кожне твердження випливає з попереднього, а в мотивованому поясненні означення з'являються в середині — лише після того, як проблему сформульовано. Такі розповіді він пов'язує з терміном Майкла Нільсена «фікція відкриття» і визнає, що правильність пояснення не бінарна так, як правильність доведення. Для мотивованих пояснень Lean не існуватиме ніколи, пише він.

Приклади, старші за дискусію

Його приклади навмисно давні: частина IV книжки Princeton Companion to Mathematics за редакцією Тімоті Ґоверса та поняття Тімоті Чау «відкрита проблема викладу» — тема, яку ще треба пояснити так, щоб кожен крок був умотивованим і ясним.

Справа Ердеша 1196

Найсвіжіший приклад найближчий до суперечки. У квітні Ліам Прайс подав розв'язок проблеми Ердеша 1196 — гіпотези про асимптотичні примітивні множини, — який отримав у взаємодії з GPT-5.4 Pro. Доведення існувало, а розуміння — ні: Нет Сотанапхан і Джаред Ліхтман розібрали підхід ШІ та привели аргумент до читабельної форми. У травні група, до якої увійшли Борис Алексєєв, Джаред Дукер Ліхтман і Теренс Тао, опублікувала статтю, що розширила ключову ідею і прояснила як початкову, так і кілька суміжних проблем.

Що мало б змінитися

Його пропозиції конкретні. Аспірантові можна доручити не писати розв'язок, а представити його як доповідь — маленькі проблеми як маленькі захисти; провідна постать могла б скласти сучасний аналог проблем Гільберта, присвячений результатам, які мають доведення, але мало розуміння. Журнали могли б зосередитися на тому, щоб результати ставали ширше зрозумілими, а найм і тенуре — більше цінувати підручники, в дусі премії AMS Steele за виклад, але на масштабі початкової кар'єри.

Завершує він іміджем галузі. Багато студентів бояться йти в математику через машини, що генерують доведення, проте галузь у зміні — найцікавіше місце для входу, якщо зміна відчувається усвідомленою, а не нав'язаною. Помітні дії лідерів переконали б новачків, що математика не залежить від того, які суб'єкти виробляють доведення.