Когда компьютеры пишут доказательства, в чем смысл математиков Quanta Magazine

Uploaded By: Myvideo

Published on

29 Dec 2024

1 view

0

0 votes

0

About Share Download Add to

Оригинальное название: When Computers Write Proofs, What’s the Point of Mathematicians? Ссылка на оригинальное видео: Дата публикации оригинала: 31 августа 2023 г. Переведенное описание: Эндрю Грэнвилл знает, что искусственный интеллект глубоко изменит математику. Язык программирования Lean уже играет роль в доказательстве теорем. Вот почему теоретик чисел из Монреальского университета начал беседовать с философами о природе математических доказательств и о том, как математическая дисциплина может развиваться в эпоху искусственного интеллекта. Полную версию статьи читайте в журнале Quanta Magazine: Насколько близки компьютеры к автоматизации математических рассуждений? - ПОСЕТИТЕ наш сайт: - ПОСТАВЬТЕ нам НРАВИТСЯ на Facebook: - СЛЕДУЙТЕ за нами в Твиттере: Журнал Quanta — редакционно независимое издание, поддерживаемое Фондом Саймонса: #математика #доказательство #информатика

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/eEpSaFNOdWVISit0OVhLMFpUZ2JFNnZnQTdKODNXam1oWTRseGlGRHZnQT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Калашист из CS:GO зашёл в CS2 / ФрагМувик / Эдит / Gesus Dallas

42 minutes ago

00:03:57

Калашист из CS:GO зашёл в CS2 / ФрагМувик / Эдит / Gesus Dallas

3 75%

Всё ещё лучший новогодний стол, который когда-либо видело человечество

3 hours ago

00:00:18

Всё ещё лучший новогодний стол, который когда-либо видело человечество

1.9K 81%

Неоконченный танец, 1947 (The Unfinished Dance), реж. Генри Костер (дорожка с рус. озв. перекл.на компьютерной версии ВКонтакте)

5 hours ago

01:40:51

Неоконченный танец, 1947 (The Unfinished Dance), реж. Генри Костер (дорожка с рус. озв. перекл.на компьютерной версии ВКонтакте)

4 78%

. Аура Субботы | Электрические приборы (1) | Глава 23 | Раввин Лев Лэйб Лернер

5 hours ago

01:38:36

. Аура Субботы | Электрические приборы (1) | Глава 23 | Раввин Лев Лэйб Лернер

7 76%

Шахматы - это Круто Магнус Карлсен - Ян Непомнящий | Чемпионат мира по блицу 2024 | Финал | Шахматы

6 hours ago

00:07:36

Шахматы - это Круто Магнус Карлсен - Ян Непомнящий | Чемпионат мира по блицу 2024 | Финал | Шахматы

185 64%

Край света (2019)

7 hours ago

01:34:30

Край света (2019)

2.7K 17%

Шахматы - это Круто Карлсен вернулся! Чемпионат мира по блицу 2024 | Магнус Карлсен - Александр Шиманов | Шахматы

10 hours ago

00:05:05

Шахматы - это Круто Карлсен вернулся! Чемпионат мира по блицу 2024 | Магнус Карлсен - Александр Шиманов | Шахматы

7 76%

УПРАЖНЕНИЯ С ГАНТЕЛЯМИ В ДОМАШНИХ УСЛОВИЯХ ОТ ЮРИЯ СПАСОКУКОЦКОГО

14 hours ago

00:02:04

УПРАЖНЕНИЯ С ГАНТЕЛЯМИ В ДОМАШНИХ УСЛОВИЯХ ОТ ЮРИЯ СПАСОКУКОЦКОГО

2 64%

Клуб DNS Несколько Мониторов Для Работы | Варианты подключения и нюансы настройки

17 hours ago

00:04:39

Клуб DNS Несколько Мониторов Для Работы | Варианты подключения и нюансы настройки

8 83%

Новый проспект | Бизнес и политика Что будет, если Россию отключат от глобального интернета

18 hours ago

00:06:13

Новый проспект | Бизнес и политика Что будет, если Россию отключат от глобального интернета

4 46%

КОМПАКТНЫЕ ВИДЕОРЕГИСТРАТОРЫ РАДАР ДЕТЕКТОР 3 В 1

19 hours ago

