CoChat
Sign Up
PreprintCited by 3Artificial Intelligence ApplicationsArtificial Intelligence in Healthcare and EducationMachine Learning in Materials Science

The DOI matches its DataCite record.

Early science acceleration experiments with GPT-5

Open access
Bubeck, Sébastien, Coester, Christian, Eldan, Ronen, Gowers, Timothy, Lee, Yin Tat, Lupsasca, Alexandru, Sawhney, Mehtaab, Scherrer, Robert, Sellke, Mark, Spears, Brian K., Unutmaz, Derya, Weil, Kevin, Yin, Steven, Zhivotovskiy, Nikita·2025·arXiv
DOI 10.48550/arxiv.2511.16072arXiv 2511.16072
Open this paper in CoChat — free accountOpen PDF

Abstract

AI models like GPT-5 are an increasingly valuable tool for scientists, but many remain unaware of the capabilities of frontier AI. We present a collection of short case studies in which GPT-5 produced new, concrete steps in ongoing research across mathematics, physics, astronomy, computer science, biology, and materials science. In these examples, the authors highlight how AI accelerated their work, and where it fell short; where expert time was saved, and where human input was still key. We document the interactions of the human authors with GPT-5, as guiding examples of fruitful collaboration with AI. Of note, this paper includes four new results in mathematics (carefully verified by the human authors), underscoring how GPT-5 can help human mathematicians settle previously unsolved problems. These contributions are modest in scope but profound in implication, given the rate at which frontier AI is progressing.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

DataCite · 10.48550/arxiv.2511.16072

Cites

Statistics

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

No references could be resolved yet.

