SCIENCE UNDER AUTOMATION

AlphaProof + AlphaGeometry 2 · 2024

4 of 6 problems solved; 28/42 points

What this result supports

Humans formalized the problems; computation took up to three days, versus nine competition hours for students.

Evidence record: historical. Checked: 2026-10-20.

Read the primary source ↗

Where this evidence is used