00:01:09

КОМПАКТНЫЕ ВИДЕОРЕГИСТРАТОРЫ РАДАР ДЕТЕКТОР 3 В 1

1 7%

ПРИЛОЖЕНИЕ ГДЕ МОЖНО ЗАРАБАТЫВАТЬ ДЕНЬГИ БЕЗ ВЛОЖЕНИЙ КАКИМИ СПОСОБАМИ МОЖНО ЗАРАБАТЫВАТЬ В ИН

19 hours ago

00:01:18

ПРИЛОЖЕНИЕ ГДЕ МОЖНО ЗАРАБАТЫВАТЬ ДЕНЬГИ БЕЗ ВЛОЖЕНИЙ КАКИМИ СПОСОБАМИ МОЖНО ЗАРАБАТЫВАТЬ В ИН

1 60%

Regamma Затопление Орбитальной станции МИР. Хроника новостей. Часть I

20 hours ago

01:13:49

Regamma Затопление Орбитальной станции МИР. Хроника новостей. Часть I

14 42%

ВИДЕОРЕГИСТРАТОР С МОНИТОРОМ НА 4 КАМЕРЫ ВИДЕОРЕГИСТРАТОР КУПИТЬ ХОРОШИЙ И НЕДОРОГОЙ В МОСКВЕ

1 day ago

00:01:09

ВИДЕОРЕГИСТРАТОР С МОНИТОРОМ НА 4 КАМЕРЫ ВИДЕОРЕГИСТРАТОР КУПИТЬ ХОРОШИЙ И НЕДОРОГОЙ В МОСКВЕ

1 5%

Можно ли ехать, если забыл права дома. Рассказываю подробно.

1 day ago

00:03:50

Можно ли ехать, если забыл права дома. Рассказываю подробно.

7 61%

РЕГИСТРАТОР ЯНДЕКС МАРКЕТ КАК ПРОСМОТРЕТЬ ЗАПИСЬ НА РЕГИСТРАТОРЕ

1 day ago

00:01:09

РЕГИСТРАТОР ЯНДЕКС МАРКЕТ КАК ПРОСМОТРЕТЬ ЗАПИСЬ НА РЕГИСТРАТОРЕ

4 23%

Зефирка MVP ПОDКАСТ #7 Кемиран SunsetLover про детство, отношения, любимую еду и нужные подарки.

1 day ago

02:00:00

Зефирка MVP ПОDКАСТ #7 Кемиран SunsetLover про детство, отношения, любимую еду и нужные подарки.

6 80%

Шахматы - это Круто Борис Спасский жертвует СЛОНА в защите Каро-Канн! Шахматы

1 day ago

00:05:25

Шахматы - это Круто Борис Спасский жертвует СЛОНА в защите Каро-Канн! Шахматы

15 51%

Удаленная работа с графикой Как зарабатывать 500 000 рублей в месяц

1 day ago

00:02:18

Удаленная работа с графикой Как зарабатывать 500 000 рублей в месяц

2 49%

Задача Хаббла: он снова в строю после паники по поводу гироскопов НАСА все еще изучает варианты перезагрузки. NASASpaceNews

1 day ago

00:09:07

Задача Хаббла: он снова в строю после паники по поводу гироскопов НАСА все еще изучает варианты перезагрузки. NASASpaceNews

1 94%

ЗАРАБОТОК БЕЗ БУКСОВ

1 day ago

00:01:15

ЗАРАБОТОК БЕЗ БУКСОВ

1 88%

КАК НАЧАТЬ ЗАРАБОТАТЬ В ИНСТАГРАМЕ СЛИВ ИНТЕРНЕТ ЗАРАБОТКОВ

1 day ago

00:01:15

КАК НАЧАТЬ ЗАРАБОТАТЬ В ИНСТАГРАМЕ СЛИВ ИНТЕРНЕТ ЗАРАБОТКОВ

2 61%

Фитнес домашний тренер Упражнения дома для сброса веса

2 days ago

00:02:04

Фитнес домашний тренер Упражнения дома для сброса веса

3 71%

Sho me регистратор с радаром Купить авторегистратор в красноярске недорого

2 days ago

00:01:09

Sho me регистратор с радаром Купить авторегистратор в красноярске недорого

3 77%

0 Comments

Guest