OpenAI udostępniło rozwiązanie problemu milenijnego Naviera-Stokesa opracowane przez system AI, wraz z pełnym artykułem naukowym i formalnym dowodem zweryfikowanym w asystencie dowodzącym Lean. Problem Naviera-Stokesa, dotyczący fundamentalnych równań ruchu płynów, od prawie dwóch wieków opiera się wysiłkom matematyków i pozostaje jednym z siedmiu problemów milenijnych Instytutu Clay'a, za którego rozwiązanie przewidziana jest nagroda miliona dolarów.
To osiągnięcie jest ważne, ponieważ pokazuje rosnące możliwości AI w zakresie zaawansowanego rozumowania matematycznego i automatycznego dowodzenia twierdzeń. Nie tylko system wygenerował potencjalne rozwiązanie, ale jego pracę zweryfikowano formalnie przy użyciu Lean - asystenta dowodzącego, który gwarantuje logiczną poprawność każdego kroku. To odróżnia takie podejście od tradycyjnych obliczeń komputerowych, które mogą zawierać błędy numeryczne.
Jeśli rozwiązanie zostanie uznane za poprawne przez eksperckie środowisko matematyczne, mogłoby to oznaczać przełom w matematyce obliczeniowej. Jednocześnie otwiera to perspektywę na zastosowanie podobnych podejść do innych fundamentalnych problemów w matematyce, fizyce i inżynierii, gdzie komputery wspierane AI mogłyby przyspieszyć odkrycia naukowe.