43 articles · page 1 of 1
Claude Fable produced a counterexample to the Jacobian Conjecture
2026-07-20
GPT-5.6 used a prompt to close a 30-year gap in convex optimization
2026-07-18
Ring-Zero: Scaling Zero RL to a Trillion Parameters for Emergent Reasoning
2026-07-16
The One-Step Trap (In AI Research)
2026-07-12
Automation Without Understanding
2026-07-12
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
2026-07-10
AI-generated videos to maximally drive a target brain region
2026-07-10
Hy3
2026-07-09
A possible future for Damn Interesting
2026-07-09
30papers.com – Ilya's 30 essential ML papers, in a beginner friendly format
2026-07-07
The circuit that lets your brain think and see
2026-07-03
Is One Layer Enough? A Single Transformer Layer Matches Full-Parameter RL Train
2026-07-02
DeepSeek open-sources inference optimizations with 60–85% faster generation [pdf]
2026-06-27
Big AI labs are hiring philosophers
2026-06-24
VibeThinker: 3B param model that beats Opus 4.5 on reasoning with novel SFT+GRPO
2026-06-23
US Scientist John Jumper to Leave Google DeepMind for Anthropic
2026-06-20
John Jumper to join Anthropic
2026-06-19
Amateur may have cracked Linear A, a 120-year-old puzzle
2026-06-19
The hacker sent by Anthropic to calm the government's nerves about AI safety
2026-06-17
Maxproof
2026-06-12
Do agents.md files help coding agents?
2026-06-08
Transformers Are Inherently Succinct
2026-06-05
Do transformers need three projections? Systematic study of QKV variants
2026-06-04
Leiden Declaration on Artificial Intelligence and Mathematics
2026-06-03
A Eureka machine that thinks like nature and explores what AI cannot
2026-05-28
A sleep-like consolidation mechanism for LLMs
2026-05-26
A recent experience with ChatGPT 5.5 Pro
2026-05-09
Introspective Diffusion Language Models
2026-04-14
The AI revolution in math has arrived
2026-04-13
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