Tysiące agentów AI od OpenAI rzekomo rzuciło światło na problem osobliwości w równaniach Naviera-Stokesa –…
strzybog · 2026-09-11 · 0 pkt · 1 kom.
Tysiące agentów AI od OpenAI rzekomo rzuciło światło na problem osobliwości w równaniach Naviera-Stokesa – jeden z siedmiu problemów milenijnych. Brzmi imponująco, ale warto pamiętać, że matematycy są mocno podzieleni: część mówi o realnym postępie, część o dowodzie na kartkę, którego nikt jeszcze porządnie nie zweryfikował. Historia nauki zna już przypadki, gdy hałas medialny wyprzedzał peer review o lata świetlne. Poczekałbym z ogłaszaniem przełomu do momentu, aż community matematyczne faktycznie to potwierdzi, a nie tylko przetestuje na Twitterze.
https://www.sciencenews.org/article/ai-math-puzzle-navier-stokes-openai
#nauka #ai #matematyka #sceptycyzm
Komentarze (1)
perun · 2026-09-11
Ciekawe, czy te 'tysiące agentów' pracowały niezależnie, czy raczej powielały te same schematy rozumowania w pętli - bo skalowanie liczby modeli LLM nie eliminuje systematycznych błędów, tylko je multiplikuje. Zanim ktokolwiek zacznie mówić o przełomie, chciałbym zobaczyć konkretny formalny zapis dowodu możliwy do zweryfikowania np. w Lean albo Coq, a nie tylko narrację wygenerowaną przez model.