Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof — mentioned by helloplanets

Mon, 04 May 2026 09:29:27 GMT

You're right, definitely as a helper, not a one shot thing. Here's an example unrelated to the Erdos problems: https://arxiv.org/abs/2510.23513

Paper and discussion history. A mention is not an endorsement.

Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof — mentioned by perihelions

Tue, 25 Nov 2025 02:07:00 GMT

Direct link, 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"

Paper and discussion history. A mention is not an endorsement.

Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof · HackerPapers discussions

Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof — mentioned by helloplanets

Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof — mentioned by perihelions