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ą.
z- 82
- #
- #
- #
- #
- #
- #

















![Sędzia PZSS postrzelił innego strzelca [0:05]](https://wykop.pl/cdn/c3397993/ea1ae10c777069fb728570b5e02c37328554d472d16f91ebef1574849eba90ec,w220h142.jpg)




źródło: image
Pobierz