Teaching computers to find simple science formulas
Constraint-aware symbolic regression
Official path: live formula tools (PySR vs PhySO). Proxy tables are practice only. Big test finished (1,920 runs) — proved yet: no until the checklist clears. See Live Findings.
Official support path is live PySR vs PhySO (E1); STLS tables are exploratory only. E1 full grid done (1920/1920) — claim stays false until §5 criteria clear. See Live Findings.






