verification
The viral Riemann result an AI supposedly proved is not in the literature News
A widely shared claim that Claude raised the proven fraction of Riemann zeta zeros on the critical line from 41.6 to 67.2 percent does not match any published result; the closest paper says the two-thirds figure follows only if an assumption nobody has removed can be removed.
Figure's viral ladder climb is a two-hour stair timelapse News
A widely shared clip of Figure's F.03 humanoid was reposted as an autonomous ladder climb; the company's own post describes a timelapse of repeated stair traversal that is helping move its robots closer to full autonomy.
A frozen 12B model answers already-solved problems at zero generation tokens News
A technical report describes a 12-billion-parameter model whose weights never change but which answers new instances of nine previously solved problem families with no generated tokens at all, scoring 180 out of 180 by executing verified stored procedures instead of reasoning again.
AI Helped Crack a Famous Math Conjecture, and Humans Verified It in Lean News
Mathematicians found an explicit counterexample disproving the Jacobian conjecture in three dimensions, checked partly with an AI chatbot and formalized in a Lean proof, while two other viral AI-math claims remain unverified.
A Mathematician Posts a Counterexample to a Famous Conjecture, Crediting an AI Model News
Mathematician Levent Alpoge posted a hand-checkable counterexample to the Jacobian conjecture and credited the AI model Fable; the math is independently auditable, but the AI's actual role is not documented.
AI is now solving hard math and physics problems faster than humans can formally check them News
A widening 'verification lag' is emerging as AI produces candidate solutions to hard problems faster than experts can formally verify them - physicist Yuji Tachikawa reports Fable cracked a six-month research blocker, while a GPT-5.6 Erdos claim circulates without peer review.
'Dockerless' verifies AI code patches by reading the repo instead of running it News
A new method called Dockerless judges whether an AI's code patch is correct by having an agent explore the repository for evidence rather than executing tests in a Docker container, enabling a fully environment-free training pipeline for coding agents.
Lean comparator Tool
The Lean toolchain component used to independently check the formalization behind Anthropic's zeta-function result. Useful to anyone who wants machine-verified mathematics rather than a persuasive argument.
Galahad verified-reuse testbench Tool
Public testbench for the frozen-12B verified procedure cache, where a solved and independently verified problem family is answered on later instances at zero generation tokens, bit-exact. Worth poking at to understand what the claim does and does not cover -- the engine source, configuration and raw artifacts are withheld, so this demo plus the bench repo is the only inspectable surface.