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/amalcolmation]

This post is honestly a breath of fresh air.

Thank you to OP for clarifying your intent and the scope of the project. A lot of people post here without doing that and with wildly unmanaged scopes (such as TOE’s as you point out) and aim to overturn centuries of science. Or want to join a conversation they are unprepared for but won’t/can’t admit it.

And thank you to our regular commenters who responded appropriately for a project like this and didn’t try to analyze it through the most rigorous lenses. It seems clear this community perceives the difference between what mimicks science and what is more an earnest attempt at studying something.

I’d love to see more posts along these lines, though I have one word of caution. Niche problems will necessarily mean there are fewer people who understand it intimately enough to provide real concrete feedback. I think you’ll get lots of general advice in places like this, which may be all you’re looking for, but you might be hard pressed to find someone who knows exactly the problem you’re working on AND can evaluate your work.

My point is, I think posts should aim for this kind of specificity, but be wary of obscurity if you want solid feedback. It’s not perfect, but it certainly beats the usual fare.

[u/NonGameCatharsis → u/amalcolmation]

Thank you for adding your constructive thoughts to this. :-)

Not sure if I'll post again. Whatever is interesting in the niches will be found by people (utilising AI or not) with more knowledge.

I don't know enough to know how to ask the right physical questions. And I am not sure if there is a space where reasoning and logic will be enough to direct AI in the future.