AI-Assisted Navier-Stokes Proofs Spark Priority Dispute Between OpenAI and Academic Mathematicians

Skynet Chance (+0.06%): AI systems credibly contributing to frontier mathematics signals stronger autonomous reasoning, while the alleged competitive maneuvering, evasiveness, and possible use of a rival researcher's interaction data show racing incentives already eroding transparency norms at leading labs. Both factors modestly raise the odds of capability outpacing careful governance.

Skynet Date (-1 days): The described pattern of a lab throwing an "insane amount of compute" at a competitor's approach to claim priority first is exactly the race dynamic that compresses safety timelines. Capability demonstrations in deep formal reasoning arriving alongside this behavior pull risk-relevant milestones somewhat earlier.

AGI Progress (+0.07%): Frontier models contributing materially to proofs on a Millennium Prize problem indicates that long-horizon, creative mathematical reasoning — long treated as a key AGI-relevant capability — is now partially within reach of current systems plus large compute. Even discounting the disputed claims, the announced collaborative proofs are a substantial capability datapoint.

AGI Date (-2 days): If a team can go from problem statement to a formal proof of a famous open problem in days given enough compute, it suggests inference-time compute converts fairly directly into advanced reasoning results, shortening expected timelines. Intense inter-lab competition over such milestones further accelerates the pace.