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ą nierozwiązane, a nie nierozwiązywalne - to dwie różne rzeczy.
To o czym piszesz natomiast to problemy nierozstrzygalne, ale to jest już według mnie filozofia opisana językiem matematyki, a nie matematyka