okay, fable 5.2 is something else.
1,000 agents working together to formalize Fermat's Last Theorem in 30 hours.
another team building an entire operating system.
and we're still out here asking AI to write a todo app π
the gap between what we're using AI for and what it can actually do is getting ridiculous.
wild times to be building in tech.
A team of 1,000 Fable 5.2 agents fully formalized Fermatβs Last Theorem in 30 hours, translating the proof into a language a computer can check step by step.
With the same setup, Opus 5.5 completed only 26% in 18 hours, and barely made any more progress after 30 hours.
Building Dineo has been quite a journey so far.
Had another promising client meeting today. They liked the product, and we're moving ahead with a 7β10 day trial! π
For those who haven't come across Dineo yet:
We're building a QR-first ordering and POS platform that lets restaurant customers scan, order and pay from their phones, while restaurants manage orders, tables, billing and kitchen operations in one place.
Check it out: https://t.co/WvixTikGmE
I was on Plus One, the @TheASF podcast, talking about Apache HugeGraph and why graphs matter for AI.
Some questions are about how things connect, not what text looks similar. That's what a graph is for.
Thanks @rbowen!
https://t.co/sNO3bEqLLC
Excited to have been an Organiser for MLH x Hacktoberfest at my college!
A great experience filled with teamwork, learning, and bringing the developer community together. Grateful for this opportunity! π»β€οΈ
#MLH#Hacktoberfest#OpenSource#Hackathon
Being the POC for @abhijitam_tw, @Aru__09, @parascodes and @itvi98786 was such a wholesome experience.
What's even crazier is that most of them have just graduated or are still in college and have already made it that big.
Met some genuinely amazing people, had some great conversations, and came back feeling inspired to do more.
Someday, hopefully I'll make it this big too. β¨β¨