Just one engineer and a team of agents ported the GitHub Copilot agent runtime to Rust, shipping 800,000 lines of production code while retaining code quality. 🚀 How it worked 👇 github.blog/ai-and-ml/genera…

SITUATION DETECTED: OpenAI is using the internal model that produced its Navier–Stokes proof to attempt the Riemann Hypothesis and P vs NP.

Very funny that xAI was created to stop Anthropic which was created to stop OpenAI which was created to stop Google which would've actually never developed ASI because it was afraid of cannibalizing its ads revenue from search.

OpenAI: “We’ve solved math” Anthropic: “Our AI is so powerful it’s going to kill you” Google: “Introducing Gemini 3.9 Flash! It’s 30% faster and 15% worse than the last Gemini”

I think the plan is to get researchers to start using their AI with a limited compute budget, then once they have all the academic data, they’ll basically steal all their ideas from underneath them and run the research internally with their unlimited compute budget!

I spent much of the weekend talking with the team who did this work. Seb--and everyone else--acted with integrity and generosity throughout. Initially we believed the other team had also solved the problem. We wanted to collaborate and do a joint release. When we learned that they had Euler but not Navier-Stokes, we offered to let them go first, to suggest that they should be the ones to get the prize, and optionally for Tristan to be the lead author on a rewrite of the OpenAI proof. We felt it was challenging to offer the same to Levent (an Anthropic employee), who was not willing to talk or coordinate with us anyway. We were open to other solutions. We would have greatly preferred coordination. We did not rush to publish even though the other team wasn't communicating with us. The team threatened us with unfounded accusations of plagarism. Now that we can see their work, the approaches appear to be different. It is also worth noting that our latest model can solve many, many other math problems. It is true that we tried this because there were rumors on the internet last week that Anthropic's models had solved a millennium problem and we were curious if ours could do it too.

I think the plan is to get researchers to start using their AI with a limited compute budget, then once they have all the academic data, they’ll basically steal all their ideas from underneath them and run the research internally with their unlimited compute budget!

SITUATION DETECTED: OpenAI says their 90th-percentile researchers now use over $7,000 worth of tokens per day.

Honestly, the new CapCut PC update is probably the most practical thing I’ve played with this week. Seedance 2.5 lets you infinitely extend videos using AI Extend, so expanding your shots takes almost no effort. They’re giving out $80,000 in cash and points for their latest story challenge, so go grab the file, make your ending, and join in!