2 artykuły z tym tagiem
System AlphaProof Nexus rozwiązał 9 problemów Erdősa nierozwiązanych przez dekady, kosztując tylko kilkaset dolarów na problem dzięki połączeniu AI z weryfikacją.
Model OpenAI podobno znalazł rozwiązanie trudnego problemu matematycznego w 80 minut, odkrywając przy tym nowe połączenia w teorii liczb.
