Fabian Pedregosa
@fpedregosa
Followers
6K
Following
4K
Statuses
1K
Keeping the gradients flowing since 2013. Loves open source. Sometime blogs and writes papers.
Geneva, Switzerland
Joined December 2010
Beyond proud to have been part of the team behind this milestone. I believe the combination of LEAN + RL + LLMs will change how we do maths forever. This is just the beginning!
We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈 It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵
9
22
316
RT @evaninwords: My implementation of second-order optimizer sophia has been merged into optax contrib, give it a try! Shoutout to @fpedreg…
0
5
0
RT @maxjaderberg: Excited to share that the AlphaFold 3 model code and weights are now available for academic use. Looking forward to seein…
0
457
0
RT @pushmeet: The #AlphaFold 3 model code and weights are now available for academic use. We @GoogleDeepMind are excited to see how the res…
0
268
0
RT @GaelVaroquaux: A huge win for visibility of contributions to science from open source software (often undervalued). It is important to…
0
21
0
RT @ada_rob: I’m so proud of the updated version of #MusicFXDJ we developed in collaboration with @jacobcollier, available today at https:/…
0
34
0
RT @geoffnegiar: We are buying historical time-series data for training our forecasting models. Get in touch: selldata@theforecastingcomp…
0
3
0
Six years at Google today! 🎉 From 🇨🇦 to 🇨🇭, optimizing everything in sight. Grateful for the incredible journey and amazing colleagues!
1
1
120
@konstmish it takes courage to get outside of one's comfort zone, but in my experience its always worth it. best of luck konstantin!
0
0
2
RT @teobaluta: I am recruiting PhD students!🐝 If you are interested in ML security and privacy, intersected with formal methods and rigorou…
0
191
0
RT @GoogleDeepMind: Huge congratulations to @DemisHassabis and John Jumper on being awarded the 2024 Nobel Prize in Chemistry for protein s…
0
744
0
RT @soumithchintala: @francoisfleuret There's three parts. 1. Fitting as large of a network and as large of a batch-size as possible onto…
0
177
0
RT @robertghrist: can AI do research-level mathematics? make conjectures? prove theorems? there’s a moving frontier between what can and c…
0
254
0
RT @julienmairal: One of the most exciting project I have worked on recently. This is a nice framework for using deep neural networks in th…
0
2
0
RT @konstmish: A student reached out asking for advice on research directions in optimization, so I wrote a long response with pointers to…
0
133
0