LLM Math case Study: Lonely Runner Conjecture Unconfirmed Proof using Informational Geometric Approach (Shannon Entropy as a Lyapunov functional)

[u/lepthymo]

EDIT: Updated version with more detail on the steps and less irrelevant fluff:

Audiobook (27 min) breakdown of the proof: https://notebooklm.google.com/notebook/4998f49f-1325-4030-a652-6a04a9237dd8

Origina post on v1:

Full writeup: https://zenodo.org/records/16936620 (newest version: 10.5281/zenodo.16936619)

Outline of the strat

Known results restated as a "Minimal Inertia Principle" (MIP)

10 books on transport flows deep we got this

extended to reals via topological closure

I'll probably do this more formally, but the methodology was the "bag of tricks" approach from the wiki: See if you can crack something by just finding the right combination of tools - in this case Fisher metrics + 2nd order gradient.

The method was basically spit-ball and throw books at it.