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

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

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

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