AlphaProof solves 4/6 IMO problems at silver-medal level · DeepSignal