Mathematician Johannes Schmitt reports that GPT-5 has independently solved an open mathematical problem for the first time. The resulting paper clearly documents the collaboration between humans and ...