“A task I think is less likely (about 20%) by Dec 31 2026: from scratch, write a paper that could get published in a top theoretical computer science or math journal / conference.”

Deadline still open; in August 2026 Cotra initially judged this fallen — AI agents produced formally verified proofs or counterexamples for more than a dozen open questions — but concluded resolution was more ambiguous than she had assumed.