Tag: opinion

All the articles with the tag "opinion".

• FrontierMath, Erdős problems, and what "AI solved it" means

  Published:Jun 17, 2026 |  at 03:10 AM

  How FrontierMath and the Erdős problems episodes show that 'AI solved it' can mean four different things, and why I only want the phrase used for one of them.

• World models vs. LLMs: a division of labor, not a choice

  Published:Jun 13, 2026 |  at 10:10 PM

  Let the LLM handle language, keep the state of the world in an explicit, auditable structure, and put plain code in between.

• Quantum machine learning: hype check

  Published:May 30, 2026 |  at 09:30 PM

  What quantum machine learning promises, what has actually been proven, what has run on real hardware, and why my answer for now is "not yet."

• Lean, formalization, and why proof-checking changes the game more than proof-finding

  Published:May 21, 2026 |  at 02:45 AM

  What Lean and Mathlib are, what four big formalization projects actually showed, and why I think a proof checker matters more for AI math than any proof-finding result.