Пенсионер-статистик решил знаменитую задачу в Microsoft Word. Эксперты проигнорировали её.

17 июля 2014 года Томас Ройен, немецкий статистик на пенсии, во время чистки зубов обнаружил способ доказательства неравенства гауссовой корреляции. Эта гипотеза более пятидесяти лет оставалась недоступной для специалистов. Он напечатал доказательство в Microsoft Word, разместил его в интернете и опубликовал в журнале, о котором большинство экспертов никогда не слышали. Более года это оставалось практически незамеченным. В этом видео: что говорит неравенство, объясненное с помощью дротика, идея, которая помогла его разгадать, пять признаков, которые делают правильное доказательство неверным, и почему это важно сейчас, когда ИИ создает доказательства быстрее, чем люди могут их прочитать. Разделы: 0:00 Доказательство, которое никто не заметил 0:52 Проблема, объясненная с помощью дротиков 1:38 Неравенство гауссовой корреляции 2:16 Почему это волновало статистиков 2:38 Лорен Питт и плоская стена 3:02 Тридцать лет и ложные доказательства 3:26 Кто такой Томас Ройен 3:53 Идея: ручка под названием C 4:47 Пять предупреждающих знаков 6:06 Три доказательства в одном электронном письме 6:41 Латала и Матлак проверяют это 7:09 Два года, чтобы проехать 65 миль 7:51 Почему результат важен 8:14 Когда хорошие фильтры дают сбой 8:50 ИИ и проблема чтения 9:27 Что сказал Ройен 9:44 Текущее положение дел