AI and Mathematics: Can The Station’s Multi-Agent Scientists Really Discover New Math?

AI and Mathematics feature image of multi-agent AI systems discovering new math structures

Debate around AI and mathematics has mostly centered on whether models can solve olympiad problems, formalize proofs, or assist mathematicians. The Station asks a harder question: can AI agents behave less like answer machines and more like a research community? The new evidence is unusually strong. In Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment, … Read more

DeepSeek V4.1 Flash vs V4 Pro: The Cheaper Model Replacing Pro, But It Doesn’t Win Everywhere

DeepSeek V4.1 Flash whale surging through a lightning data storm, feature image for the V4 Pro comparison

DeepSeek launched DeepSeek V4.1 Flash on September 10, 2026, and immediately did something more interesting than releasing another faster model. It announced that V4 Pro is being phased out. From September 14 at 04:00 UTC, requests sent to the deepseek-v4-pro API endpoint will route to V4.1 Flash and use Flash pricing until V4.1 Pro arrives. … Read more

GPT-6 Astra Review: Benchmarks, Pricing, 1M Context, Availability and Safety

GPT-6 Astra review cover image with a glowing astral AI core and dimming light trail

GPT-6 Astra is not interesting because OpenAI gave GPT-5.6 Sol a bigger number and a shinier launch page. It matters because the model pushes hardest in the areas where frontier AI is moving next: long-running agents, computer use, software engineering, professional workflows, science, and cybersecurity. Released on September 3, 2026, Astra is OpenAI’s new broadly … Read more

Claude Fable 5.1 Review: Benchmarks, Pricing, Context Window and Real Cost

Claude Fable 5.1 review cover showing benchmarks, pricing, and long-running agentic AI performance

Claude Fable 5.1 is not a simple “same model, slightly higher score” release. Anthropic has pushed hardest on the kinds of jobs frontier models still struggle with: coding sessions that run for hours, scientific workflows inside terminals, multi-step professional work, computer use, and agents that have to keep going after the easy part is over. … Read more

ARC-AGI-3 Solved? NVIDIA AVO Hit 100%, Here’s What It Really Proved

ARC-AGI-3 benchmark maze with an AI agent navigating toward a glowing 100% score marker

NVIDIA’s AVO system, powered by Claude Opus 5, has posted the kind of benchmark number that usually launches a thousand AGI headlines: 100.00 RHAE across all 25 ARC-AGI-3 public environments, with all 183 levels completed in 6,624 environment actions. But the cleanest headline is not “ARC-AGI-3 solved.” NVIDIA’s result is on the public set, not … Read more