Technically, the computer does not output equations, but finds “invariants” — mathematical expressions that remain true all the time, from which human insights can derive equations.
Computer Derives Natural Laws
Technically, the computer does not output equations, but finds “invariants” — mathematical expressions that remain true all the time, from which human insights can derive equations.