Topic
Methods and evidence used to measure, verify, and compare AI system performance or claims.
5 stories
Analysis
A source-backed comparison of Claude Mythos security tests, the OpenAI-Hugging Face intrusion, and AI-assisted mathematics separates measured results from broad claims about superintelligence.
20 stories per page
Analysis
Anthropic reports that Claude formalized Fermat’s Last Theorem in Lean. The released artifact makes the verification questions concrete: what statement was checked, which assumptions were allowed and who actually ran the checks?
First Look
EEBench evaluates AI-generated circuit designs with deterministic simulation and cost checks. Its scoring reveals whether agents can close a requirements-to-test loop, while layout, fabrication and physical bring-up remain outside V1.
