насколько продвинулись экспертные системы в математике ?

[itmanager85]

мне просто интересно , насколько продвинулись экспертные системы в математике ?

т.е. человек же руководствуется логикой при выработке доказательства . логика эта должна быть достаточно чёткой , чтобы её можно было алгоритмически формализовать .

а тогда все существующие доказательства можно привести к одной экспертной системе , которая смогла бы находить любое доказательство из существующих возможных логических посылов [используемых при нахождении каждого конкретного доказательства]. понятно , что это утопия . но , всё же интересно насколько это возможно ?

интересно , какие есть препятствия на пути реализации такой экспертной системы ? [масштаба нахождения доказательств аналогичных, напр., доказательству Перельмана]

напр., можете привести пример задачи , которая требует графического представления и которое может интерпретировать только человек [необходимое для выроботки решения] ?

[Sphinx Pinastri]

Выбор "Мисс Вселенной"

[Deggial]

Тема перемещена из форума «Дискуссионные темы (М)» в форум «Карантин»
Причина переноса: доработка по просьбе ТС

Тема перемещена из форума «Карантин» в форум «Дискуссионные темы (М)»
вернул