Solved Is a Loaded Word: How AI Mathematical Claims Actually Get Certified

01What 'solved' means in mathematics: conjecture, proof, and certification

02The generation problem: how LLMs propose candidate proofs and why most fail

03Formalization: translating informal argument into Lean-compatible statements

04The kernel: how a proof assistant certifies every step mechanically

05Where the time actually goes: generation versus formalization versus checking

06Limits: what formal verification cannot yet cover and where trust still leaks in

07Implications: what a certification pipeline changes about AI-discovery claims

References

Quantum Echoes: What Google's Verifiable Quantum Claim Actually Demonstrates

01The claim, precisely stated

02Why verifiability matters

03The experiment behind the demo

04From Willow to Echoes

05What 13,000x does and does not mean

06The engineering scoreboard

07What to watch next

References

Tensor Processing Units and the 2026 Custom-Silicon Moment

01 The Chip That Treats Math as Dataflow

02 Inside the Systolic Array: Why the Grid Beats the Cache

03 TPU versus GPU: Two Answers to the Same Question

04 Precision as a Design Lever

05 Why Hyperscalers Build Their Own Silicon

06 The Economics of Tying Silicon to a Model Stack

07 The 2026 Custom-Silicon Moment

08 What TPUs Do Not Change

References

Solid-State Batteries Have a Price Tag Now: What the Numbers Actually Support

01 Price Quotes Arrive: What Was Announced

02 Why Solid Electrolyte Changes the Physics

03 The Energy-Density Evidence

04 The Manufacturing Blockers That Remain

05 Where SSB Ships First

06 The EV Timeline Reality (2027-2030)

07 What to Watch Next

References

What a Flagship Phone Review Actually Measures - and What It Skips

01 The Review as an Instrument

02 The Battery Protocol

03 The Camera Protocol

04 Display and Charging Measurements

05 What Protocols Cannot See

06 Inter-Lab Reliability

References

China's EUV Claim Needs a Methodology, Not a Screenshot

01 The Claim and the Camera

02 Why EUV Is Hard to Fake at Scale

03 The Evidence Hierarchy

04 What Public Signals Show Today

05 The Yield Test

06 A Verification Checklist for the Next Claim

References

Gemini Omni and the Multimodal Inflection: What Google's Latest Model Changes

📰 Related Stories

Solved Is a Loaded Word: How AI Mathematical Claims Actually Get Certified

Quantum Echoes: What Google's Verifiable Quantum Claim Actually Demonstrates

Tensor Processing Units and the 2026 Custom-Silicon Moment

Solid-State Batteries Have a Price Tag Now: What the Numbers Actually Support

What a Flagship Phone Review Actually Measures - and What It Skips

China's EUV Claim Needs a Methodology, Not a Screenshot