3 ms·
GPT-5 helped mathematician Ernest Ryu solve a 40-year-old open problem
- perihelions 11mo agoDirect link, https://arxiv.org/abs/2510.23513 https://arxiv.org/abs/2510.23513 > "The Nesterov accelerated gradient method, introduced in 1983, has been a cornerstone of optimization theory and practice. Yet the question of its point convergence had remained open. In this work, we resolve this longstanding open problem in the affirmative. The discovery of the proof was heavily assisted by ChatGPT, a proprietary large language model, and we describe the process through which its assistance was"