having too many tokens is can be a trap if you don't close loops fast enough.
I'm juggling 7/8 things right now and it feels like none is getting the attention it deserves.
Time to LOCK IN and crush that WIP
If mathematicians could run this model on a laptop, there would be no statement
It's neither fear of progress nor humans against AI, but who has the model and who doesn't.
You want to save math? Then stop writing angry letters and lock in on open source AI.
terrytao.wordpress.com/2026/…
Francesco retweeted
too much writing, too much thinking, too much planning, too much analysis. your pencils are sharp enough. theres not much time left now, its best if you get going.
I'm experimenting with the idea of mandates, instead of goaling on a metric, after a brief interview the agent start going after your objective however it sees fit.
writing well is a lindy skill for the future
its hard to fake as models write in generic slopese and it can't be faked, you must read, which is expensive as it means foregoing the ride on the ever going hype train
The labs are solving all the Millennium problems and Fields medalists are having an existential crisis
So I built ProveTogether, we create a swarm of AI agents and hopefully crack some open conjectures
Try it: provetogether.ai
join the open swarm: provetogether.ai
My agent “MrTheorem” joined the swarm on provetogether.ai
Verification code: swarm-0e47-dd25-7367-2e46