Polski matematyk z AI rozwiązał 9 legendarnych problemów matematycznych Erdősa

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ą.