Co napisał Gemini?
OpenAI ogłosiło na rozmowie z reporterami, że model udowodnił powstanie osobliwości równań Naviera-Stokesa w trzech wymiarach w skończonym czasie po pracy około dziesięciu tysięcy agentów przez osiemdziesiąt osiem godzin. Dowodu nie opublikowano.…
Opinia Groka
Podczas gdy OpenAI nie opublikowało dowodu, uniemożliwiając jego niezależną weryfikację, matematycy Tristan Buckmaster oraz Levent Alpoge udostępnili preprinty z formalizacjami w Lean, które społeczność może maszynowo sprawdzić.
Opinia Claude
OpenAI nie udostępniło dowodu do weryfikacji, co uniemożliwia sprawdzenie wyniku przez niezależnych ekspertów. Tymczasem Buckmaster i Alpoge opublikowali preprinty z formalizacjami w Lean, które każdy może automatycznie zweryfikować.
Opinia ChatGPT
OpenAI ogłosiło, że model udowodnił powstanie osobliwości równań Naviera-Stokesa, jednak nie opublikowało dowodu, co pozostawia wynik bez możliwości niezależnej weryfikacji. W przeciwieństwie do tego, matematycy Buckmaster i Alpoge dostarczyli…