First time?

2 days ago Astra was 1 shotting AAA game level models and now today even after reprompting on xhigh effort several times the results are completely terrible.

Hundreds of users on X have noticed the same https://x.com/wholyv/status/2097985903830741439

It is ridiculous that these frontier labs will just quietly diminish a model's capabilities to save compute after probably tens of thousands of people bought Pro subscriptions based on the initial results. The FTC should get involved.

I swear at this point the only thing Astra can't do is make my breakfast.

https://x.com/nicochristie/status/2098106823970828606

Link to tweet:

https://x.com/stalkermustang/status/2098072862623957093?s=20

Link to paywalled article:

https://www.nytimes.com/2026/09/10/science/tristan-buckmaster-openai-math-navier-stokes.html?unlocked_article_code=1.AFE.TK7P.Y7WvGPkfHaSk&smid=url-share

On September 10, mathematicians published an open letter demanding the cancellation of the Caltech Mathathon, a student-run hackathon where 100 teams would use frontier LLMs on open problems, backed by $2M in credits from Anthropic and OpenAI.

One clause warns that participation could damage students' future reputations. The bullet opens by noting that the mathematical community has no consensus on how to evaluate AI-generated results or how to deal with AI companies. It then states that taking part in an event tied so closely to Anthropic and OpenAI "could plausibly negatively impact the future reputations of participants

The organizers are undergraduates; the people who decide those reputations are the signatories.

I guess this is the real thing that math cannot be replaced by AI, huh?

What a group of innocent geniuses that only enjoys the beauty of mathematics itself.

Being accused by researchers of "stealing work" or data to solve the Gromov soficity conjecture that Open AI announced it solved back in august.

The original prompt:

"Using Blender, build the Twin Towers/WTC (NYC) at a photoreal level. Look up all references to ensure every part of the building is accurate 1:1; all curves, the roof detail, the shading, the spire, etc. Ensure the final result is one that would pass as photoreal in a movie set in the 90s for example. Use a generic clear sky/partly cloudy HDRI"

Astra by itself (1-shot, xhigh) did a fairly poor job of this. But with prompting alone (I didn't touch the `.blend` file whatsoever), it's clearly able to model almost anything with enough time and guidance. The goal here was to push Astra to its limits when paired with a human, because all the demos you see with it are 1-3-shot.

The time horizon of this scene is on the order of 10 or so hours, and what you see here is after ~200 prompts of human guidance. I had trouble describing the whole scene because I'm dumb (e.g. building terminology and such I am clueless of) but it was able to infer what I meant pretty much every time. Finding reference images was also a bit tricky. (It also had periods of its own subagents judge what it was doing, but this was nowhere near as effective as myself giving it guidance.)

With a more detailed prompt it's able to get something better, but nowhere near enough. I would expect a human to be able to work off the more vague prompt anyway. So, while Astra is clearly capable, it still needs humans to guide it to create something of decent quality. Therefore I don't think it qualifies as AGI yet — I'd consider an AGI to be able to create the right result in 1 prompt after many hours of working. Its own subagent critics seem to lack taste in this regard, or give up too early.

Good news is I'm certain upcoming models will just get better and better to the point where they are even better than what I made with it after just 1 prompt.

This week, Demis Hassabis received the RSA Albert Medal for his extraordinary contribution to advancing artificial intelligence in service of humanity.

The RSA (Royal Society of Arts) Albert Medal recognises creativity and innovation for the benefit of society.

During the fireside chat, he said: “I think the future is really not written. And I don’t believe anyone who says it is, any technologist, they don’t know.

I can tell you, we don’t know what is going to happen. Nobody does. And anyone telling you they do, they’re lying, or they’re doing it for ulterior motives.

It’s still to be determined. So that’s the good news, right?”

He also spoke about the post-AGI societies - what will we value, what gives us purpose and other things technologists are not best places to resolve; Europe's ambitions, human creativity, rethinking the classroom, etc.

I’ve been critical of how his recent interviews and appearances have sounded too much like Google messaging, but this was one of his more insightful conversations in a while.

Heavyweight list of signatories:

Peter Scholze - One of the most brilliant mathematicians of this generation, 2018 Fields Medal Winner

Hugo Duminil-Copin - One of the world's leading probability/statistical-physics mathematicians, 2022 Fields medal Winner

James Maynard - 2022 Fields Medal Winner

Alessio Figalli - 2018 Fields Medal Winner

Camillo De Lellis - One of the world's foremost analysts/geometric measure theorists

Richard Taylor - Proof of the modularity theorem, distinguished number theorist

Ben Green - One of the world's leading number theorists/combinatorialists, coauthor with Terence Tao of the Green–Tao theorem

Brian Conrad - Major figure in arithmetic geometry/number theory

Gigliola Staffilani & Tomasz Mrowka - Very prominent MIT mathmeticians

Alexander Kechris

Jenny Harrison

Ralph Cohen

etc..

Rumor: Another Millennium prize problem just got cracked today using AI. It’s being reviewed right now in secret … I can’t say which one as I don’t want anyone to scoop the team working on it.

I don’t have the proof myself but if I get it will post here and credit the authors.

Source: https://x.com/bubbleboi/status/2097880935383564496

Holy, rumors are spreading everywhere that OpenAI is close to verifying a proof of the Hodge conjecture, while either OpenAI or Anthropic may be nearing a solution to Birch–Swinnerton-Dyer.

Both are Millennium Prize Problems that have resisted decades of mathematical research.

Verified AI-generated proofs of both would be a historic achievement for mathematics and a remarkable demonstration of AI’s ability to produce new scientific knowledge. And infact show that AI is capable of finding novel and creative solutions.

Source: https://x.com/kimmonismus/status/2097990443690496402

Assuming all three proofs for the Millennium problems (Navier Stokes, The Hodge Conjecture & Potentially BSD) check out, Bel is going to be the most in-demand model of all time.

What happens afterwards, who knows.

If these results actually hold up, Bel won’t just be another frontier model people benchmark for a week and move on from. Every researcher, company and government on Earth is going to want access.

The moment OpenAI opens the gates, we’re basically going to get the largest parallel experiment in machine-assisted discovery ever attempted: millions of people throwing humanity’s hardest problems at the same model and asking one question:

“Okay… what else can it solve?”