Sztuczna inteligencja DeepMind po raz pierwszy w historii znalazła nowe rozwiązanie złożonego problemu matematycznego

DeepMind wykorzystał technologię Large Language Model (LLM) do znalezienia nowego rozwiązania tak zwanej "zagadki wielokrotnego pokrycia", jednego z najtrudniejszych nierozwiązanych problemów matematycznych.

Co wiadomo

Problem ten polega na określeniu maksymalnej liczby punktów na płaszczyźnie, które mogą być połączone liniami w taki sposób, że żadne trzy punkty nie leżą na tej samej linii. Rozwiązanie tej zagadki jest poszukiwane od kilkudziesięciu lat, ale tylko dla małych zbiorów punktów.

Model DeepMind, nazwany FunSearch, po raz pierwszy odkrył nowe wzory dla dużych zbiorów, znacznie wykraczające poza wszystko, co było wcześniej znane. To naukowe odkrycie było możliwe dzięki połączeniu modelu językowego PaLM 2 firmy Google i automatycznego systemu sprawdzania faktów.

Chociaż LLM nie rozwiązał problemu raz na zawsze, odkrył nowe fakty dla nauki, twierdzą naukowcy.

Według twórców jest to pierwsze potwierdzone odkrycie w matematyce dokonane przy pomocy sztucznej inteligencji. Może to zapoczątkować nową erę w rozwoju sztucznej inteligencji i matematyki.

Źródło: The Next Web