bluesky — implicator.ai — 8 Oct 2026
OpenAI posted 372 families of AI math results, including a claimed Unique Games proof. A computer has checked about 42%,…
#ai-mathematics #computational-mathematics #formal-verification
OpenAI posted 372 families of AI math results, including a claimed Unique Games proof. A computer has checked about 42%, but mathematicians say almost nobody understands them yet.