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.

17650190

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 · 22/11/2025

Not exactly the same context, but it makes me think of this www.youtube.com/watch?v=w82a...

youtube.com

How to Start a Speech

YouTube video by Conor Neill

100

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 · 09/09/2025

... even though it allows for more fine-grained control and a deeper understanding of MIP aspects, rather than relying on a black-box solver where many things may happen under the hood? This seems to be a trend noticed among students in e.g. previous MIP workshops.

130

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

This is great. Thanks for putting this together, Thiago! If I may ask, is there a particular reason for using a (interface to a) commercial solver rather than an academic or open-source one, such as SCIP? I’m generally curious why it seems to be less commonly used, at least in US institutions ...

160

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 a personal thanks to @thserra.bsky.social for his advice and for inspiring me (and hopefully others) to do this and contribute to the community😄

020

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

A special issue of the INFORMS Journal on Optimization is soon open for submissions.

020

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

The talk wraps up with future directions, including a Branch-and-Price implementation to handle integrality, and the potential of combining Simplicial and Dantzig-Wolfe decompositions. Lucas also briefly mentions leveraging quantum optimization for tackling QUBO pricing subproblems.

020

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

Lucas also draws nice connections to graph theory, where these structural links help identify when and how a problem can be broken down effectively.

120

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

Finally, Lucas hints at the promise of block decompositions when the problem allows it. Numerical evidence suggests that when the model breaks into a handful of blocks (typically less than five), block-wise decomposition strategies can be effective.

120

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

A key takeaway is that injecting quadratic constraints in the pricing leads to better dual bounds but a harder pricing subproblem (as is the case for general DW in MIP).

120

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

The focus then shifts to non-convex binary quadratic problems, with reformulations that blend Dantzig-Wolfe decomposition with convex quadratic reformulations.

120

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

Lucas begins with a simplicial decomposition framework inspired by Carathéodory’s theorem, one that doesn’t rely on duality. Several strategies are proposed for handling the master, taking ideas from the Frank-Wolfe method and enhanced with cutting and sifting techniques for the pricing step.

120

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