This was a really fun conversation with @billgates.bsky.social and Peter Lee, and I hope you enjoy it too!
(roughly we talk about our respective first contacts with genAI/LLM/sparks and what we see as missing steps/future steps for it to truly transform healthcare)
youtu.be/N0w9uO7kH80?...
Impressive ‘GTA VI’ Trailer Features Characters Claiming They’re Sentient, Begging For Release From Digital Prison
theonion.com/impressive-g...
Correct!
Overall I think o3-mini will be a very useful model for the academic community.
Learn more here: openai.com/index/openai...
Interestingly though the reference it gives is not quite the correct one, but it is very closely related! In general I have found that references are "fuzzily correct", giving some mixed up version of authors/journals/titles, but surprisingly still useful!
o3-mini is a remarkable model. Somehow it has *grokked arxiv* in a way that no other model on the planet has, turning it into a valuable research partner!
Below is a deceitfully simple question that confuses *all* other models but where o3-mini gives an extremely useful answer!
Nice to see SLMs making it to the 10 Breakthrough Technologies of last year!!!
www.technologyreview.com/2025/01/03/1...
and if you're the type to be worried about contamination (American Mathematics Competition from last month, after phi-4 was trained):
Pretty crazy ...
It's getting there ...
They made a pretty cool poster for the event too 😄
Tomorrow morning at the Simons Institute : Sparks versus embers, can LLMs solve major open mathematical conjectures?
(FWIW I agree with everything in the Embers paper, so I guess the debate will be about the conclusions to draw from current evidence!)
simons.berkeley.edu/talks/sebast...
Sure
Yes, I was a bit hyperbolic:-). One of the cleanest open problem that is still open and doable I think is to prove a n^{3/2} sqrt(T) lower bound for BCO. I'd love to see that.
I guess before various versions of what's described here www.scientificamerican.com/article/ai-w... take place
Some more of the resolutions that happened in the last few years:
arxiv.org/abs/2406.18672
arxiv.org/abs/2406.06506
arxiv.org/abs/2303.04752
arxiv.org/abs/2211.05753
arxiv.org/abs/2111.11316
It's looking like all the open problems I have thought about in the last 10 years are now solved (or in some cases on the verge of being solved)? Latest case in point this beautiful new paper: arxiv.org/abs/2411.18614 . I'm glad we (humans) got all this results just in time!
Was there a paper hinting at that 18 months ago? Hmmm 🤔🤣🤣
This was a really special time, including for the fact that it was pre-"academic twitter" ... I miss those days.
No, but it's hard to attain the same clarity with the current methods ..
Blast from the past, wrote these equations in this form 6 years ago, I remember it felt quite clarifying at the time ... A bygone era unfortunately
Had a fantastic time at OpenAI’s dev day in Singapore! So much energy here, and the depth of knowledge policy makers have about AI is incredible. Bumped into some old Singaporean classmates of mine too
AGI is the mission 😁
