Simon Frieder

@friederrrr

Making the hills LLMs can climb towards becoming Math Copilots. AIMO Prize Manager. friederrr.org (Opinions my own.)

Joined January 2023

Following

290

Followers

Replies Reposts Media

Simon Frieder
@friederrrr
Sep 11
I foresee that claiming a new conjecture (an activity that is already well established in math, but not prominent) will gain in prominence in the near future when AI will slowly (limited by token cost) clean up most conjectures.
Simon Frieder
@friederrrr
Sep 10
1/ Just returned from Aussois, France, where on Sept 3rd I gave a talk about what is likely the first really full open LLM that can also do IMO-level problems well (Bronze medal @ IM026). And by open, I mean REALLY OPEN: checkpoints, harness, the lot. aitp-conference.org/2026/
1
Simon Frieder
@friederrrr
Sep 9
If we take a step back from the entire controversy surrounding Navier-Stokes, and OpenAI, it becomes clear that things like these will happen with commercial LLMs. The only way one can be sure is to use a local LLM, as your data stays with you! The most open one trained on math
Sebastien Bubeck
@SebastienBubeck
Sep 8
I would like to clarify a few things: 1) The screenshot is my reaching out to Levent to coordinate our releases. I hope it’s clear from the message that we came in with the best possible intentions. 2) I never ever asked for Levent to be removed from authorship of his own work
Simon Frieder
@friederrrr
Jul 11
It's that time of the month. A new LLM has been launched (GPT 5.6) and everyone is jumping on their favorite conjectures and open problems to see if the LLM can help solve it. If this is the future of mathematics, it's kind of bleak.
2
Simon Frieder
@friederrrr
Jul 2
Puzzle alarm at ICML!!! :)
Jocelyn D'Arcy
@Jocelyn_K_DArcy
Jul 2
Did you catch our puzzle at King’s Cross tube this morning?
00:00