$22.5 million worth of compute, in a week.
Possibly the new going rate for some (mathematics) scientific breakthroughs (time and cost).
Congrats to all parties (hoping process and credit assignment issues get resolved).
Research and science is decidedly in a different era.
Four years ago today, we pitched Chowdeck at YC Demo Day.
Itโs crazy how quickly time flies and even crazier how much can change in four years.
For one, my hair is longer ๐ ๐๐
But more importantly, @chowdeck has grown far beyond what any of us could have imagined back then.
In the video, I was so proud of delivering 800 orders in a day. Today, we do that every 15 minutes.
And yet, itโs still Day One ๐
AI has entered the hallowed field of Mathematics and suddenly Mathematicians have become Philosophers ๐
Sha, let them solve the Riemannโs Hypothesis while they are philosophizing
We partnered with @AnthropicAI@OpenAI
to host the world's first math hackathon.
40 hours, $2M compute - solve, understand, and present an open problem.
Applications are live: https://t.co/3oSEmPPohL
"Reflections on the Millennium Problems" (by Lloyd N. Trefethen): https://t.co/simNwLTLFo
"In this essay I reflect on the status of three of the Millennium Prize problems: the Riemann Hypothesis, P vs. NP, and the solvability of the Navier-Stokes equations."
I tested GPT-Astra on mathematics. It's a quantum leap. You can talk with the model and prove the statements live in Lean. The feeling is absolutely stunning. You can verify your ideas, compile truth. For a mathematician it feels like finally we arrived in the era where we can focus entirely on the ideation and exploration. Each lemma flows once the logic is set. Before the verification was lagging behind but Astra is very fast and for many tasks the formalization happens as you write your argument in Codex.
If you tell the model to use literate programming + LaTeX you end up with your proof combined with the Lean code, everything explained as you wrote, mixed with small chunks of Lean which are digestible.
I don't want to go back to the era where the only confirmation of the proof was "aha". Now the "aha" is followed by a green tick that indeed tells you that you have captured the essence. Imagine how cool it will be to have all the lemmas of the world combined in one giant database, pointing to people and models who found them. You compose and mix your ideas and build on the shoulders of the giants. But you see much further now and build much faster. And we are just at the beginning of those changes. So much work to do, so much fun!
Congrats to Youness Lamzouri for a beautiful masterpiece! We were fortunate to formalize it in Lean. Math in the future can appear with a machine-checked certificate.
Terence Tao wrote a clear, nontechnical explanation of the Kakeya Conjecture (for which Hong Wang won the Fields Medal in July), why it matters, how it was solved, and future directions, and posted it on the arXiv: https://t.co/CejKG704Rn
An excellent run. Ubenwa is a star shining, showing what is possible from Nigeria ๐ณ๐ฌ in the AI space. So many firsts, so much good influence. Blazing trails.
Congrats @onucharlesc and @innarticle ๐ ๐ ๐
The Ubenwa journey has come to a close.
5+ years ago we set out to build the worldโs first AI that could interpret infantsโ cry sounds. Ubenwa started as a NeurIPS workshop best paper, then became products that reached over half a million users across 200 countries...
my dad was a fucking rocket engineer who taught me something that made me RICH
wasn't some soft ass "believe in yourself" bs
it was QUICK MATH (keep reading it's saucy)
this man ran calculations for missile trajectories in the military. could tell you impact coordinates in his head while other guys needed computers. but he'd say "close enough is better than perfect too late"
"347 divided by 45? about 7. move the fuck on."
he'd make me calculate brutal equations instantly. not perfectly. INSTANTLY. because in real situations perfect math gets you killed while you're calculating
meanwhile you common folk are sitting with your calculator app making sure you got the EXACT answer while opportunities are flying past at 1000mph
this is why you're easy to kill in business...
you're trying to be PRECISE when you need to be FAST
business decision? you want 22 spreadsheets and three consultants' opinions. your competitor already launched, failed, pivoted, and is banking while you're on slide 73 of your market analysis like some soft as baby shit analyst
pricing your service? you're researching statistics for weeks. just pick a fucking number that scares you and TEST IT. wrong? change it tomorrow. you lost one day not six months.
"but what if i'm wrong?"
YOU WILL BE WRONG YOU FUCKING MORON
difference is i'm wrong in 5 seconds and correct in 10. you're still thinking about maybe being wrong next year while i'm already counting money
my first agency? picked price out of thin air. $5k/month felt insane. someone paid instantly. raised to $10k next day. then $20k. found the ceiling in 3 weeks.
you would've surveyed 100 people and ended up at $2k because that's what the statistics said was "reasonable"
quick math beats perfect math EVERY FUCKING TIME
hiring? meet them, trust your gut, done. "but what about background checks..." shut up. you know in 10 minutes if someone's solid or soft as baby shit. everything else is corporate theater.
launching products? ship at 70% and fix it live. "but what if..." what if you die waiting for perfect? at least i'm getting paid while fixing bugs instead of perfecting something nobody wants.
here's what overthinking really is: FEAR dressed up as intelligence
you're not being thorough. you're being a PUSSY, you want spreadsheets to blame when shit fails instead of owning your decisions like someone who isn't easy to kill
fuck your process.
347 divided by 45? about 7
should i hire this broad? she seems hungry? hired.
should i fire this client? they annoy me? gone.
should i raise prices? feeling poor? doubled.
CLOSE ENOUGH IS GOOD ENOUGH
perfect is for common folk who die with perfect plans. done is for killers who die with results.
i watch people spend 6 months on business plans that are worthless the second reality hits. my business plan was "make money." took 2 seconds. still works.
you know what matters? VELOCITY not accuracy.
100 decisions at 70% accuracy beats 10 decisions at 95% accuracy. because those 100 decisions taught you what actually works while your statistics are still theoretical
my competitors still calculating unit economics while i've tested 20 offers and found the one that prints. they have better spreadsheets. i have better everything else.
quick math principle applies to everything:
relationships? you know in 10 seconds if a broad is worth your time. stop needing 6 months of data to "be sure"
investments? thesis makes sense and founder isn't soft? send it. your due diligence is just procrastination with a fancy name
opportunities? someone offers you something that could work? say yes figure it out later. "but the statistics say..." statistics are for people easy to kill
here's the truth: your best educated guess RIGHT NOW beats your perfect answer NEVER
because while you're calculating, killers are DOING. while you're analyzing statistics, they're creating them. while you're planning, they're already celebrating.
347 divided by 45?
about 7.
good enough.
NEXT.
that's the yegor method. quick math. violent execution. adjust on the fly.
everything else is mental masturbation that common folk use to feel smart while staying broke
my dad could calculate missile impacts in his head but knew "close enough" beats "perfect too late"
a "close enough" nuke skill decimates a city. a nuke that never launches does ZERO
now make that fucking decision you've been sitting on. your gut already knows. stop pretending you need more data.
study the yegor method.