Even so, visionary AI researchers w

Even so, visionary AI researchers working away from the mainstream have pulled off some striking achievements, using techniques hand-crafted for the task. Herbert Simon's 1957 prediction that a computer would make a mathematical discovery came to pass 20 years later, when a logic-based program named AM, developed by Douglas Lenat at Stanford University, discovered that every even number greater than four seemed to be the sum of two odd primes. In fact, AM had been pipped to this discovery by the Prussian mathematician Christian Goldbach in the 18th century; nevertheless the rediscovery of "Goldbach's Conjecture" by AM caused a stir within the AI community.

Результаты (русский) 2:

Тем не менее, с богатой фантазией исследователи ИИ, работающих от мейнстрима уже снял некоторые поразительные достижения, используя методы ручной для этой задачи. Герберт Саймон в 1957 году предсказание, что компьютер будет сделать математическое открытие случилось 20 лет спустя, когда программа на основе логики имени А.М., разработанная Дуглас Ленат Стэнфордского университета, обнаружил, что каждый четное число, большее четыре, казалось, сумма два нечетных простых чисел. На самом деле, А. М. были обогнал к этому открытию прусской математике Кристиан Гольдбаха в 18 веке; тем не менее, повторное открытие "Проблема Гольдбаха" АМ отличился в сообществе AI.

Результаты (русский) 3:

Даже с тем, дальновидной AI исследователи, работающие от учета, снять некоторые из самых ярких достижений, с помощью методов ручной для задачи. Герберт Саймон в 1957 году прогноз о том, что компьютер будет математические discovery с 20 лет позднее, когда логика программы на базе с именем AM, развитых в Дуглас Lenat в Стэнфордском университете,Обнаружено, что каждое четное число больше, чем четыре, по-видимому сумма двух нечетных наполняет. По сути, это были pipped для этого открытия в прусскую математик христианской теории в 18-м веке; тем не менее нового осознания своей "теории гипотезе" AM вызвали большой резонанс в AI сообщества.