Solving a Research Problem in Mathematical Statistics with AI Assistance
Not on the map. Why?
Abstract (arXiv)
Over the last few months, AI models including large language models have improved greatly. There are now several documented examples where they have helped professional mathematical scientists prove new results, sometimes even helping resolve known open problems. In this short note, we add another example to the list, by documenting how we were able to solve a previously unsolved research problem in robust mathematical statistics with crucial help from GPT-5. Our problem concerns robust density estimation, where the observations are perturbed by Wasserstein-bounded contaminations. In a previous preprint (Chao and Dobriban, 2023, arxiv:2308.01853v2), we have obtained upper and lower bounds on the minimax optimal estimation error; which were, however, not sharp. Starting in October 2025, making significant use of GPT-5 Pro, we were able to derive the minimax optimal error rate (reported in version 3 of the above arxiv preprint). GPT-5 provided crucial help along the way, including by suggesting calculations that we did not think of, and techniques that were not familiar to us, such as the dynamic Benamou-Brenier formulation, for key steps in the analysis. Working with GPT-5 took a few weeks of effort, and we estimate that it could have taken several months to get the same results otherwise. At the same time, there are still areas where working with GPT-5 was challenging: it sometimes provided incorrect references, and glossed over details that sometimes took days of work to fill in. We outline our workflow and steps taken to mitigate issues. Overall, our work can serve as additional documentation for a new age of human-AI collaborative work in mathematical science.
Key facts. Cited by 5 papers in the map (data through 7 Oct 2026). Builds on 11 of its 42 references that are in the map. First posted on arXiv 24 Nov 2025.
Builds on
11 of 42 references.
References · 11
- 2023Judging LLM-as-a-Judge with MT-Bench and Chatbot Arenacited by 8,393
- 2015Data-driven Distributionally Robust Optimization Using the Wasserstein Metric: Performance Guarantees and Tractable Reformulationscited by 285
- 2016Statistics of Robust Optimization: A Generalized Empirical Likelihood Approachcited by 182
- 2021Distributionally Robust Learningcited by 44
- 2019Generalized Resilience and Robust Statisticscited by 37
- 2019Minimax Confidence Intervals for the Sliced Wasserstein Distancecited by 24
- 2025Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proofcited by 10
- 2021Robust W-GAN-Based Estimation Under Wasserstein Contaminationcited by 9
- 2025G"odel Test: Can Large Language Models Solve Easy Conjectures?cited by 5
- 2025Accelerating mathematical research with language models: A case study of an interaction with GPT-5-Pro on a convex analysis problemcited by 5
- 2025Counting Cycles with AI: Counting Cycles with AI: Computationally Efficient Equivalent Forms with Applicationscited by 1
Built on by
Citing papers per year: 2026: 5.
5 papers.
- 2026The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learningcited by 4
- 2026QED-Nano: Teaching a Tiny Model to Prove Hard Theoremscited by 2
- 2026Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Mathcited by 1
- 2026k-server-bench: Automating Potential Discovery for the k-Server Conjecturecited by 0
- 2026The Benjamini--Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Testscited by 0
- 2026The Benjamini--Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests13 Jul 2026
- 2026k-server-bench: Automating Potential Discovery for the k-Server Conjecture8 Apr 2026
- 2026QED-Nano: Teaching a Tiny Model to Prove Hard Theorems6 Apr 2026
- 2026The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning16 Mar 2026
- 2026Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math6 Feb 2026