A Simple Clue May Help Machines Find Better Mathematics
A new math study uses the gap between a theorem’s short statement and long proof to guide machine-generated mathematical discovery.
formal proof difficulty
A new math study uses the gap between a theorem’s short statement and long proof to guide machine-generated mathematical discovery.