GPT-6 Astra Cracks a Decade-Old Voting Theory Problem Nobody Could Solve
Epoch AI marks the first Major Advance on its unsolved-math benchmark, with GPT-6 Astra driving the proof in an interactive session with three mathematicians.
// Intelligence
Reasoning
A focused feed of models, agents, research and open-source releases for people building with AI.
Updated
Sakana AI Bets Against Transformers With Its Frontier Intelligence Group
Sakana AI launches the Frontier Intelligence Group, a research collective betting that Transformers and scaling laws aren't the final answer to AGI.
Vals AI's MysteryMechanism Benchmark Tests If AI Can Rediscover 222 Scientific Laws
A new benchmark seals 222 scientific laws and asks agents to rediscover each one from scratch using a tight experiment budget, with GPT-6 Astra leading at 53.2%.
Yifan Zhang's RLT Grows Transformer Depth With Every Token Generated
A new architecture proposes latent reasoning that grows with sequence length, sharing one recurrent state across prompt, response, training, and RL replay.
OpenAI's GPT-6 Astra Cracks Epoch's Hardest Math Benchmark in 14 Months
A math benchmark built to resist AI just fell. GPT-6 Astra cracked the final Tier 4 problem, closing out a 98 percent run in 14 months.
Looped Flows Beats Rival Reasoners on ARC-AGI With Just 7M Parameters
A new recurrent reasoning method mixes denoising with looped hidden states, hitting 58.8% on ARC-AGI-1 and 12.2% on ARC-AGI-2 with just 7M parameters.
Together AI Says Open-Source Kimi K3 Beats Claude Fable 5.1 on Legal Tasks
Together AI highlights that Moonshot's open-weight Kimi K3 outscores Anthropic's newer Claude Fable 5.1 by 60% on the hard slice of Harvey's autonomous legal agent benchmark.
Autopoietic Game Theory Shows AI Agents Stop Cheating When Thinking Costs Energy
A new evolutionary model shows that when computation, replication, and social behavior all draw from one energy budget, cooperation emerges naturally in populations of random Z80 programs.
UT Austin Finds Fractal Chaos Explains Why AI Reasoning Costs Spike 10x
A new paper shows recurrent-depth reasoning models behave like chaotic dynamical systems, where hard problems create fractal basins that trap thinking near wrong answers.
OpenAI's 10,000-Agent Swarm Solves a 100-Year-Old Math Mystery
An internal OpenAI model coordinated roughly 10,000 agents for 88 hours to produce a Lean-verified finite-time blowup proof for 3D Navier-Stokes.
Kyoto University Finds a Hard Speed Limit on What SGD Can Learn
A new physics inspired bound explains which patterns stochastic gradient descent learns first, tying acquisition speed to Fisher information flow.
Meta's AIRA₃ Beats 4,000 Human Teams to Win Kaggle Gold
Meta's next-generation autonomous research agent AIRA₃ placed 8th of roughly 4,000 human teams in an NVIDIA-run Kaggle contest to fine-tune Nemotron.
Anthropic's Claude Formally Proved Fermat's Last Theorem in 11 Days
Claude autonomously wrote a 13 million line Lean proof of Fermat's Last Theorem in 11 days, verifying 29,500 supporting theorems along the way.
Researchers Crack Open GPT-OSS-20b to Find Hidden Symbol Systems Inside
An 8-year interpretability project shows that LLM representations can be closely approximated by symbolic role-filler structures, enabling precise behavioral edits.
MIT's SwarmWorld Shows 200 AI Agents Building a Society Without Talking
MIT researchers put hundreds of identical LLM agents into a persistent world and watched them evolve specialization, tool inheritance, and technology that survives without them.
ReViSQL-K2.6 Beats Human Accuracy on SQL Benchmark Without Agentic Scaffolding
A UIUC and Bridgewater team fine-tuned Kimi-K2.6 on Tinker to become the first text-to-SQL model to beat human accuracy.
Prefix Sliding Cuts Reasoning AI Memory Costs With a 3x Speedup
A new method throws away most of a model's own reasoning trace mid-thought, cutting memory to a fixed cap and running inference 3x faster.
Goodfire's Forking Fast Slashes AI Reasoning Debug Costs by 100x
Goodfire's new paper makes resampling analysis of reasoning chains dramatically cheaper, letting researchers pinpoint the tokens that actually decide an LLM's answer.
CMU's Jeremy Avigad Says AI Math Is Bigger Than Theorem Provers
Jeremy Avigad argues the fixation on neural theorem provers hides a far richer landscape of ways AI is reshaping how mathematics gets done.
DeepSeek V4 Pro Hits 90% on ARC-AGI-1 but Stalls on Harder Puzzles
DeepSeek V4 Pro hits 90.5% on ARC-AGI-1 and 61.3% on ARC-AGI-2, but extra reasoning barely moves the needle on abstract puzzles.
No stories match these filters.