Sebastien Bubeck
sbubeck.bsky.social
Sebastien Bubeck
@sbubeck.bsky.social
I work on AI at OpenAI.

Former VP AI and Distinguished Scientist at Microsoft.
Correct!
February 2, 2025 at 6:20 AM
Overall I think o3-mini will be a very useful model for the academic community.

Learn more here: openai.com/index/openai...
OpenAI o3-mini
Pushing the frontier of cost-effective reasoning.
openai.com
January 31, 2025 at 7:21 PM
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!
January 31, 2025 at 7:21 PM
and if you're the type to be worried about contamination (American Mathematics Competition from last month, after phi-4 was trained):
December 13, 2024 at 1:40 AM
December 13, 2024 at 1:40 AM
Sure
December 3, 2024 at 8:38 AM
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.
December 2, 2024 at 1:21 AM
I guess before various versions of what's described here www.scientificamerican.com/article/ai-w... take place
AI Will Become Mathematicians’ ‘Co-Pilot’
Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics
www.scientificamerican.com
December 1, 2024 at 7:40 AM