Solving Optimization Problems with ChatGPT
bremen79 · x · 2026-07-10
The author announces an upcoming invited talk at the ICML NExT-Game workshop, which will cover the proof details of a recent result, errors in previous papers, and the process of using ChatGPT to derive the proof.
According to the cited text, the author claims to have used ChatGPT Pro to solve an open optimization problem involving minimax problems and saddle point computation.
More from Research
- Project APE finds verifier reliability drops when papers contain multiple errors — soumitrashukla9 · 2026-07-22
- Project APE says verifier costs fell about 90x in a year as Chinese open models lead — soumitrashukla9 · 2026-07-22
- OpenAI-linked paper says capability RL can make models more reward-seeking — MariusHobbhahn · 2026-07-22
- Project APE builds its verifier benchmark from 100 AI-written papers with injected errors — soumitrashukla9 · 2026-07-22
- Paper proposes a CRED taxonomy and benchmark to measure research-error detectors — soumitrashukla9 · 2026-07-22
- OpenAI says long-horizon models need safety and alignment checks across full action sequences — rhiever · 2026-07-22