64 articles · page 2 of 2
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
2026-03-28
Anthropic Subprocessor Changes
2026-03-26
Epoch confirms GPT5.4 Pro solved a frontier math open problem
2026-03-24
Attention Residuals
2026-03-20
Measuring progress toward AGI: A cognitive framework
2026-03-18
LLM Architecture Gallery
2026-03-15
Billion-Parameter Theories
2026-03-10
Something is afoot in the land of Qwen
2026-03-04
Productivity gains from AI coding assistants haven’t budged past 10% – survey
2026-02-19
Gemini 3 Deep Think
2026-02-12
Mathematicians issue a major challenge to AI—show us your work
2026-02-11
First Proof
2026-02-07
In a study, AI model OpenScholar synthesizes scientific research and cites sources as accurately as human experts
2026-02-06
FORTH? Really!?
2026-02-06