• token — The chunk of text a model reads and writes in — roughly three-quarters of a word — and the unit AI usage is billed in.

Frontier models are now producing formally verified results on problems open for a decade, at roughly $2,000 of tokens each — with the selection bias of unreported failures still undisclosed.

• articleTen advances in mathematics and theoretical computer scienceopenai.com
• articleAre Open Models Catching Up?Evan Cloutier
• articleThe Problem Is the Problem: Towards Scalable Mathematical DiscoveryZeyu Zheng, Shengtong Zhang, Jeremy Avigad, Prasad Tetali, Sean Welleck

Checking sign-in…

Loading comments…