Компьютер создал математическое доказательство
Поворотный момент в истории человечества: Компьютер создал математическое доказательство, которое не в состоянии проверить ни один человек
Похоже, мы вплотную подходим к ключевой точке развития человеческой цивилизации. Мало того, что созданные нами машины обыгрывают лучших представителей человечества в шахматы, а роботы-хирурги с успехом заменяют человека при выполнении рутинных операций. Вот и ещё в одной сфере деятельности, которая считается привилегией титанов мысли – в математике – машина обошла нас.
Два математика из Ливерпульского университета, Великобритания, Алексей Лисица и Борис Конев, придумали интересную проблему – если компьютер приводит доказательство математической задачи, которое слишком велико для изучения, то как судить, насколько оно верное?
В своей статье, учёные описывают написание и запуск компьютерной программы для решения малой части задачи, известной как задача несоответствия Эрдеша.
Мы не будем вдаваться в математические дебри, только заметим, что математики, решая задачи, порой исписывают целые тома своими нетривиальными доказательствами. Любой, прошедший курс высшей математики, может это подтвердить.
Вполне понятно их стремление переложить на надёжные плечи машин генерацию наиболее приземлённых частей своего творчества.
Конечно, математиков терзали смутные сомнения, что когда-нибудь, в один из не самых прекрасных дней, компьютер будет работать очень долго, а результат его работы будет очень велик. И вот этот день настал.
Результат работы программы Лисицы и Конева поражает воображение – файл с текстом доказательства занимает объём в 13 гигабайт!
Это на два гигабайта больше, чем полный объём информации Википедии.
Теперь перед научным миром стоит диллема: либо принимать на веру доказательства, созданные машинами, как факт (хотя мы не в состоянии их проверить), либо отказаться от их использования, ограничивая тем самым наши возможности.
Похоже, мы вплотную подходим к ключевой точке развития человеческой цивилизации. Мало того, что созданные нами машины обыгрывают лучших представителей человечества в шахматы, а роботы-хирурги с успехом заменяют человека при выполнении рутинных операций. Вот и ещё в одной сфере деятельности, которая считается привилегией титанов мысли – в математике – машина обошла нас.
Два математика из Ливерпульского университета, Великобритания, Алексей Лисица и Борис Конев, придумали интересную проблему – если компьютер приводит доказательство математической задачи, которое слишком велико для изучения, то как судить, насколько оно верное?
В своей статье, учёные описывают написание и запуск компьютерной программы для решения малой части задачи, известной как задача несоответствия Эрдеша.
Мы не будем вдаваться в математические дебри, только заметим, что математики, решая задачи, порой исписывают целые тома своими нетривиальными доказательствами. Любой, прошедший курс высшей математики, может это подтвердить.
Вполне понятно их стремление переложить на надёжные плечи машин генерацию наиболее приземлённых частей своего творчества.
Конечно, математиков терзали смутные сомнения, что когда-нибудь, в один из не самых прекрасных дней, компьютер будет работать очень долго, а результат его работы будет очень велик. И вот этот день настал.
Результат работы программы Лисицы и Конева поражает воображение – файл с текстом доказательства занимает объём в 13 гигабайт!
Это на два гигабайта больше, чем полный объём информации Википедии.
Теперь перед научным миром стоит диллема: либо принимать на веру доказательства, созданные машинами, как факт (хотя мы не в состоянии их проверить), либо отказаться от их использования, ограничивая тем самым наши возможности.
Взято с bash.im
Комментарий к статье о выставке CES2014 на стенде компании Intel:
Сергей:
Ну не знаю как кто относится к управлению компьютером жестами, а я считаю эту технологию очень перспективной. И сценариев использования можно придумать вагон. Интелу на заметку (при внедрении моих жестов, прошу не забывать отчислять гонорар на мою карту):
- почесал пузо - открывается браузер с кулинарной страницей
- поковырял в носу - "хозяину" скучно, нужно запустить Ютуб
- замахнулся на экран с криками "чо за нах.." - запустить "диспетчер задач" и закрыть зависшее приложение
- пальцы веером/сопли пузырем - компьютер понимает кто тут главный и предоставляет права администратора
- надел свитер и достал пиво - пришел сисадмин, открыть управление сетями и общим доступом
- схватился за голову и судорожно бегает глазами по монитору - найти и открыть фаил "курсовая.doc"
- резко одернул одежду, положил правую руку на мышь, порозовели щеки - в комнату зашла мамка, свернуть окно с порнухой, найти и открыть фаил "курсовая.doc"
- машет тряпкой перед монитором - ничего не делать, чувак просто протирает пыль
- показал голую жопу - переустановка Винды...
Сергей:
Ну не знаю как кто относится к управлению компьютером жестами, а я считаю эту технологию очень перспективной. И сценариев использования можно придумать вагон. Интелу на заметку (при внедрении моих жестов, прошу не забывать отчислять гонорар на мою карту):
- почесал пузо - открывается браузер с кулинарной страницей
- поковырял в носу - "хозяину" скучно, нужно запустить Ютуб
- замахнулся на экран с криками "чо за нах.." - запустить "диспетчер задач" и закрыть зависшее приложение
- пальцы веером/сопли пузырем - компьютер понимает кто тут главный и предоставляет права администратора
- надел свитер и достал пиво - пришел сисадмин, открыть управление сетями и общим доступом
- схватился за голову и судорожно бегает глазами по монитору - найти и открыть фаил "курсовая.doc"
- резко одернул одежду, положил правую руку на мышь, порозовели щеки - в комнату зашла мамка, свернуть окно с порнухой, найти и открыть фаил "курсовая.doc"
- машет тряпкой перед монитором - ничего не делать, чувак просто протирает пыль
- показал голую жопу - переустановка Винды...
За взлом Windows 8.1 Microsoft даёт $ 100 000
"Хакер, обнаруживший уязвимости в этом ПО и сообщивший об этом в компанию, получит денежный приз. В ПО включается и Internet Explorer 11, который будет выпущен 26 июня. Подобные методы вознаграждения за нахождение неисправностей уже используются многими компаниями, выпускающими софт.
Чтобы отыскать проблему, нужно долгое время и терпеливый труд, да и среди компьютерщиков, распространяющих вредоносные программы можно выручить большие суммы за подобную информацию.
Поэтому денежные вознаграждения помогают решать проблему продажи нужной информации в плохие руки, а исследования в компании окупаются. Google, Mozilla, Facebook, Paypal, AT&T – компании, уже давно использующие подобную практику и привыкшие к ней.
Однако, для Microsoft это первый опыт – компания рассказала о системе трёх выплат. Первая выплата в размере 11 тысяч долларов достанется тому, кто за месяц после 26 июня сможет обнаружить достаточно важную уязвимость или несколько таких. Другие компании делают так же, но у них нет ограничения по времени, которое компания объясняет желанием решить проблемы ещё на бета-тестировании программы.
Человек, совершивший успешную хакерскую атаку на Windows 8.1 получит все 100 тысяч долларов. Ещё 50 тысяч отдадут программисту, сообщившему, как можно защититься от подобной атаки. Новые версии Windows и Internet Explorer появятся уже 26 числа, но поиск проблем в первом продукте не ограничивается временными рамками.
Это поможет компании обезопасить свою ОС, сильно ограничив возможности для взлома."
Чтобы отыскать проблему, нужно долгое время и терпеливый труд, да и среди компьютерщиков, распространяющих вредоносные программы можно выручить большие суммы за подобную информацию.
Поэтому денежные вознаграждения помогают решать проблему продажи нужной информации в плохие руки, а исследования в компании окупаются. Google, Mozilla, Facebook, Paypal, AT&T – компании, уже давно использующие подобную практику и привыкшие к ней.
Однако, для Microsoft это первый опыт – компания рассказала о системе трёх выплат. Первая выплата в размере 11 тысяч долларов достанется тому, кто за месяц после 26 июня сможет обнаружить достаточно важную уязвимость или несколько таких. Другие компании делают так же, но у них нет ограничения по времени, которое компания объясняет желанием решить проблемы ещё на бета-тестировании программы.
Человек, совершивший успешную хакерскую атаку на Windows 8.1 получит все 100 тысяч долларов. Ещё 50 тысяч отдадут программисту, сообщившему, как можно защититься от подобной атаки. Новые версии Windows и Internet Explorer появятся уже 26 числа, но поиск проблем в первом продукте не ограничивается временными рамками.
Это поможет компании обезопасить свою ОС, сильно ограничив возможности для взлома."