Universal Stability Theorem for On-Shell Flow-Adaptive Networks

[u/NonGameCatharsis]

Hey everyone,

I've seen a few comments on the subreddit, criticising why it's always a TOE and not a niche problem. So I found a niche problem and attempted to solve it. For this I utilised Gemini 3.7 Flash as mathematical consultant. On my desktop I run Cursor with Cursor Grok 4.6 high to verify all input, extend it, and incrementally build the lean verification.

Both models are instructed to compute before answering (it's a toggle in Google AI Studio in the browser) and work in atomic increments on the problem.

My Gemini sessions are regularly reset, often when I get in the range of 300k tokens.

My strategy was to start without assumptions (I don't know anything about this really) and have the AIs figure out the best way to mathematically tackle the solving process. I've tried my best to use adversarial prompting to catch any errors.

Thanks for taking the time!

Full repository with Lean 4 / Mathlib 4.28 formalization and the main document as markdown and pdf: https://github.com/tripstoph/universal-stability-theorem/tree/main

Edit: All contents of the repo are AI generated. This post was written completely by a human. :-)

[u/NonGameCatharsis]

Good question! The "theory" here I did, because there were a bunch of comments here in the subreddit complaining why nobody of us crackpots never tries something "normal" instead of always going for a TOE. I thought it's a fun thing to do and test how far I can get.

Also helped me think way more critically about the AI generated content and my own logical approach.

For the game I want the whole game to run on a unified data structure. For this I want to construct a finite graph that contains motifs (e.g. "brick") which itself are comprised of smaller motifs ("molecules"). Coupled with a "knowledge tree" and a library of motifs for behaviour, I want to create a machine automata simulation game.

The player then simply tweaks societal rules and facilitates change over time. I know it's a really big project, I will probably work the next 20 years on it. But it's part of a sci-fi world that I've been building lore, technology, etc. for seven years now, so I am confident I have the interest and will to see it through.

[u/2_lazy → u/NonGameCatharsis]

It sounds like what you want is a graph database linked to a document database. No LLM physics required there. (Not a physicist, just a programmer)

[u/NonGameCatharsis → u/2_lazy]

My setup is: Templates in markdown, graph kernel in python (for now), database to save the progress. The graph has a set of update rules. As the game progresses (1 day in real time is 1 month ingame), the simulated society changes based on what the kernel computes. The trick here is, that I build one graph kernel to compute and then can add content in markdown format.

[u/2_lazy → u/NonGameCatharsis]

Yeah I don't really see how any of that has to do with what you have posted here. Additionally markdown format is really not a great format for data storage, JSON or something like that would be better.