One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...