utworzone przez Redakcja | paź 20, 2026
John Pardon, laureat Medalu Fieldsa 2026, twierdzi że AI rozumie nawet jego najbardziej zawiłe dowody matematyczne, wychwytuje subtelne błędy i udowadnia nietrywiane wyniki. Rok temu powiedziałby coś zupełnie odwrotnego.
utworzone przez Redakcja | paź 19, 2026
Richard Borcherds, laureat Medalu Fieldsa, skomentował kontrowersje wokół dowodów matematycznych OpenAI, sugerując, że ludzie złoszczą się na AI, bo uświadamiają sobie własne ograniczenia intelektualne. Społeczność matematyczna UC Berkeley staje przed pytaniami o rolę...
utworzone przez Redakcja | paź 17, 2026
Naukowcy opracowali L2G-SR – framework wykorzystujący duże modele językowe do regresji symbolicznej, który prowadzi wyszukiwanie równań nie tylko przez błąd numeryczny, ale też przez nauczony weryfikator strukturalny oparty na odległości edycji drzew. Podejście...
utworzone przez Redakcja | paź 9, 2026
OpenAI zaskoczyło świat matematyki, publikując lawinę wyników matematycznych. Ponad trzydziestu naukowców opisuje to jako 'bezprecedensowe' i 'szaleństwo' – pełne zrozumienie może zająć lata.
utworzone przez Redakcja | paź 9, 2026
Hugo Duminil-Copin, laureat Medalu Fieldsa z 2022 roku, przyznał, że rozwiązanie przez OpenAI 350 poważnych problemów matematycznych było dla niego jak 'potrącenie przez ciężarówki'. Wszystkie kierunki badań, które wymieniał w swoich pracach i wnioskach...
