Ironically there was notable news in the fusion reactor space this week as Gemini 4, building on the work of Matt Landreman and GPT-6 Astra a little while ago, expanded counterexamples to Grad's conjecture which had claimed exact solutions for controlling a key aspect of fusion were impossible.

So fusion may actually be more around the corner thanks to the advances of capabilities of AI which helped prove that the fusion problems aren't as hard as they were thought to be for decades.

They did manage to do something different, though. I thought at one point that proof assistants should offer to automatically upload your proofs to a central repository so everyone can benefit from them. But such a system would require many to opt in for it to be useful.

What AI does best is giving you existing solutions. It even adapts them if they don't quite fit. Because many people now discuss their ideas with AI, ideas may spread the same way as well when the conversations are used as training data.

So no, definitely not AGI but valuable. Though as typical of explosively growing startups the value does not come from the technology but from activity bordering on criminal that lawmakers can't keep up with.