Altan "Atabarezz" Atabarut·Sep 813 Million Lines Later, AI Just Proved My Point. 🧠🔬Claude formalized Fermat’s Last Theorem in 11 days. The interesting part is not only that AI can handle insanely long proofs. It can fail…
The League Global·Sep 4Keeping Score: The Wins That Have Defined The League Global’s 2026Every league keeps a record. Not opinions about who looked sharp in warmups, but what actually happened, entry by entry, written somewhere…
InBlock MagnatesbyAditya kumar mishra·Sep 4Zero-Knowledge Proofs with Noir: From Installation to Your First ZK CircuitA hands-on beginner’s guide to installing Noir on Windows, writing your first circuit, generating a proof, and verifying it with…
InCognitiveMLStudiobySeneca Widvey·Aug 6AI and the Jacobian Conjecture: How AI helped find a counterexampleMy first love is mathematics.
Olikere·Jul 25Euclid’s Form: What It Really GuaranteesThe Problem — the statement that seemed obvious
