1+ week, 2+ day ago   (582+ words) A complete, sorry-free Lean formalization of FLT now exists in a public repository — verified not by Anthropic, but by Kevin Buzzard, the Imperial College mathematician leading the competing human effort who downloaded it, compiled it, and confirmed it holds. VERIFICATION…...

1+ week, 4+ day ago   (517+ words) Generating correct-looking output and generating insight are not the same problem — and a mathematician’s experiment makes the gap concrete. Daniel Litt — University of Toronto “You can do that by playing the slot machine until the model produces a hopefully correct…...

2+ week, 2+ day ago   (488+ words) The real AI edge may not be a bigger model — it may be a better trash can. Eric Weinstein — All-In Podcast “The trash can is also a corpus.” “That’s where the discovery and the reinvention is going to happen.” Weinstein’s…...

2+ week, 1+ day ago   (508+ words) Chamath Palihapitiya names the shift most people are still missing: the model was never the product — the harness around it is where the value is about to move. Chamath Palihapitiya — All-In Podcast “The harness is the equivalent of giving a…...

3+ week, 5+ day ago   (342+ words) Based on Anthropic’s research report, with independent wet-lab testing by Adaptyv Bio and Twist Bioscience. In a season dominated by proof of funding, Anthropic published a proof of work — an AI system that autonomously orchestrated existing tools to produce physically…...