źródło: IMG_6826
Pobierz
źródło: IMG_6826
Pobierz
źródło: IMG_6799
Pobierz

Naukowcy z Google DeepMind opublikowali wyniki projektu AlphaProof Nexus systemu agentów AI, które generują formalne dowody matematyczne w języku Lean i automatycznie je weryfikują.
z
Model rozumujący OpenAI znalazł kontrprzykład do hipotezy z geometrii dyskretnej, nad którą matematycy głowili się od 1946 roku. AI skompilowało istniejące podejścia z algebraicznej teorii liczb i dokonało tego, co ludzkiemu zespołowi zajęłoby dekady. Wynik zweryfikowali czołowi matematycy.
z
źródło: 705270171_1300518988935646_7460791892850974531_n
Pobierz
Komentator
od 08.01.2013
Rocznica
od 26.10.2025
Gadżeciarz
od 28.06.2011
Mikroblogger
od 15.08.2016
Regulamin
Reklama
Kontakt
O nas
FAQ
Osiągnięcia
Ranking
źródło: IMG_6840
Pobierz