запуск завтра
о каналепоиск

математика

OpenAI опубликовали решения 372 открытых математических задач, которые десятки лет не могли решить ученые-математики.

1. Очень прикольная теория заговора, что там подозрительно мало задачек по криптографии. (Если мы посмотрим научные журналы начала прошлого века, то обнаружим, что в 1940 все публикации на тему ядерного распада прекратились. Но не потому, что исследований не было, совсем даже наоборот) Всё современное шифрование, включая криптовалюты, держится на нескольких десятках математических предположений. Причем часто мы не то, что доказали, что их нельзя взломать, просто самые умные люди в этой области попытались придумать, как их взломать и не нашли.

2. А свежие публикации OpenAI показывают, что машина порой использует «инопланетные приемы» (как знаменитый 37-й ход AlphaGo). То есть движется к решению не тем путем, каким обычно идут люди.

3. При этом, множество решений и доказательств «уродливые», не элегантные, людям потребуется много времени и усилий, чтобы проверить и понять построения машин. Если бы статьи такого качества прислал человек — их бы почти наверняка не стали бы публиковать. И вообще, открытые задачи в математике — это что-то вроде маяков на берегу, к которым ты идешь по прекрасным холмам, изучая окрестности. Большой ли смысл прилететь туда на вертолете?

4. Реакции математиков на анонс очень разные — от энтузиазма (там могут быть столько новых идей!) до депрессии (они за день уничтожили мою область исследований). Вот довольно занимательный сборник 100+ реакциий.

❧

Вообще, почти у всех не-математиков очень извращенное понимание, что такое математика. Такое ощущение, что школа и универ всеми силами пытаются привить ненависть к этому искусству, и для этого скрывают его суть.

Статья Пола Локхарда «Плач математика», ясно показывает (и даже дает почувствовать), что в школьной «математике» нет ни капли настоящей математики и какая она на самом деле красивая, простая и увлекательная.

Особенно рекомендую её тем, кто считает, что он «гуманитарий», и кто ненавидит математику ещё со школы. По математическому обряду, она везде в PDF, который невозможно нормально читать с телефона, так что собрал страничку для удобного чтения: английский оригинал и хороший перевод. Рекомендую!

🎙 Нужна ли математика программисту? Разбираемся с гендиром Яндекса в России Еленой Буниной.

Мы с гостями подкаста много раз отвечали на вопрос, нужно ли знать математику и иметь университетское образование, чтобы заниматься программированием. Но вопросы все равно не заканчиваются и пора разобраться, что в IT про математику, а что — про смекалку и ясность ума.

Идеальный герой: знает что такое математика (потому что то что в школе и в массовом сознании — это совсем не про математику) и понимает, какие задачи решают разные программисты — нужен широкий взгляд на разработку.

Лена — именно такой гость. Профессор мехмата МГУ, она занимается настоящей современной математикой. Ещё Лена — руководитель крупнейшей IT-компании России. А ещё она очень просто обьясняет сложные штуки и не стесняется делиться историями из своей жизни. ❤️

⚡️ слушайте и подписывайтесь: Apple, Google, Castbox, Spotify, Яндекс, Overcast, веб-версия.

Закончим день хорошей новостью: анонимус доказал новую нижную оценку длины строки, включающей в себя все перестановки N элементов (superpermutation). Копия оригинального треда с 4chan, пересказ в fandom wiki /sci, более формальный пересказ в почтовой рассылке и наконец аккуратная pdf от Jay Pantone.

Друзья подсказывают, что это просто Перельману надоело лишнее внимание и топология (а ещё он, судя по всему, любит аниме).

Эдуард Лернер — папа моего школьного товарища, крутого безопасника Эмиля Лернера.

Эдуард Юльевич профессиональный математик. Он читал нам лекции (про случайные блуждания пьяницы домой) в летней математической школе Квант на берегу Волги, когда я был в 7 классе — это год 2004, наверное. С тех пор я от Эдуарда Юльевича ничего не слышал.

4 дня назад, в понедельник, на мою личную почту приходит письмо, где ЭЮ предлагает Медузе три математические задачи. Письмо вызывает ожидаемую ажитацию редакции в слеке. Самое крутое, что Катя Кронгауз мгновенно говорит, что это игра, а главред Ваня даёт добро. Катя заказывает иллюстрации, ЭЮ переписывает решения более простым языком и вот уже сегодня серьезные математические задачи на главной Медузы!

https://meduza.io/feature/2018/03/16/faktorial-programmy-navalnogo-i-neprilichno-dolgoe-pravlenie

TEAMWORK