AI labs accused of press-release deception: none of 520 claimed proofs Lean-formalized
gerardsans · x · 2026-10-08
Quoting "never trust AI labs headlines at face value," the author accuses an AI lab of press-release deception: none of the 520 claimed mathematical proofs actually has a Lean formalization, calling it a pattern of systematic overclaiming.
More from Fun
- Grok monitors X feedback and auto-files bugs — 'the loop is complete' — RachelVT42 · 2026-10-08
- 1,411 Followers, 930K RMB a Month? Viral AI Comic Drama Income Claim Draws Skepticism — sven_ai · 2026-10-08
- SEO prankster says Google staff hand-typed his JS code to find and de-index his back-button hijack test site — dejanseo · 2026-10-08
- Reader discovers paid book-review gig was quietly feeding him AI-generated books — Junior-Key-5043 · 2026-10-08
- AI-generated Rumpelstiltskin nominated as Halloween 2026 mascot — bennash · 2026-10-08
- Midjourney --sref trick conjures a dramatic '1765 ice cream eating champion' oil painting — dolma33 · 2026-10-08