#ukraina Pan Wojczal jak zawsze w punkt ( ͡°( ͡° ͜ʖ( ͡° ͜ʖ ͡°)ʖ ͡°) ͡°) https://youtu.be/kuRqgDs-4HI?is=AifDnnNNeOcYvw8L

Atryu



źródło: IMG_6840
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.
zKomentator
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