Maszyna odkrywa prawa natury

Zdaniem ekspertów poświęcony temu osiągnięciu artykuł opublikowany w magazynie "Science" może jako pierwszy spełniać warunki niezbędne do przyznania ustanowionej w latach 80. nagrody Leibniza. Mają nią być honorowane "automatyczne dowody" twierdzeń matematycznych.

Wybór systemu wahadeł jako przedmiotu obserwacji nie jest z całą pewnością przypadkowy: ruchy połączonych ze sobą wahadeł stanowią materiał do analizy dla naukowców zajmujących się teorią chaosu. Nadmierna liczba czynników wpływających na obserwowany układ sprawia trudności przy formułowaniu weryfikowalnych zasad działania całości. Połączenie umiejętności gromadzenia danych obserwacyjnych ze zdolnością do wyprowadzania wniosków o istniejących między nimi związkach była uważana dotychczas za wyłączną cechę ludzkiego umysłu. Zautomatyzowanie takiego procesu otwierałoby nowe furtki przed nauką i doprowadziłoby do poznawczego przełomu. Indagowany przez magazyn Wired Lipson stwierdził: "Jednym z największych problemów współczesnej nauki jest odkrywanie reguł tam, gdzie wprawdzie dysponujemy olbrzymimi ilościami danych obserwacyjnych, ale zarazem napotykamy na luki w teorii. Po prostu nie wiemy, jak pewne rzeczy działają. (...) Myślę, że to może być narzędzie, które coś zmieni w tej materii".

wydanie internetowe www.heise-online.pl