iiinova — where your digital self keeps evolving

Reposted by Marouane Felloussi

ArXiv math.OC Optimization and Control @optb0t.bsky.social · 20/08/2026

📚 New Arxiv Paper Title: An Integer Programming Approach to Compute Lower Bounds for Ramsey Numbers Using Circulant Graphs Authors: Stefano Coniglio, Fabio Furini, Ivana Ljubi\'c, Pablo San Segundo, Johannes Th\"uerauf, Emiliano Traversi Read more: arxiv.org/abs/2608.18769

033

Reposted by Marouane Felloussi

Daniel Litt @littmath.bsky.social · 11/08/2026

Yesterday I gave a talk at an OpenAI summit on the future of mathematics. I was asked to talk about the bad future, where humans become mathematically disempowered. Here's a blog post based on the talk: www.daniellitt.com/blog/2026/8/...

daniellitt.com

The End of Mathematics — Daniel Litt

126820

Marouane Felloussi @marouanefl.bsky.social · 04/08/2026

The end of the age of heroes AI will soon be better at math than any human. What does that mean? open.substack.com/pub/noahpini...

open.substack.com

The end of the age of heroes

AI will soon be better at math than any human. What does that mean?

011

Reposted by Marouane Felloussi

ArXiv math.OC Optimization and Control @optb0t.bsky.social · 20/07/2026

📚 New Arxiv Paper Title: A Numerically-safe Branch-Price-and-Cut Algorithm for the Length-Constrained Cycle Partition Problem Authors: Mohammed Ghannam, Ambros Gleixner, Gioni Mexi, Edward Lam Read more: arxiv.org/abs/2607.15837

021

Marouane Felloussi @marouanefl.bsky.social · 24/07/2026

“The single most basic form of expression that humans draw upon is imitation of others, and so I think having an original idea may qualify you as being partially insane.”

041

Reposted by Marouane Felloussi

AntoinePrv @antoineprv.bsky.social · 10/06/2026

Solving MILP in the browser with PySCIPOpt 🚀 No server, no installation, 100% WASM, running on *your* machine. + Some cool ipycanvas visualizations notebook.link/@AntoinePrv/...

notebook.link

Notebook.link - Run & Share Jupyter Notebooks Instantly

A fully interactive, scalable, and language-agnostic computing environment that operates entirely in your browser. Supports Python, R, C++, and GNU Octave. Share a link — anyone can run it instantly.

053

Reposted by Marouane Felloussi

Thiago Serra @thserra.bsky.social · 27/05/2026

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

2102

Reposted by Marouane Felloussi

Paysages Mathématiques @paysmaths.bsky.social · 22/05/2026

"[L'invention mathématique] ne consiste pas à faire de nouvelles combinaisons avec des êtres mathématiques déjà connus. Cela, n’importe qui pourrait le faire, mais les combinaisons que l’on pourrait former ainsi [...]" – Henri Poincaré (1854-1912) #citation #mathématiques #invention #maths #math

Portrait photographique de Henri Poincaré, et une citation : "[L'invention mathématique] ne consiste pas à faire de nouvelles combinaisons avec des êtres mathématiques déjà connus. Cela, n’importe qui pourrait le faire, mais les combinaisons que l’on pourrait former ainsi seraient en nombre infini, et le plus grand nombre serait absolument dépourvu d’intérêt. Inventer, cela consiste précisément à ne pas construire les combinaisons inutiles et à construire celles qui sont utiles et qui ne sont qu’une infime minorité. Inventer, c’est discerner, c’est choisir."

012

Reposted by Marouane Felloussi

Pierre Alquier @pierrealquier.bsky.social · 22/05/2026

Super nice workshop organized by William Kengne in St-Etienne: www.univ-st-etienne.fr/fr/icj/actua...

022

Reposted by Marouane Felloussi

Timothy Gowers @wtgowers.bsky.social · 20/05/2026

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-...

openai.com

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.

17652191

Reposted by Marouane Felloussi

Thiago Serra @thserra.bsky.social · 18/05/2026

Andre Cire kicks off the 2026 MIP Workshop by talking about how to tackle coupled dynamic systems from a polyhedral perspective #mip2026 1/N

191

Marouane Felloussi @marouanefl.bsky.social · 10/05/2026

Registration is open and is entirely fee-free! www.mixedinteger.org/EUROMIP/2026...

031

Reposted by Marouane Felloussi

Quanta Magazine @quantamagazine.org · 04/05/2026

To seek out or hide from sunlight, chloroplasts can move. Their optimized packing helps them photosynthesize while avoiding sun damage. www.quantamagazine.org/the-hidden-m...

