evgenii_rudnyi: (Default)
Evgenii Rudnyi ([personal profile] evgenii_rudnyi) wrote2026-06-03 04:00 pm

Математическое доказательство и большие деньги

Увидел в блоге у Питера Войта:

'Меня поразило, с каким размахом была развернута рекламная кампания вокруг малоизвестных математических исследований, имеющих весьма сомнительную, если вообще какую-либо практическую ценность. Почему большинство людей при встрече только и хотят говорить о том, как искусственный интеллект решил ряд задач Эрдёша?

Ответ на этот вопрос, как мне кажется, можно найти, заглянув на финансовые страницы газет. В сегодняшних выпусках New York Times или Wall Street Journal можно прочесть о грядущих IPO компаний OpenAI и Anthropic, которые, как ожидается, будут оцениваться в триллионы долларов. Сотни и сотни миллиардов долларов зависят от восприятия технологий этих двух компаний общественностью; это обстоятельство во многом объясняет, почему они тратят колоссальные ресурсы на доказательство гипотез Эрдёша и широкое освещение своих успехов.

Неотъемлемой частью этой истории является прием на работу выдающихся математиков и физиков, которым предлагают весьма высокие зарплаты (а также долю от прибыли, ожидаемой в результате триллионных IPO).'

Кстати, у Войта есть ссылку на появившийся ответ математиков БЯМам: 'Лейденская декларация об искусственном интеллекте и математике'.

К теме: Изменчивая природа математического доказательства
chaource: (Default)

[personal profile] chaource 2026-06-03 03:33 pm (UTC)(link)
Ничего не понялъ въ Лейденской декларацiи. А у Войта только понялъ, что онъ не одобряетъ. Но онъ много чего не одобряетъ.
nravov: (Default)

[personal profile] nravov 2026-06-05 08:30 pm (UTC)(link)
Сейчас понятие о доказательстве на чрезвычайно низком уровне.

Помню как меня поразило "доказательство" о возможности раскрашивания любой карты всего четырьмя цветами. Мошенники проанализировали с помощью компьютера 2000 произвольных карт, выяснили что для них четырёх цветов достаточно, сказали что любая карта сводится к этим двум тысячам.

Подозреваю что и "дрказательства" задач Эрдеша (а это задачи чисел) того же свойства: простой перебор и много пустой болтовни.
Edited 2026-06-05 20:31 (UTC)