← All IntelIntel / article
Ten advances in mathematics and theoretical computer science
- Source
- simonwillison.net
- Date
Why it matters
Frontier models are now producing formally verified results on problems open for a decade, at roughly $2,000 of each — with the selection bias of unreported failures still undisclosed.
Terms in this piece · Glossary
- 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.
Read the source simonwillison.net
Recommended reads
articleTen advances in mathematics and theoretical computer scienceopenai.com
blogThe Mathocalypse6bitquant
article[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awardedwww.latent.space
Comments
Checking sign-in…
Loading comments…