Stories by frozenseven

Data-driven fine-grained region discovery in the mouse brain with transformers

Mathematical discovery in the age of artificial intelligence

MathArena Apex: Unconquered Final-Answer Problems

Agent S3: Approaching Human-Level Computer Use with Wide Scaling

Advancing theoretical computer science with AlphaEvolve

Dreamer 4 - Training Agents Inside of Scalable World Models

AI Companies Data Hub

The Bitter Lesson's Bitter Lesson

The QMA Singularity

Beyond Power Laws: Scaling Laws for Next-Token Prediction

Why GPT-5 used less training compute than GPT-4.5 (but GPT-6 probably won't)

Anything Max – an autonomous software engineer

Euclyd – Startup to Take on AI Inference with Sip, Custom Memory

Release: Power Retention

Using GPT-5 to prove new theorems on matrix multiplication

Moe at Scale: Making Sparse Models Fast on Real Hardware

[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis

Information Flows Through Transformers

Gauss, an Agent for Autoformalization

The Training Imperative

1
2