The Ledger

Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.

clear all ✕

why aren't all 2 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 2 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable

Prediction Open · timeframe Jun 2029
Hong: Axiom Math will be worth $10 billion
“Because when we realize the dream, the company's gonna be worth ten billion.”
Carina Hong Jun 3, 2026 ▶ 50:19 Scaling Past Informal AI - Carina Hong, Axiom Math
Assertion Open · timeframe Jun 2029
Hong: Axiom's unmodified Putnam system achieved 99% on Verina benchmark
“And we actually recently, with no modification to the Putnam system, we saw a 99% out of the 189 problems, we saw a 187, we missed only two code-wisp-proof.”
Carina Hong Jun 3, 2026 ▶ 29:46 Scaling Past Informal AI - Carina Hong, Axiom Math
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 200 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.