Research
We should view the history of physics as a long-running program synthesis task. Kepler and Newton were searching the space of possible symbo…
We should view the history of physics as a long-running program synthesis task. Kepler and Newton were searching the space of possible symbolic models to find the simplest one that would best satisfy
We should view the history of physics as a long-running program synthesis task. Kepler and Newton were searching the space of possible symbolic models to find the simplest one that would best satisfy available observations.
Related
- The reason symmetry is so important in physics is because symmetry is a highly effective compression operator. If a system is invariant unde…
- Science needs a way to process models that are only 'mostly correct' in terms of their predictions, but are very compressive (high ratio bet…
- Simplicity is a very strong signal of model quality. Galileo's heliocentric model was directionally correct, but its predictive power was qu…
- Inference-Time Code Selection via Symbolic Equivalence Partitioning
Source: Francois Chollet (X) | 2026-04-09