quantamagazine.org

The Hidden Mathematical Dance Inside Plant Cells | Quanta Magazine

The sunlight-collecting organelles known as chloroplasts solve a packing problem: how to optimize photosynthesis without sustaining damage from dangerously intense rays.

13910

Reposted by Marouane Felloussi

Sebastian Pokutta @spokutta.bsky.social · 13/04/2026

For a decade it was open whether Frank-Wolfe's O(1/√ε) rate on strongly convex sets is tight. We show it is: Ω(1/√ε), even for a simple quadratic on a unit ball.

1134

Reposted by Marouane Felloussi

Sophie Huiberts @sophie.huiberts.me · 20/03/2026

MIP European Workshop 2 October 19-21, Rome This is my favorite event in the world. Save the date

mixedinteger.org

Mixed Integer Programming European Workshop 2026

0113

Reposted by Marouane Felloussi

Sophie Huiberts @sophie.huiberts.me · 10/03/2026

Book recommendation: Street-Fighting Mathematics by Sanjoy Mahajan I read this early in my PhD, and it's been with me ever since. Chapter 1 grants a superpower that I cannot imagine living without.

direct.mit.edu

Street-Fighting Mathematics: The Art of Educated Guessing and Opportunistic Problem Solving

An antidote to mathematical rigor mortis, teaching how to guess answers without needing a proof or an exact calculation.In problem solving, as in street fi

2195

Reposted by Marouane Felloussi

ISMP 2027 – Amsterdam @ismp2027.bsky.social · 27/02/2026

📢 #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

ismp2027.mathopt.nl

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).

1258

Reposted by Marouane Felloussi

European Mathematical Society @euromathsoc.bsky.social · 05/02/2026

📢 New member benefit! 🎁 Free e-book 📘 EMS members can now enjoy access to "Writing Mathematical Papers in English – a practical guide" by Jerzy Trzeciak in their member profile area. Not a member yet? Join the EMS and enjoy all benefits: euromathsoc.org/individual-m...

033

Reposted by Marouane Felloussi

Rolf van der Hulst @rolfvanderhulst.bsky.social · 25/11/2025

The SCIP 10 optimization suite has many new interesting features and is fully open source. For binaries and downloads, check www.scipopt.org/index.php#do...

scipopt.org

SCIP

0165

Marouane Felloussi @marouanefl.bsky.social · 28/10/2025

Is there a rule of thumb for how to split research content between a conference paper and its extended journal version, while respecting overlap limits and without it looking like holding back material?

110

Marouane Felloussi @marouanefl.bsky.social · 20/10/2025

The 2026 Land-Doig Competition is open! This year’s topic is GPU-Accelerated Primal Heuristics for Mixed-Integer Programming. Details below. www.mixedinteger.org/2026/competi...

mixedinteger.org

MIPcc26: The 2026 Land-Doig MIP Competition

062

Marouane Felloussi @marouanefl.bsky.social · 05/09/2025

Krunal explores different optimization strategies for this year’s IMO P6, a combinatorial tiling problem with tricky coverage constraints. Worth a look!

youtu.be

Optimization models for IMO 2025 P6

YouTube video by Krunal Patel

030

Reposted by Marouane Felloussi

Epoch AI @epochai.bsky.social · 11/08/2025

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. 🧵

131

Reposted by Marouane Felloussi

Sophie Huiberts @sophie.huiberts.me · 11/08/2025

This is about one of my greatest inspirations. It would mean a lot to me if you gave it a watch

youtube.com

Lessons from Paula Harris / by Sophie Huiberts

YouTube video by Mixed Integer Programming

0227

Reposted by Marouane Felloussi

Sophie Huiberts @sophie.huiberts.me · 27/07/2025

This story of the discovery of Alison Doig the person is wild pursuit.unimelb.edu.au/articles/cel...

The first author of that paper was his own supervisor, Ailsa Land, who was still at the London School of Economics. But he did not know what had become of the second author. “All I know is that she was Australian and that she shares your name,” Gilbert said to me.

Many years later, I started teaching optimisation (and her own branch-and-bound method) at the University of Melbourne. I always mentioned the mystery of this Australian woman who was my namesake and who had disappeared after publishing such an influential paper.

After one of these classes, a student approached me and said, “Professor, there’s a tutor here named Alison. Maybe it’s her.”

With little hope, I looked into it, and to my surprise, the tutor was indeed Alison Doig, now Alison Harcourt. My desire was to run, knock on each one of my colleagues’ doors and ask: “Do you know who that woman is?”.

