OpenAI's Astra Solves 10 Decade-Old Math Problems
OpenAI previewed 'Astra,' its next major model, by dropping machine-checkable proofs of ten long-unsolved math and CS problems. The method — and the price — are the real story.
Careful, cited analysis of the latest papers in machine learning — written for the people who build with them.
OpenAI previewed 'Astra,' its next major model, by dropping machine-checkable proofs of ten long-unsolved math and CS problems. The method — and the price — are the real story.
Across labs in mid-2026, near-frontier capability arrived at a fraction of former prices. The collapse in capability-per-dollar is the quiet headline behind every model launch.
A perfect 42/42 on the 2026 IMO, 96% on SWE-bench Verified — at unchanged Opus pricing.
Sol, Terra, and Luna split the lineup by capability — and an agent that runs multi-hour projects.
A 2M-token, natively multimodal line at consumer scale — and the 'most ambitious pre-training run yet' underway.
Reported to match GPT-5.6's strongest tier on a popular index — at roughly $2/$6 per million tokens.
The open frontier keeps climbing — and it keeps coming out of China.
A leadership change atop DeepMind underscores how intense the frontier competition has become.
A research-stage multi-agent system cracked open problems that resisted humans for years — for about $2,000 of compute.
Sol, Terra, and Luna split the lineup by capability — and an agent that runs multi-hour projects.
Profitability plus investor meetings point to a possible public-market debut this fall.
The frontier is shifting from instant answers to systems that grind on a task for hours or days.
Decompose, delegate to sub-agents, verify — the pattern behind AI cracking problems a single model can't.
When an AI's answer can be checked by a machine, you don't have to trust the AI at all.
AI systems are solving genuinely open problems. What does that mean — and what are the limits?
One thinks harder before answering; the other acts in the world. The distinction matters.
Dozens of capable models, tiers, and providers. A practical framework for choosing.
Next-gen pretraining runs, multi-agent research systems, and the shape of the coming leap.
The single highest-leverage design for affordable, high-quality AI products.
One of the largest robotics rounds ever — a sign embodied AI is heating up.
Prebuilt agent catalogs and big-consultancy rollouts signal agents leaving the demo phase.
Even the biggest closed coding assistant reaches for open weights.
A decade-long national bet on semiconductors, AI infrastructure, and robotics.
Meta enters the paid-API game with an agentic, computer-using model.
Not every request needs your best model. A router decides — and saves a fortune.
Let several models draft, critique, and refine — and the ensemble outperforms any single one.
You can't fix what you can't see. AI apps need tracing, logging, and metrics of their own.
As soon as you use more than one model, you need a layer to manage them.
Building agents from scratch is hard. Frameworks help — but add their own tradeoffs.
The same AI revolution that transformed text is now reaching into the physical world.
Three levels of letting AI 'do things' — and knowing which you actually need.
Two ways to keep a model in bounds — one wraps around it, one changes it.
The difference between a bot that deflects and one that fixes the problem.
The old dream of a patient, personal tutor for everyone — now technically within reach.
The two ways people trick AI systems — and why one is far more dangerous.
Law is drowning in documents — exactly the problem AI is good at, with caveats.
Moonshot's July release is the largest Chinese model yet — and it's built for agents that don't lose the thread.
Finance was doing machine learning before it was cool. Here's where the new AI fits.
The rise of describing what you want and letting AI write the code — and its limits.
Zhipu's flagship leads open-weight coding — and coding is where agents earn their keep.
A model that reaches for a calculator beats one that guesses at arithmetic.
Before a model ships, people are paid to try to break it. Here's how, and why.
The more an agent can do, the more it needs limits it cannot cross.
A good verifier multiplies the value of every attempt a model makes.
Japan's Sakana AI bets that the future is orchestrating many models, not training one bigger one.
Sakana's system for automated discovery — idea to experiment to paper — crossed a real milestone.
The whole loop — hear, think, speak — now fits inside a conversational budget.
A standard way to plug tools and data into AI — the 'USB-C for models.'
AI that clicks, types, and navigates a screen like a person — promising, and still rough.
The agents that read, write, run, and fix code — and why coding is where agents shine.
The mechanism that lets a language model reach outside itself and act.
If your app needs machine-readable output, hoping the model formats it right isn't a plan.
You can't make a model perfect — but you can build a system that rarely makes things up.
From autocomplete to autonomous agents — how to actually get value from AI in your codebase.
Agents are great at single steps and fragile across many. Fixing that is the game.
Stateless lookups aren't enough for long-running agents. Persistent memory is the next layer.
Instead of hand-writing retrieval logic, train the agent to discover it.
When one agent isn't enough, a coordinator delegates to specialists.
Most agent failures aren't the model being dumb. They're the scaffolding around it.
Retrieval stopped being a single step and became think, retrieve, rethink, act.
Everyone is shipping agents. Most of the difficulty is not the model.
Persistent, temporally-chained state — not a fresh lookup every time.
Opus 5 at half the top tier, a free frontier ChatGPT default, Grok 4.6 at ~$2/$6 — a pattern, not a coincidence.
The open frontier keeps climbing — and it keeps coming out of China.
Profitability plus investor meetings point to a possible public-market debut this fall.
A public prospectus would pull back the curtain on the economics of the most-watched AI company.
Frontier, balanced, fast-and-cheap — every lab now sells a lineup. Choosing well is a core skill.
Near-best capability at a fraction of last year's price isn't a fluke — it's structural.
The gap narrowed, the biggest open models keep growing, and 'versus' turned into 'both.'
Spending more inference to get a better answer is now a dial you turn — and pay for.
Dozens of capable models, tiers, and providers. A practical framework for choosing.
The single highest-leverage design for affordable, high-quality AI products.
The largest ADR offering ever — and a signal of where AI's real bottleneck lies.
Why high-bandwidth memory, not the GPU chip itself, is the real supply constraint.
Even the biggest closed coding assistant reaches for open weights.
A rumored $8-10B deal would buy RISC-V AI silicon — and Jim Keller's engineering.
A decade-long national bet on semiconductors, AI infrastructure, and robotics.
GPT-5.6, Gemini 3.6, Grok 4.5, Claude Sonnet 5, Kimi K3, Muse Spark — one month, every lab.
Google's newest frontier Flash model landed on July 21 — fast, cheap, and aimed at agents.
OpenAI's new flagship ships as Luna, Terra, and Sol — a tier for every budget.
Not every request needs your best model. A router decides — and saves a fortune.
Two users ask the same thing in different words. Why pay the model twice?
How do you find the nearest vectors among billions in milliseconds? Approximation.
Shipping a prototype is easy. Running a reliable AI product is a discipline.
Adapt a large model on a single GPU — by quantizing it first.
You can't fix what you can't see. AI apps need tracing, logging, and metrics of their own.
Running a model in production is a systems problem — and specialized servers solve it.
As soon as you use more than one model, you need a layer to manage them.
AI is billed by the token, input and output priced differently. Understanding it controls your bill.
Open models power innovation — and can't be recalled. That double edge is the debate.
A dense field of open-weight labs is competing the price of capable AI toward the floor.
The rise of describing what you want and letting AI write the code — and its limits.
Zhipu's flagship leads open-weight coding — and coding is where agents earn their keep.
The web is finite. Model-generated data is not — and it's increasingly how models are trained.
Spending compute at inference reshaped the field. Here's where the curve stands now.
A smaller, cleaner dataset often trains a better model than a giant messy one.
When a model is good enough and dramatically cheaper, the math gets hard to argue with.
Why the chips that run AI shape everything from model design to who can compete.
Training is the headline bill. Serving the model is the one that never stops.
Fine-tune a giant model by training a tiny fraction of it.
The unglamorous systems work that decides how many users a GPU can handle.
Updating a model with new knowledge without retraining it from scratch — or breaking what it knew.
In 2026, open models stopped trailing the frontier and started dominating real usage.
AI is escaping the data center — into phones, cameras, cars, and sensors.
Why the best long-context models mix two different building blocks.
Natural conversation has a latency budget — and in 2026 the models finally fit inside it.
Sparse giants like GLM-5.2 pack frontier capacity into models you can actually run.
You can blend two fine-tuned models into one — and it often just works.
A model that decides, per token, how much computation to spend.
Transformers don't read left to right. Position embeddings tell them the order — and RoPE does it elegantly.
One model is out; a tiered family — small, medium, large — is in.
The price of a given level of AI capability has fallen roughly a thousand-fold in three years.
By mid-2026, MoE isn't a technique — it's the default architecture.
The agents that read, write, run, and fix code — and why coding is where agents shine.
A small draft model guesses ahead; a big model checks the work. The result is 2–3x faster.
The frontier gets the headlines. Sub-7B models quietly do the work.
Running models in lower precision is how capable AI fits on affordable hardware.
Right-sizing beats scaling when you take deployment seriously.
The most interesting inference of 2026 isn't in a data center — it's in your pocket.
Not the benchmark leader — the right fit for your task, budget, and constraints.
Reading messy, real-world documents used to be a nightmare. In 2026 it mostly isn't.
Everyone talks about context length. Fewer talk about the memory it lives in.
Why the best AI interfaces show words as they're generated — and when not to.
Train a small student on a large teacher — including how it reasons.
From autocomplete to autonomous agents — how to actually get value from AI in your codebase.
The systems trick that made long-context models practical — without changing the math.
The gap narrowed, the stakes rose. Where open and closed models each win now.
If you send the same context repeatedly, you're probably overpaying. Caching fixes it.
Most agent failures aren't the model being dumb. They're the scaffolding around it.
The architecture behind modern image and video generation, and why it scaled.
Understanding video used to need a data center. Now it runs on a phone.
Million-token windows didn't make retrieval obsolete. They changed what it's for.
How a trillion-parameter model can run at the cost of a much smaller one.
The frontier gets the headlines. Small models are quietly winning production.
A 2M-token, natively multimodal line at consumer scale — and the 'most ambitious pre-training run yet' underway.
Frontier assistants increasingly read and *create* across text, images, and video in one model.
One of the largest robotics rounds ever — a sign embodied AI is heating up.
From prompt to cinematic clip — how far video generation has come, and what's still hard.
Search images with words, or find text about a picture — by putting both in the same space.
Type a description, get a full song — vocals, instruments, and all.
The next dimension of generative AI — turning prompts into 3D models.
The same AI revolution that transformed text is now reaching into the physical world.
As synthetic media gets perfect, telling real from fake becomes a moving target.
A standard for content provenance — a verifiable label of origin and edits.
As AI text, images, and video flood the internet, marking their origin is harder than it looks.
Sub-150ms synthesis with conversational prosody turned TTS from robotic to real-time.
When your knowledge lives in charts, diagrams, and screenshots, text-only retrieval isn't enough.
Generating images was step one. Editing them precisely is where it gets practical.
Models that see and read at once — and why that combination is so powerful.
Right-sizing beats scaling when you take deployment seriously.
The move from text-only AI to models that see, hear, and read together.
From random noise to a coherent picture — the diffusion idea, explained.
Reading messy, real-world documents used to be a nightmare. In 2026 it mostly isn't.
Generating believable video means learning how the world behaves.
Video and synchronized sound, generated together in a single pass.
The architecture behind modern image and video generation, and why it scaled.
From flickering seconds to 4K, multi-shot, synchronized scenes.
Understanding video used to need a data center. Now it runs on a phone.
Generating video is really about learning how the world behaves.
Opus 5 at half the top tier, a free frontier ChatGPT default, Grok 4.6 at ~$2/$6 — a pattern, not a coincidence.
A perfect 42/42 on the 2026 IMO, 96% on SWE-bench Verified — at unchanged Opus pricing.
Sol, Terra, and Luna split the lineup by capability — and an agent that runs multi-hour projects.
A 2M-token, natively multimodal line at consumer scale — and the 'most ambitious pre-training run yet' underway.
Reported to match GPT-5.6's strongest tier on a popular index — at roughly $2/$6 per million tokens.
The open frontier keeps climbing — and it keeps coming out of China.
A leadership change atop DeepMind underscores how intense the frontier competition has become.
A public prospectus would pull back the curtain on the economics of the most-watched AI company.
Frontier, balanced, fast-and-cheap — every lab now sells a lineup. Choosing well is a core skill.
Near-best capability at a fraction of last year's price isn't a fluke — it's structural.
Context windows keep growing. Here's what genuinely improves — and what still doesn't.
The gap narrowed, the biggest open models keep growing, and 'versus' turned into 'both.'
Model launches lead with benchmark scores. Here's how to read them without being fooled.
The largest ADR offering ever — and a signal of where AI's real bottleneck lies.
A public debut could come as soon as this autumn — a landmark for the AI era.
Prebuilt agent catalogs and big-consultancy rollouts signal agents leaving the demo phase.
Two giants are fighting over the people who'll define AI-native hardware.
As models get more capable, getting to the frontier is getting more gated.
For years, bigger meant better. The debate over whether that still holds is the field's biggest question.
Everyone argues about artificial general intelligence. Almost no one agrees what it is.
The most quoted idea in AI: general methods that scale beat clever hand-crafted ones.
GPT-5.6, Gemini 3.6, Grok 4.5, Claude Sonnet 5, Kimi K3, Muse Spark — one month, every lab.
Google's newest frontier Flash model landed on July 21 — fast, cheap, and aimed at agents.
Do new skills suddenly 'appear' as models scale — or does it just look that way?
Google says it's coming. Almost everything else circulating is unverified.
OpenAI's new flagship ships as Luna, Terra, and Sol — a tier for every budget.
xAI keeps pace in a frantic July of frontier releases.
A model can learn 'A is B' and still fail at 'B is A.' Here's why that's revealing.
Meta enters the paid-API game with an agentic, computer-using model.
Sometimes you show examples; sometimes you just ask. Knowing which is a real skill.
Ask for a full solution and get a stub with 'implement the rest here.' What's going on?
Why the same prompt gives different answers — and the knobs that control it.
Models handle huge context windows — but pay less attention to what's buried in the middle.
Behind every well-behaved model is another model that learned to score answers.
AI is billed by the token, input and output priced differently. Understanding it controls your bill.
Beyond the hype and the panic — how AI is actually changing work.
Open models power innovation — and can't be recalled. That double edge is the debate.
Where AI is already helping in medicine — and where the promises outrun reality.
The old dream of a patient, personal tutor for everyone — now technically within reach.
The two ways people trick AI systems — and why one is far more dangerous.
Two ways to teach a model what humans prefer — one simple, one powerful.
Moonshot's July release is the largest Chinese model yet — and it's built for agents that don't lose the thread.
The best reasoning models aren't the ones that think the longest — they're the ones that catch their own mistakes.
Getting AI to do what we actually want turns out to be a deep, unsolved problem.
Finance was doing machine learning before it was cool. Here's where the new AI fits.
A dense field of open-weight labs is competing the price of capable AI toward the floor.
People increasingly ask an AI instead of searching — and it changes how content gets found.
As AI text, images, and video flood the internet, marking their origin is harder than it looks.
How raw language models became helpful assistants.
Hallucinations cluster where training data is thin — not absent, just rare.
When benchmark answers leak into training data, high scores mean memorization — not skill.
The web is finite. Model-generated data is not — and it's increasingly how models are trained.
Public benchmarks are a starting point, not an answer. Real evaluation looks different.
A smaller, cleaner dataset often trains a better model than a giant messy one.
Alibaba's family became the default foundation for teams that build their own models.
Instead of humans labeling every bad answer, the model critiques itself against a set of rules.
When a model is good enough and dramatically cheaper, the math gets hard to argue with.
Three ways to make a model do what you want — and they solve different problems.
Japan's Sakana AI bets that the future is orchestrating many models, not training one bigger one.
Calibration — matching confidence to correctness — is the quiet key to trustworthy AI.
Fine-tune a giant model by training a tiny fraction of it.
Updating a model with new knowledge without retraining it from scratch — or breaking what it knew.
In 2026, open models stopped trailing the frontier and started dominating real usage.
Why the best long-context models mix two different building blocks.
Sparse giants like GLM-5.2 pack frontier capacity into models you can actually run.
You can blend two fine-tuned models into one — and it often just works.
A model that decides, per token, how much computation to spend.
Transformers don't read left to right. Position embeddings tell them the order — and RoPE does it elegantly.
The idea that turns words, images, and meaning into numbers you can search.
Context windows exploded. What actually changed is subtler than 'paste everything in.'
If bigger context is better, why isn't it infinite? The answer is cost and attention.
The one idea that made modern AI possible, without a single equation.
One model is out; a tiered family — small, medium, large — is in.
The architecture behind every modern model has ruled for years. What might replace it?
Models don't see words or letters. They see tokens — and it explains a lot of their quirks.
By mid-2026, MoE isn't a technique — it's the default architecture.
The mechanism that lets a language model reach outside itself and act.
Models that see and read at once — and why that combination is so powerful.
The move from text-only AI to models that see, hear, and read together.
Every new model 'leads the benchmarks.' Here's how to tell signal from marketing.
The most interesting inference of 2026 isn't in a data center — it's in your pocket.
Not the benchmark leader — the right fit for your task, budget, and constraints.
If your app needs machine-readable output, hoping the model formats it right isn't a plan.
Everyone talks about context length. Fewer talk about the memory it lives in.
Why the best AI interfaces show words as they're generated — and when not to.
The gap narrowed, the stakes rose. Where open and closed models each win now.
If you send the same context repeatedly, you're probably overpaying. Caching fixes it.
The biggest change in 2025 wasn't a bigger model — it was letting models think longer.
Some questions need relationships, not just similar chunks.
The craft moved from wording the question to assembling what the model sees.
How a trillion-parameter model can run at the cost of a much smaller one.
Long context didn't kill retrieval. It changed what retrieval is for.
A research-stage multi-agent system cracked open problems that resisted humans for years — for about $2,000 of compute.
A perfect 42/42 on the 2026 IMO, 96% on SWE-bench Verified — at unchanged Opus pricing.
A leadership change atop DeepMind underscores how intense the frontier competition has become.
The frontier is shifting from instant answers to systems that grind on a task for hours or days.
Decompose, delegate to sub-agents, verify — the pattern behind AI cracking problems a single model can't.
When an AI's answer can be checked by a machine, you don't have to trust the AI at all.
Spending more inference to get a better answer is now a dial you turn — and pay for.
AI systems are solving genuinely open problems. What does that mean — and what are the limits?
One thinks harder before answering; the other acts in the world. The distinction matters.
Model launches lead with benchmark scores. Here's how to read them without being fooled.
Next-gen pretraining runs, multi-agent research systems, and the shape of the coming leap.
For years, bigger meant better. The debate over whether that still holds is the field's biggest question.
Everyone argues about artificial general intelligence. Almost no one agrees what it is.
The most quoted idea in AI: general methods that scale beat clever hand-crafted ones.
Do new skills suddenly 'appear' as models scale — or does it just look that way?
The simple trick of asking a model to 'think step by step' — and why it works.
A model can learn 'A is B' and still fail at 'B is A.' Here's why that's revealing.
Sometimes you show examples; sometimes you just ask. Knowing which is a real skill.
Generate several reasoning paths, then take the majority answer. Simple, and it works.
Behind every well-behaved model is another model that learned to score answers.
'The model hallucinates less' is a claim. Here's how you turn it into a number.
Two ways to keep a model in bounds — one wraps around it, one changes it.
We build models that work without fully understanding how. Interpretability is the effort to change that.
Two ways to teach a model what humans prefer — one simple, one powerful.
The best reasoning models aren't the ones that think the longest — they're the ones that catch their own mistakes.
Getting AI to do what we actually want turns out to be a deep, unsolved problem.
The reinforcement-learning trick behind many of 2026's reasoning models.
How raw language models became helpful assistants.
Hallucinations cluster where training data is thin — not absent, just rare.
When benchmark answers leak into training data, high scores mean memorization — not skill.
A model that reaches for a calculator beats one that guesses at arithmetic.
Spending compute at inference reshaped the field. Here's where the curve stands now.
Public benchmarks are a starting point, not an answer. Real evaluation looks different.
Before a model ships, people are paid to try to break it. Here's how, and why.
Instead of humans labeling every bad answer, the model critiques itself against a set of rules.
A good verifier multiplies the value of every attempt a model makes.
Calibration — matching confidence to correctness — is the quiet key to trustworthy AI.
Sakana's system for automated discovery — idea to experiment to paper — crossed a real milestone.
The architecture behind every modern model has ruled for years. What might replace it?
A small draft model guesses ahead; a big model checks the work. The result is 2–3x faster.
Every new model 'leads the benchmarks.' Here's how to tell signal from marketing.
Train a small student on a large teacher — including how it reasons.
Agents are great at single steps and fragile across many. Fixing that is the game.
The biggest change in 2025 wasn't a bigger model — it was letting models think longer.
When one agent isn't enough, a coordinator delegates to specialists.
Generating believable video means learning how the world behaves.
Everyone is shipping agents. Most of the difficulty is not the model.
Context windows keep growing. Here's what genuinely improves — and what still doesn't.
Frontier assistants increasingly read and *create* across text, images, and video in one model.
Models handle huge context windows — but pay less attention to what's buried in the middle.
A RAG system has two places to fail — retrieval and generation. Measure both.
Two users ask the same thing in different words. Why pay the model twice?
How do you find the nearest vectors among billions in milliseconds? Approximation.
'The model hallucinates less' is a claim. Here's how you turn it into a number.
Keyword matching and vector search are two different tools. Knowing both makes better search.
Search images with words, or find text about a picture — by putting both in the same space.
Structured facts and fluent language models each fix the other's biggest weakness.
Law is drowning in documents — exactly the problem AI is good at, with caveats.
People increasingly ask an AI instead of searching — and it changes how content gets found.
Generic embeddings are good; embeddings tuned to your data can be much better.
Three ways to make a model do what you want — and they solve different problems.
The idea that turns words, images, and meaning into numbers you can search.
Context windows exploded. What actually changed is subtler than 'paste everything in.'
A standard way to plug tools and data into AI — the 'USB-C for models.'
Semantic search is powerful, but it misses exact matches. Combining both wins.
When your knowledge lives in charts, diagrams, and screenshots, text-only retrieval isn't enough.
The storage engine behind semantic search and RAG.
How you split your documents quietly decides how good your retrieval is.
You can't make a model perfect — but you can build a system that rarely makes things up.
A second pass that reorders retrieved results by true relevance — often the biggest quality win.
Stateless lookups aren't enough for long-running agents. Persistent memory is the next layer.
Instead of hand-writing retrieval logic, train the agent to discover it.
Retrieval stopped being a single step and became think, retrieve, rethink, act.
Some questions need relationships, not just similar chunks.
Persistent, temporally-chained state — not a fresh lookup every time.
The craft moved from wording the question to assembling what the model sees.
Million-token windows didn't make retrieval obsolete. They changed what it's for.
Long context didn't kill retrieval. It changed what retrieval is for.
Reported to match GPT-5.6's strongest tier on a popular index — at roughly $2/$6 per million tokens.
Why the newest voice AI listens and speaks directly — without converting to text in between.
Natural conversation has a latency budget — and in 2026 the models finally fit inside it.
The best transcription models are now both highly accurate and fast enough for live agents.
Sub-150ms synthesis with conversational prosody turned TTS from robotic to real-time.
The whole loop — hear, think, speak — now fits inside a conversational budget.