We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem
This is exactly what I needed! I’ve already installed it in Cursor.
RAP checks whether the agent actually follows my Cursor Rules. Like I want agents to use my custom Parquet writer instead of writing their own, since they always put the entire dataset into a single row group.
Frustrated your coding agent keeps ignoring your rules?
What if every rule could take on a life of its own?
I built RulesAsPrograms which turns each rule into a function that checks agent's work.
Instead of hoping agent follows rules, rules check agent
github.com/programasweigh…
8 days ago, while jogging, I asked Claude to solve the Riemann Hypothesis
It didn’t. 1.5 days later, it proved >= 67% of the zeros are on the line (prev: 41.6%)
Still not sure what that means, but some analytic number theorists seem excited
anthropic.com/research/riema…
Announcing Discovery Loop!
I am very excited to announce that, along with my longtime friends and collaborators @Sanjay_Ghemawat, @OriolVinyalsML and @quocleix, we are founding Discovery Loop (@DiscoLoopAI), a Public Benefit Corporation whose mission is to automate machine