1175

Marouane Felloussi @marouanefl.bsky.social · 03/07/2025

And that's a wrap on #EuroMIP25! Three packed days of great talks and inspiring research. Huge thanks to @sophie.huiberts.me , @matbesancon.bsky.social, the rest of the MIP committee and the local team for making this first edition a real success!

4121

Marouane Felloussi @marouanefl.bsky.social · 03/07/2025

Lucas Létocart’s wraps up with a dive into Decomposition Methods for Quadratic Programming problems, both convex and non-convex. #EuroMIP25 #orms

151

Marouane Felloussi @marouanefl.bsky.social · 03/07/2025

Stefan Kuhlmann’s talk focused on Sparse Integer Solutions and Approximations. This is an important topic both theoretically and in applications where nonzero entries can represent costly decisions or changes. #EuroMIP25 #orms

141

Marouane Felloussi @marouanefl.bsky.social · 03/07/2025

Sophie Demassey @sofdem.bsky.social kicks off the third and final day of #EuroMIP25 with a talk on Block Coordination of Nonlinear Network and Discrete Optimization. She focuses on scheduling nonlinear flow networks, with an application to load shifting in drinking water systems. #EuroMIP25 #orms

252

Marouane Felloussi @marouanefl.bsky.social · 03/07/2025

François Lamothe explores strengthening linear relaxations for MIPs by combining Dantzig-Wolfe and Fenchel decompositions. #EuroMIP25 #orms

141

Marouane Felloussi @marouanefl.bsky.social · 03/07/2025

Laurent Poirrier dives into the engineering side of the simplex method (with slides that speak for themselves). He starts from the standard form of LPs and outlines the usual solving techniques: simplex, interior point, and first-order methods.

182

Marouane Felloussi @marouanefl.bsky.social · 03/07/2025

Yelena Yuditsky presents recent advances on solving special classes of integer programs with bounded subdeterminants. #EuroMIP25 #orms

131

Marouane Felloussi @marouanefl.bsky.social · 02/07/2025

Johannes Thurauf presents joint work with Martin Schmidt on an Exact Method for Nonlinear Network Flow Interdiction Problems, modeled as max–min bilevel programs with nonconvex, nonlinear flow constraints on the follower side. #EuroMIP25 #orms

161

Marouane Felloussi @marouanefl.bsky.social · 02/07/2025

Leona Gottwald talks about which components are truly necessary for delivering good performance in modern MIP solvers, drawing from her development experience of HiGHS (and others). #EuroMIP25 #orms

1114

Marouane Felloussi @marouanefl.bsky.social · 02/07/2025

Fabio Furini talks about Hidden Bilevel Structures in Graph Disconnection Problems, focusing on the capacitated vertex separator and the k-vertex cut. Both are reformulated as Stackelberg games: a leader deletes vertices and a follower optimizes over the disconnected graph. #euroMIP25 #orms

161

Marouane Felloussi @marouanefl.bsky.social · 02/07/2025

Monique Laurent opens the second day of #EuroMIP25 with a presentation on Semidefinite approximations for bicliques and biindependent pairs. The focus is on measures involving the size and balance of independent sets in bipartite graphs such as their sum or product. #EuroMIP25 #orms

142

Marouane Felloussi @marouanefl.bsky.social · 01/07/2025

Frédéric Didier presents the MIP-related aspects of Google’s CP-SAT solver, with a focus on how linear relaxations, cuts, and presolve are integrated into a framework originally designed for pure integer problems. #EuroMIP25 #orms

182

Marouane Felloussi @marouanefl.bsky.social · 01/07/2025

Veronica Piccialli tackles the challenge of computing strong bounds for large-scale Minimum Sum-of-Squares Clustering (MSSC). She begins by highlighting the importance of global optimality, as heuristic solutions like k-means can lead to misleading interpretations.

131

Marouane Felloussi @marouanefl.bsky.social · 01/07/2025

Meike Neuwohner presents a characterization of total unimodularity for disjoint hypergraphs, , i.e. hypergraphs whose hyperedges of size at least four are pairwise disjoint. #EuroMIP25 #orms

141

Marouane Felloussi @marouanefl.bsky.social · 01/07/2025

Elina Rönnberg presents a method to accelerate branch-and-price by directly targeting integrality in the column generation (CG) phase.

191

Marouane Felloussi @marouanefl.bsky.social · 01/07/2025

Alexandra Lassota presents an overview of how Integer Programming meets Fixed-Parameter Tractability (FPT), showing how structural parameters can make hard problems tractable.

140