Будущее...оно уже с нами

Daywalker · 15 Фев 2021

Agra написал(а):
Афганский способо разминирования,который используется уже некоторое время.

Глупая штука.

oblivion_lost · Вторник в 17:48

Милитарист

Сообщают, что полиция Нью-Йорка стала применять робособак для патрулирования Бронкса

t.me

Ant · Вторник в 22:43

oblivion_lost написал(а):
Милитарист

Сообщают, что полиция Нью-Йорка стала применять робособак для патрулирования Бронкса

t.me

Британские ученые?

Alex_ii · Среда в 01:29

Ant написал(а):
Британские ученые?

Не, вот британских ученых пока для патрулирования Бронкса применить не удалось... А жаль, это было бы круче робособак...

Ant · Среда в 07:58

Alex_ii написал(а):
Не, вот британских ученых пока для патрулирования Бронкса применить не удалось... А жаль, это было бы круче робособак...

Отнюдь. Одного физика с монтировкой хватило бы.

philosoph'59 · Среда в 19:29

"СКУДОУМНАЯ МЕСТНОСТЬ!"
- так, по словам Валентина Катаева, когда-то выразился очень неоднозначный поэт Дмитрий Нарбут, он же чекист...
Мой дом - дурак? Клинический идиот. Дачка-дебилка. Райончик с придурью...
Москвичи будут против смены столицы? Пффф! Бегом побегут в новую...

Василий Головнин: Умный город Toyota Motor

Жилища в этом проекте решено строить из специально обработанного экологичного дерева, их оснастят всеми имеющимися сейчас видами роботов, призванных сделать быт максимально комфортным…

echo.msk.ru

semen_izdali · Четверг в 06:30

The Ramanujan Machine: Researchers have developed a 'conjecture generator' that creates mathematical conjectures

Using AI and computer automation, Technion researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing mathematical theorems. They have already used it to generate a number of previously unknown formulas...

phys.org

Исследователи из Техниона разработали «генератор гипотез», который создает математические предположения.
Почему это важно? До сих пор, компьютеры помогали в доказательствах геометрических, комбинаторных и других математических гипотез, проверяя множество вариантов и последовательно исключая все возможные случаи. Так была доказана гипотеза четырех красок, так была решена 500–летняя задача Кеплера о плотной упаковке шаров.
Сами гипотезы всегда были результатом догадок, предположений, предвидений. Эта область принадлежала только человеческому творческому уму. И вот мы видим робкую первую попытку проникновения искусственного интеллекта в эту человеческую область.

Мы не знаем, как быстро будет развиваться "математический искусственный интеллект," но мы знаем, что есть граница человеческого предвидения. Раньше или позже, компьютеры достигнут эту границу и перейдут ее.