Autonomiczne generowanie dowodu
OpenAI ogłosiło, że model sztucznej inteligencji rozwiązał równania Naviera-Stokesa, jeden z siedmiu problemów milenijnych wyznaczonych przez Instytut Matematyki Claya. Obliczenia wymagały 88 godzin pracy ponad 10 000 agentów AI, działających jednocześnie w skoordynowanych grupach. System wygenerował ponad 130 mld tokenów i wymienił 2,7 mln komunikatów, po czym poświęcono 17 godzin na formalizację i weryfikację. Mark Chen, szef badań w OpenAI, stwierdził, że moc obliczeniowa wykorzystana podczas tego procesu kosztowała miliony dolarów. OpenAI opisało model jako posiadający możliwości przewyższające niedawno wydany system GPT-6 Astra.
To znaczący krok w badaniach nad AI. To obietnica, że możliwe stanie się odpowiadanie na inne, najbardziej złożone pytania.
Dynamika płynów i Nagroda Milenijna
Równania Naviera-Stokesa opisują, jak lepkie płyny, takie jak woda i powietrze, poruszają się w czasie. Francuski inżynier Henri Navier stworzył początkowe ramy matematyczne w 1822 r., a brytyjski fizyk George Gabriel Stokes ukończył ostateczną wersję w 1845 r. Równania znajdują praktyczne zastosowanie w projektowaniu skrzydeł lotniczych, prognozowaniu pogody, modelowaniu tornad i analizie krążenia krwi. W 2000 r. Instytut Matematyki Claya uznał równania Naviera-Stokesa za problem milenijny z nagrodą 1 mln USD za zweryfikowany dowód. Do czasu tego ogłoszenia jedynym rozwiązanym problemem z listy była hipoteza Poincarégo, udowodniona przez rosyjskiego matematyka Grigorija Perelmana w 2002 r. OpenAI podało, że dowód pokazuje, jak wir może się zwężać i wydłużać, powodując, że prędkość płynu staje się teoretycznie nieskończona w skończonym czasie przy zachowaniu ograniczonej energii całkowitej.
- Henri Navier formułuje początkowe równania płynów
- George Gabriel Stokes ustala ostateczne równania
- Instytut Matematyki Claya wpisuje równania Naviera-Stokesa na listę problemów milenijnych
- Grigorij Perelman rozwiązuje hipotezę Poincarégo, pierwszy problem milenijny
- OpenAI ogłasza wieloagentowy dowód AI dla równań Naviera-Stokesa
Uznanie akademickie i hiszpańscy matematycy
Ogłoszenie wywołało kontrolę ze strony niezależnych badaczy w kwestii odpowiedniego przypisania wcześniejszych prac. Hiszpańscy matematycy Luis Martínez z CUNEF i Diego Córdoba z Instytutu Nauk Matematycznych opracowali fundamentalne metody ewolucji płynów, które OpenAI włączyło do swojego procesu. OpenAI początkowo pominęło odniesienia do ich opublikowanych prac, po czym zaktualizowało komunikat, cytując obu matematyków w następstwie publicznej krytyki. Martínez stwierdził, że problem Naviera-Stokesa opierał się rozwiązaniom matematycznym przez pokolenia i że ich metoda była niezbędna, aby system AI mógł dojść do wniosku. Proponowany dowód pozostaje przedmiotem formalnej recenzji i weryfikacji przez globalną społeczność matematyczną przed oficjalnym potwierdzeniem nagrody.
Rywalizacja korporacyjna i konkurencja z Anthropic
Projekt rozwinął się bezpośrednio z rywalizacji branżowej między OpenAI a firmą Anthropic. Dyrektor generalny OpenAI Sam Altman przyznał, że firma rozpoczęła prace po usłyszeniu plotek, że modele Anthropic rozwiązały problem milenijny. Matematyk z Uniwersytetu Nowojorskiego Tristan Buckmaster i badacz Anthropic Levent Alpöge spędzili sierpień, pracując nad powiązanymi równaniami Eulera przy użyciu wewnętrznych modeli Anthropic. Badacz OpenAI Sébastien Bubeck opublikował 8 września oświadczenie po prywatnych rozmowach z Buckmasterem, zaprzeczając, jakoby próbował pozbawić Alpöge uznania, jednocześnie przepraszając za uwagi poczynione podczas napiętych dyskusji.
Kiedy są to dwie z największych firm na świecie, muszą się z tym pogodzić. Jestem tylko obserwatorem w tych małostkowych gierkach.