Marouane Felloussi

@marouanefl.bsky.social

phd student at mines st-étienne/univ. clermont auvergne. interested in discrete optimization. https://marouane-f.github.io

Ambros Gleixner gives the first keynote of #cpaior2026 on the numerical correctness of MILP solvers. By solving LP relaxations, MILP solvers may need variables with long representations. That is at odds with the use of floating-point arithmetic, which begets the use of tolerance parameters. 1/N

BildBildBildBild

OpenAI's claim that this is a central conjecture in discrete geometry is not an exaggeration. This will I think be looked back on as the first time that AI solved a major mathematics problem (defined as a problem that all experts in some subfield had thought about). openai.com/index/model-...

An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

openai.com

📢 #ISMP2027 comes to Amsterdam! The 26th International Symposium on Mathematical Programming will be held July 25–30, 2027. Join researchers from around the world to discuss advances, challenges, and opportunities in the theory and practice of mathematical optimization. 🔗 ismp2027.mathopt.nl #MOS

The 26th International Symposium on Mathematical Programming will be held in Amsterdam, The Netherlands, from July 25th through July 30th, 2027. The event is the symposium of the Mathematical Optimization Society (MOS).

ismp2027.mathopt.nl

Multiple AI systems won gold medals at the 2025 International Mathematical Olympiad (IMO). Exciting as that sounds, @GregHBurnham argues that it represents little progress: an unlucky draw of problems made the event relatively uninformative. Is that cope? Judge for yourself. 🧵

Bild