Artificial Intelligence Discoveries in Particle Physics
In the following section, Valdés- Pérez ( 1996b) summarizes (a) criticism of discovery systems, (b) the counterexample of the PAULI system that enabled discovery of a novel theorem in particle physics, and (c) the ensuing complications in particle physics research and theory related to PAULI's discovery of the theorem that specified a single conservation law.
A widespread objection to research on scientific discovery is that there has been a noticeable dearth of significant novel findings in domain sciences contributed by machine discovery programs. The implication is that the essential parts of the discovery process are not captured by these programs. The aim of this note is to document for the AI audience a novel finding in particle physics that was enabled by the machine discovery program PAULI reported previously. This finding consists of a theorem that expresses the minimum number of conservation laws that are needed, mathematically speaking, to account for any consistent experimental data on particle reactions. This note also reports how a puzzle raised by a theorem--its conflict with physics practice--is resolved.
A widespread objection to research on computational scientific discovery is