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
Henri Sirkkavaara·Jul 12Your AI agent’s logs will not survive an argumentLogs persuade people who already trust you. Auditors are not those people.
Harry C. Jones·Jun 27The proof is in the pudding629 days ago, I set myself the goal mastering the language of Arabic, in the hope I’ll one day, hopefully some time before I reach the…A response icon1A response icon1
InThe Hypermodern TheorembyDom Jocubeit·Jun 18Proof Fails At System BoundariesProof does not travel intact across system boundaries. When execution stops, claims degrade into evidence.
