Sebastien Bubeck
@sbubeck.bsky.social
I work on AI at OpenAI.
Former VP AI and Distinguished Scientist at Microsoft.
Former VP AI and Distinguished Scientist at Microsoft.
Overall I think o3-mini will be a very useful model for the academic community.
Learn more here: openai.com/index/openai...
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
Overall I think o3-mini will be a very useful model for the academic community.
Learn more here: openai.com/index/openai...
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!
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!
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
and if you're the type to be worried about contamination (American Mathematics Competition from last month, after phi-4 was trained):
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
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
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
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
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
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...
arxiv.org
December 1, 2024 at 7:30 AM
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
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