Липсон и Шмидт сравнивают свою программу с оракулом.

Как работает программа
Подбирать не только параметры известных соотношений, но и настоящие аналитические функции, компьютеры научились не сегодня. Как правило, такие формулы представляются компьютером в виде графа (см. врез)....

Ответ на частный вопрос о выпускниках должен проясниться по ситуации на рынке труда физиков в ближайшие 10–20 лет. А возможно, не только физиков. Как рассказали учёные в ходе телефонной пресс-конференции, они выбрали механику для проверки своего алгоритма как раз по той причине, что там всё более или менее понятно.

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

В числе таких отраслей знания Липсон и Шмидт назвали астрономию, биологию и социальные науки.

По признанию Липсона и Шмидта, они уже попробовали применить свой алгоритм к биологическим данным, описывающим обмен различных веществ в клетке. И выявились не только хорошо знакомые биологам химические реакции, но и какие-то странные соотношения. По словам учёных, новые закономерности уверенно предсказывают обмен веществ во всё новых и новых экспериментах, устроенных для их проверки, однако их не могут объяснить специалисты по клеточному метаболизму, с которыми удалось пообщаться. Впрочем, сообщить подробности этих исследований корнельские специалисты отказались, сославшись на подготовку новой работы на этот счёт.

Более того, когда программе разрешили доступ к соотношениям, описывающим простой, одиночный маятник, время вычислений сократилось почти на порядок.

Алгоритм приспособил выражения для простой системы, соорудив из них совсем не тривиальные соотношения, описывающие поведение системы сложной.

Иными словами, она может идентифицировать и важные механические величины, которых в исходных данных нет. Как пишут учёные, эти величины несложно сделать «алфавитом» её физического языка, который может развиваться при решении одной проблемы за другой. Правда, она не умеет придумывать им красивые названия вроде «энергии» или «момента импульса». Но неужели наше отличие от компьютерного алгоритма укладывает в рамки примитивного номинализма?