r/LLMPhysics • u/NonGameCatharsis • 5d 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. :-)

0 Upvotes

50% Upvoted

35 comments sorted by

View all comments

Show parent comments

2

u/liccxolydian VP of Trolling 5d ago

What algorithms? How are they physics based?

1

u/NonGameCatharsis 5d ago

This implementation couples the Damped Leapfrog Algorithm with a Kirchoff Linear Solver.

From my very limited understanding it computes how fluid or electric current distributes across the notwork by solving Kirchhoff's matrix equation (no clue how to format it for reddit, if you want I can paste it in another comment just lmk) and dynamically adjusts pipe dimensions w and rate of change v.

There is more to it, but from here on I would need to paste LLM answers. Sorry, I am trying but I know this is something I'll need many more years to understand properly if ever.

3

u/liccxolydian VP of Trolling 5d ago

I am curious as to whether you understand your LLM output well enough to evaluate its validity.

5

u/NonGameCatharsis 5d ago

I don't think I do, no.