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