4 ms·
> That's programming language work for physical theory Well, that would be insanely valuable since it would open up theoretical physics to machine-approaches (
by catchclose8919 5y ago
> That's programming language work for physical theory
Well, that would be insanely valuable since it would open up theoretical physics to machine-approaches (AI/ML). I know many are disgusted by this, but I'd love to see a PhysicalTheory-fold equivalent of Alpha-fold chew throw all modern theoretical physics and rank all theories on a possiblity-probability score or sh like that, since the amount of stuff a human would have to go through is already too much...
- Kaomet 5y agoOn paper, current AI/ML can allready do this with math and proofs. But it's still a grind, and doesn't produce pretty pictures like a GAN. Actually, I don't see what's preventing Deutsch from formalizing his work in an allready existing proof assistant, like Lean or Coq.