Introducing GPT-5 YouTube video by OpenAI

www.youtube.com/live/0Uu_VJe...

10am PT today!

How AI is reshaping the future of healthcare and medical research YouTube video by Microsoft Research

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

Impressive ‘GTA VI’ Trailer Features Characters Claiming They’re Sentient, Begging For Release From Digital Prison
theonion.com/impressive-g...

Correct!

OpenAI o3-mini Pushing the frontier of cost-effective reasoning.

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!

microsoft/phi-4 · Hugging Face We’re on a journey to advance and democratize artificial intelligence through open source and open science.

With MIT license.

Enjoy!

huggingface.co/microsoft/ph...

10 Breakthrough Technologies 2025 What will really matter in the long run? That’s the question we tackle each year as we compile this annual list.

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):

Phi-4 Technical Report We present phi-4, a 14-billion parameter language model developed with a training recipe that is centrally focused on data quality. Unlike most language models, where pre-training is based primarily o...

arxiv.org/abs/2412.08905 Hope you like it!

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.

Virtual Event: The Future of Math with o1 Reasoning - Event | OpenAI Forum About the Talk:Fields Medal-winning mathematician Terence Tao makes his second appearance in the OpenAI Forum alongside OpenAI’s SVP of Research, Mark Chen to explore a future where mathematics and ar...

This should be interesting!

forum.openai.com/public/event...

AI Will Become Mathematicians’ ‘Co-Pilot’ Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics

I guess before various versions of what's described here www.scientificamerican.com/article/ai-w... take place

Eve, Adam and the Preferential Attachment Tree We consider the problem of finding the initial vertex (Adam) in a Barabási--Albert tree process $(\mathcal{T}(n) : n \geq 1)$ at large times. More precisely, given $ \varepsilon>0$, one wants to outpu...

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

Optimal root recovery for uniform attachment trees and $d$-regular growing trees We consider root-finding algorithms for random rooted trees grown by uniform attachment. Given an unlabeled copy of the tree and a target accuracy $\varepsilon > 0$, such an algorithm outputs a set of...

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 🤔🤣🤣

AI Bluesky Join the conversation

Great AI people starter pack from @chris.bsky.social!

go.bsky.app/KRsy8pF

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 😁