Математическое доказательство и большие деньги
Увидел в блоге у Питера Войта:
'Меня поразило, с каким размахом была развернута рекламная кампания вокруг малоизвестных математических исследований, имеющих весьма сомнительную, если вообще какую-либо практическую ценность. Почему большинство людей при встрече только и хотят говорить о том, как искусственный интеллект решил ряд задач Эрдёша?
Ответ на этот вопрос, как мне кажется, можно найти, заглянув на финансовые страницы газет. В сегодняшних выпусках New York Times или Wall Street Journal можно прочесть о грядущих IPO компаний OpenAI и Anthropic, которые, как ожидается, будут оцениваться в триллионы долларов. Сотни и сотни миллиардов долларов зависят от восприятия технологий этих двух компаний общественностью; это обстоятельство во многом объясняет, почему они тратят колоссальные ресурсы на доказательство гипотез Эрдёша и широкое освещение своих успехов.
Неотъемлемой частью этой истории является прием на работу выдающихся математиков и физиков, которым предлагают весьма высокие зарплаты (а также долю от прибыли, ожидаемой в результате триллионных IPO).'
Кстати, у Войта есть ссылку на появившийся ответ математиков БЯМам: 'Лейденская декларация об искусственном интеллекте и математике'.
К теме: Изменчивая природа математического доказательства
no subject
no subject
no subject
Помню как меня поразило "доказательство" о возможности раскрашивания любой карты всего четырьмя цветами. Мошенники проанализировали с помощью компьютера 2000 произвольных карт, выяснили что для них четырёх цветов достаточно, сказали что любая карта сводится к этим двум тысячам.
Подозреваю что и "дрказательства" задач Эрдеша (а это задачи чисел) того же свойства: простой перебор и много пустой болтовни.