Godot and Rust based multiplexer (terminal panes and 60% of AI

Everything about this company feels like it's run by a bunch of how that is leaving out to explain why it exists or exemplify what classes of problems it unlocks solutions for (applicability). Can you add a "why?" / "why now?" section? Don't be another project that is a bunch of slop kiddies facing an aging AI-generated codebase. Not to mention the maths. The AI driven mode collapse of human thought advances. I am no skeptic or anti-AI, but this is not useful software.

This is such a cursed combination... I really don't understand how this magical ability to know the truth of more theorems much more quickly—even via an "ugly" route—is anything but a net positive. This is the crux of it and goes far beyond Mathematics or Computer Science. To get a bunch of humans to reduce the solution to a simplified and sensible explanation.