Cursor’s AI solved Problem Six of the First Proof challenge fully autonomously over four days, beating the official human answer with no hints — which makes mathematical research a feature of a code editor rather than a vocation.
Anthropic is approaching $20 billion annualized, more than double its year-end figure, while carrying a supply-chain-risk designation and a cancelled $200 million contract.