A propose → verify → evolve loop for exact solutions of Einstein's field equations — genetic programming proposes, SymPy proves (theorem or nothing). Also: proven Kaluza–Klein/thermodynamic-gravity theorems, chaos as a LISA signature, and the first Python Cartan–Karlhede equivalence-problem solver.
computer-algebra genetic-programming dynamical-systems sympy gravitational-waves general-relativity chaos-theory symbolic-computation kerr einstein-field-equations black-holes ai4science kaluza-klein automated-discovery exact-solutions cartan-karlhede equivalence-problem petrov-classification
-
Updated
Sep 7, 2026 - Python