One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific breakthroughs, yet this has not been the case.