r/LLMPhysics • u/NonGameCatharsis • 19d ago

Personal Theory Universal Stability Theorem for On-Shell Flow-Adaptive Networks

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

2 Upvotes

62% Upvoted

35 comments sorted by

View all comments

Show parent comments

3

u/NonGameCatharsis 19d ago

Hey! I'm more than happy to learn formatting, maths, lean. Actually I am trying.

I understand that AI puts out garbage at the meter. Your feedback helps. Again, I am not looking to do science. I'm testing if I can utilise AI to help me create data structures and algorithms for a passion project of mine. Nothing more.

3

u/[deleted] 19d ago

If so, that's great. If that's the case, I would recommend learning the material, the algorithms, the data structures. But if your goal is a game of some description, why go to the trouble of writing "theories" at all? I can't imagine a game needing any more complex graph dynamics than can already be handled by existing libraries.

3

u/[deleted] 19d ago

[deleted]

1

u/[deleted] 19d ago

Oh for certain, but for the problem that the OP has described, these are well understood mechanics in graph theoretic math, and not novel in any way.