Can physics get a proof checker?
A post introducing a conversation with applied mathematician Jonathan Gorard says it explores why AI took off in math and coding, but not physics.
TLDR
A post introducing the conversation says Gorard discusses his push to make physics executable and his view that “I detected a particle” rests on 20 to 50 levels of theory. Gorard says they also discuss the Hilbert-Gandy program and how to connect AI to the physical world.
Combined views
5.2K
1 Source, first seen ago
