x.comMarc Andreessen 🇺🇸Tue, Jun 30, 2026, 11:06 AM PDT
score 17.8
871likes28RT17reply
AI system solves open math problems using prover-verifier loop
Original: Wow.
Source: x.com ↗
Writing ELI5 summary…
Original: Wow.
Source: x.com ↗
Writing ELI5 summary…