Research works printed but not linked: 55

  1. [Abu+24] H. Abu-Shawareb et al. 'Achievement of Target Gain Larger than Unity in an Inertial Fusion Experiment'. In: Phys. Rev. Lett. 132 (6 Feb. 2024), p. 065102. doi : 10.1103/PhysRevLett.132.065102 . url : https://link.aps.org/doi/10. 1103/PhysRevLett.132.065102 . · DOI
  2. [AM25] Boris Alexeev and Dustin G Mixon. 'Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof'. In: arXiv preprint arXiv:2510.19804 (2025). · arXiv
  3. [Alo24] Noga Alon. 'Graph-codes'. In: European Journal of Combinatorics 116 (2024), p. 103880.
  4. [Arg+19] C. J. Argue, Sébastien Bubeck, Michael B. Cohen, Anupam Gupta, and Yin Tat Lee. 'A Nearly-Linear Bound for Chasing Nested Convex Bodies'. In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA . SIAM, 2019, pp. 117-122. doi : 10.1137/1.9781611975482.8 . · DOI
  5. [Arg+21] C. J. Argue, Anupam Gupta, Ziye Tang, and Guru Guruganesh. 'Chasing Convex Bodies with Linear Competitive Ratio'. In: J. ACM 68.5 (2021), 32:1-32:10. doi : 10.1145/3450349 . · DOI
  6. [AM04] Stefano Atzeni and Jurgen Meyer-ter-Vehn. 'The Physics of Inertial Fusion: BeamPlasma Interaction, Hydrodynamics, Hot Dense Matter'. In: Oxford University Press (2004). Comprehensive reference for ICF plasma physics and alpha transport models.
  7. [Ban+20] Nikhil Bansal, Martin Böhm, Marek Eliás, Grigorios Koumoutsos, and Seeun William Umboh. 'Nested Convex Bodies are Chaseable'. In: Algorithmica 82.6 (2020), pp. 1640-1653. doi : 10.1007/S00453-019-00661-X . · DOI
  8. [BC22] Nikhil Bansal and Christian Coester. 'Online Metric Allocation and Time-Varying Regularization'. In: 30th Annual European Symposium on Algorithms, ESA . Vol. 244. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, 13:113:13. doi : 10.4230/LIPICS.ESA.2022.13 . · DOI
  9. [BA99] Albert-László Barabási and Réka Albert. 'Emergence of scaling in random networks'. In: science 286.5439 (1999), pp. 509-512.
  10. [BSZ25] Guy Barzilai, Ohad Shamir, and Moslem Zamani. 'Are Convex Optimization Curves Convex?' In: arXiv preprint arXiv:2503.10138 (2025). · arXiv
  11. [BV25] Anna Ben-Hamou and Vasiliki Velona. 'Inference in balanced community modulated recursive trees'. In: Bernoulli 31.1 (2025), pp. 457-483.
  12. [Ben99] Michel Benaïm. 'Dynamics of Stochastic Approximation Algorithms'. In: Séminaire de probabilités XXXIII . Vol. 1709. Lecture Notes in Mathematics. Springer, 1999, pp. 1-68.
  13. [Bie+19] Marcin Bienkowski, Jaroslaw Byrka, Marek Chrobak, Christian Coester, Lukasz Jez, and Elias Koutsoupias. 'Better Bounds for Online Line Chasing'. In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS . Vol. 138. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, 8:1-8:13. doi : 10.4230/LIPICS.MFCS.2019.8 . · DOI
  14. [BH92] H. S. Bosch and G. M. Hale. 'Improved formulas for fusion cross-sections and thermal reactivities'. In: Nuclear Fusion 32.4 (1992), pp. 611-631. doi : 10.1088/ 0029-5515/32/4/I07 .
  15. [Bra65] S. I. Braginskii. 'Transport Processes in a Plasma'. In: Reviews of Plasma Physics 1 (1965). Standard derivation of collisional transport coefficients for fully ionized plasmas, pp. 205-311.
  16. [Bub+16] Sébastien Bubeck, Katherine Edwards, Horia Mania, and Cathryn Supko. 'On paths, stars and wyes in trees'. In: arXiv preprint arXiv:1601.01950 (2016). · arXiv
  17. [Bub+20] Sébastien Bubeck, Bo'az Klartag, Yin Tat Lee, Yuanzhi Li, and Mark Sellke. 'Chasing Nested Convex Bodies Nearly Optimally'. In: Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, SODA . SIAM, 2020, pp. 14961508. doi : 10.1137/1.9781611975994.91 . · DOI
  18. [Bub+19] Sébastien Bubeck, Yin Tat Lee, Yuanzhi Li, and Mark Sellke. 'Competitively Chasing Convex Bodies'. In: SIAM J. Comput. 52.on (2019), STOC19-339STOC19-353. doi : 10.1137/20M1312332 . · DOI
  19. [BL16] Sébastien Bubeck and Nati Linial. 'On the local profiles of trees'. In: Journal of Graph Theory 81.2 (2016), pp. 109-119.
  20. [DV01] Thibault Damour and Alexander Vilenkin. 'Gravitational wave bursts from cusps and kinks on cosmic strings'. In: Phys. Rev. D 64 (2001), p. 064008. doi : 10.1103/PhysRevD.64.064008 . arXiv: gr-qc/0104026 . · DOI
  21. [DMN25] Charles-Philippe Diez, Luis da Maia, and Ivan Nourdin. 'Mathematical research with GPT-5: a Malliavin-Stein experiment'. In: arXiv preprint arXiv:2509.03065 (2025). · arXiv
  22. [Erd69] P Erdős. 'Problems and results in chromatic graph theory'. In: Proof techniques in graph theory (1969), pp. 27-35.
  23. [EHP58] P Erdős, F Herzog, and G Piranian. 'Metric properties of polynomials'. In: J. Analyse Math 6.1 (1958), pp. 125-148.
  24. [EG80] P. Erdős and R. L. Graham. Old and new problems and results in combinatorial number theory . Vol. 28. Monographies de L'Enseignement Mathématique [Monographs of L'Enseignement Mathématique]. Université de Genève, L'Enseignement Mathématique, Geneva, 1980, p. 128.
  25. [Erd61] Paul Erdős. 'Some unsolved problems'. In: Magyar Tudományos Akadémia Matematikai Kutató Intézet Közleményei (1961), pp. 221-254.
  26. [Erd92] Paul Erdős. 'Some of my favourite problems in various branches of combinatorics'. In: Le Matematiche 47.2 (1992), pp. 231-240.
  27. [EHS82] Paul Erdős, András Hajnal, and E Szemeredi. 'On almost bipartite large chromatic graphs.' In: Ann. Discrete Math 12 (1982), pp. 117-123.
  28. [FK25] Moran Feldman and Amin Karbasi. 'Gödel Test: Can Large Language Models Solve Easy Conjectures?' In: arXiv preprint arXiv:2509.18383 (2025). · arXiv
  29. [FL93] Joel Friedman and Nathan Linial. 'On Convex Body Chasing'. In: Discret. Comput. Geom. 9 (1993), pp. 293-321. doi : 10.1007/BF02189324 . · DOI
  30. [GV87] David Garfinkle and Tanmay Vachaspati. 'Radiation From Kinky, Cuspless Cosmic Loops'. In: Phys. Rev. D 36 (1987), p. 2229. doi : 10.1103/PhysRevD.36.2229 . · DOI
  31. [Geo+25] Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, and Adam Zsolt Wagner. 'Mathematical exploration and discovery at scale'. In: arXiv preprint arXiv:2511.02864 (2025). · arXiv
  32. [HL58] R. Harm and Jr. L. Spitzer. 'Transport phenomena in a completely ionized gas'. In: Physics of Fluids 1.1 (1958), pp. 29-36. doi : 10.1063/1.1724337 . · DOI
  33. [HN11] Hamed Hatami and Serguei Norine. 'Undecidability of linear inequalities in graph homomorphism densities'. In: Journal of the American Mathematical Society 24.2 (2011), pp. 547-565.
  34. [HL18] Walter K Hayman and Eleanor F Lingham. 'Research Problems in Function Theory (New Edition)'. In: arXiv preprint arXiv:1809.07200 (2018). · arXiv
  35. [IX25] Paata Ivanisvili and Xinyuan Xie. 'Counterexample to majority optimality in NICD with erasures'. In: arXiv preprint arXiv:2510.20013 (2025). · arXiv
  36. [JR25] Uijeong Jang and Ernest K Ryu. 'Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof'. In: arXiv preprint arXiv:2510.23513 (2025). · arXiv
  37. [Ker63] Roy P. Kerr. 'Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics'. In: Physical Review Letters 11 (1963), pp. 237-238. doi : 10.1103/PhysRevLett.11.237 . · DOI
  38. [KLS02] A. Khalfalah, S. Lodha, and E. Szemerédi. 'Tight bound for the density of sequence of integers the sum of no two of which is a perfect square'. In: Discrete Math. 256.1-2 (2002), pp. 243-255. issn : 0012-365X,1872-681X. doi : 10.1016/S0012365X(01)00435-6 . url : https://doi.org/10.1016/S0012-365X(01)00435-6 . · DOI
  39. [LRW84] John Lewis, John Rossi, and Allen Weitsman. 'On the growth of subharmonic functions along paths'. In: Arkiv för Matematik 22.1 (1984), pp. 109-119.
  40. [Lup25b] Alexandru Lupsasca. 'Why there is no Love in black holes'. In: arXiv preprint arXiv:2506.05298 (2025). · arXiv
  41. [Mar+96] M. M. Marinak, R. E. Tipton, O. L. Landen, T. J. Murphy, P. Amendt, S. W. Haan, S. P. Hatchett, C. J. Keane, R. McEachern, and R. Wallace. 'Three,Äêdimensional simulations of Nova high growth factor capsule implosion experiments'. In: Physics of Plasmas 3.5 (May 1996), pp. 2070-2076. issn : 1070-664X. doi : 10.1063/1. 872004 . eprint: https://pubs.aip.org/aip/pop/article-pdf/3/5/2070/ 19192908/2070\_1\_online.pdf . url : https://doi.org/10.1063/1.872004 . · DOI
  42. [MW84] D. Mihalas and B. Weibel-Mihalas. Foundations of Radiation Hydrodynamics . Source for gray radiation transport and escape probability formulations. New York: Oxford University Press, 1984.
  43. [PY00] Christos H. Papadimitriou and Mihalis Yannakakis. 'On the Approximability of Trade-offs and Optimal Access of Web Sources'. In: Proceedings of the 41st Annual Symposium on Foundations of Computer Science (FOCS 2000) . IEEE, 2000, pp. 86-92.
  44. [Pom59] Christian Pommerenke. 'Über die Kapazität ebener Kontinuen'. In: Mathematische Annalen 139.1 (1959), pp. 64-75.
  45. [Pom61] Christian Pommerenke. 'On metric properties of complex polynomials.' In: Michigan Mathematical Journal 8.2 (1961), pp. 97-115.
  46. [RC12] Jan Ramon and Constantin Comendant. 'Open Problem: Learning Dynamic Network Models from a Static Snapshot'. In: Proceedings of the 25th Annual Conference on Learning Theory . Ed. by Shie Mannor, Nathan Srebro, and Robert C. Williamson. Vol. 23. Proceedings of Machine Learning Research. Edinburgh, Scotland: PMLR, 25-27 Jun 2012, pp. 45.1-45.3. url : https://proceedings. mlr.press/v23/ramon12.html .
  47. [Raz07] Alexander A Razborov. 'Flag algebras'. In: The Journal of Symbolic Logic 72.4 (2007), pp. 1239-1282.
  48. [RM51] Herbert Robbins and Sutton Monro. 'A stochastic approximation method'. In: Ann. Math. Stat. (1951), pp. 400-407.
  49. [RS71] Herbert Robbins and David Siegmund. 'A convergence theorem for non negative almost supermartingales and some applications'. In: Optimizing methods in statistics . Elsevier, 1971, pp. 233-257.
  50. [Sal25] Adil Salim. 'Accelerating mathematical research with language models: A case study of an interaction with GPT-5-Pro on a convex analysis problem'. In: arXiv preprint arXiv:2510.26647 (2025). · arXiv
  51. [Sel23] Mark Sellke. 'Chasing convex bodies optimally'. In: Geometric Aspects of Functional Analysis: Israel Seminar (GAFA) 2020-2022 . Springer. 2023, pp. 313-335.
  52. [SS24] S. David Storm and Robert J. Scherrer. 'Gravitational radiation power spectrum of Garfinkle-Vachaspati cosmic string loops'. In: Phys. Rev. D 110.8 (2024), p. 083531. doi : 10.1103/PhysRevD.110.083531 . arXiv: 2406.06743 [gr-qc] . · DOI
  53. [Sze76] E. Szemerédi. 'On a problem of P. Erdős'. In: J. Number Theory 8.3 (1976), pp. 264-270. issn : 0022-314X,1096-1658. doi : 10.1016/0022-314X(76)90003-2 . url : https://doi.org/10.1016/0022-314X(76)90003-2 . · DOI
  54. [Teu73] Saul A. Teukolsky. 'Perturbations of a Rotating Black Hole. I. Fundamental Equations for Gravitational, Electromagnetic, and Neutrino-Field Perturbations'. In: Astrophysical Journal 185 (1973), pp. 635-648. doi : 10.1086/152444 . · DOI
  55. [Wal84] Robert M. Wald. General Relativity . University of Chicago Press, 1984.

Cited by

Sorted by citations

Metadata

Authors
Bubeck, S., Coester, C., Eldan, R., Gowers, T., Lee, Y. T., Lupsasca, A., Sawhney, M., Scherrer, R., Sellke, M., Spears, B. K., Unutmaz, D., Weil, K., Yin, S., & Zhivotovskiy, N.
ORCID
Venue
arXiv
Publisher
arXiv
Published
2025
ISSN
2331-8422 (ISSN-L)
DOI
10.48550/arxiv.2511.16072
arXiv
2511.16072
OpenAlex
W4416550248
Cited by
3
References
0
Citations by year
2026: 3
Type
posted content
Language
en
Open access
Licence
creativecommons.org/licenses/by/4.0/legalcode
Locations
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University) (cc-by)
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Artificial Intelligence Applications
  • Health Sciences › Medicine › Health Informatics › Artificial Intelligence in Healthcare and Education
  • Physical Sciences › Materials Science › Materials Chemistry › Machine Learning in Materials Science
Keywords
GPT-5, large language models, AI-assisted research, human-AI collaboration, mathematics, open problems, research acceleration

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review