Jul 25, 2024
Two systems solve four of six 2024 International Mathematical Olympiad problems.
A combined score comparable to a silver medal. Problems were translated into formal language and some runs took longer than human contest limits.
Explore on Humanity Unfolds
