CoChat
Sign Up
PreprintCited by 6Evolutionary Algorithms and ApplicationsArtificial Intelligence ApplicationsMathematics, Computing, and Information Processing

Mathematical exploration and discovery at scale

Open access
Georgiev, Bogdan, Gómez-Serrano, Javier, Tao, Terence, Wagner, Adam Zsolt·2025·arXiv
DOI 10.48550/arxiv.2511.02864arXiv 2511.02864
Open this paper in CoChat — free accountOpen PDF

Abstract

AlphaEvolve (Novikov et al., 2025) is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary framework that proposes, tests, and refines algorithmic solutions to challenging scientific and practical problems. In this paper we showcase AlphaEvolve as a tool for autonomously discovering novel mathematical constructions and advancing our understanding of long-standing open problems. To demonstrate its breadth, we considered a list of 67 problems spanning mathematical analysis, combinatorics, geometry, and number theory. The system rediscovered the best known solutions in most of the cases and discovered improved solutions in several. In some instances, AlphaEvolve is also able to generalize results for a finite number of input values into a formula valid for all input values. Furthermore, we are able to combine this methodology with Deep Think and AlphaProof in a broader framework where the additional proof-assistants and reasoning systems provide automated proof generation and further mathematical insights. These results demonstrate that large language model-guided evolutionary search can autonomously discover mathematical constructions that complement human intuition, at times matching or even improving the best known results, highlighting the potential for significant new ways of interaction between mathematicians and AI systems. We present AlphaEvolve as a powerful new tool for mathematical discovery, capable of exploring vast search spaces to solve complex optimization problems at scale, often with significantly reduced requirements on preparation and computation time.

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.02864

Cites

Statistics

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?

  • MLEvolve outperforms AlphaEvolve-v2 on mathematical optimization tasks.

    “further outperforms AlphaEvolve [6] and AlphaEvolve-v2 [21] on mathematical optimization tasks”

    From MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery (2026) · cites this paper as [21]

    The Introduction (p. 1) says this follow-up paper tests AlphaEvolve on mathematical problems, and Section 6 (p. 9) compares its results with existing bounds. Searches for “MLEvolve” and “AlphaEvolve-v2” found no passage identifying that version or comparing it with MLEvolve, so our copy does not establish the claimed outperformance. (LLM, conf=0.76)

    Experimental — accuracy not yet measured

  • MLEvolve achieves the best result on 11 of 15 tasks from AlphaEvolve when compared with specialized algorithmic discovery methods.

    “MLEvolve achieves the best result on 11 of 15 tasks when compared with specialized algorithmic discovery methods”

    From MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery (2026) · cites this paper as [21]

    The Introduction (p. 1) and Section 6 (p. 9) discuss AlphaEvolve’s results on mathematical problems, but do not report results for MLEvolve. Searches for “MLEvolve” and “11 of 15 tasks” found no passage supporting the claimed comparison with specialized algorithmic discovery methods. (LLM, conf=0.75)

    Experimental — accuracy not yet measured

Self-check

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

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

Cites

Still being checked.

Research works printed but not linked: 197

  1. [2][2] Problems from the workshop on 'Low Eigenvalues of Laplace and Schrödinger Operators'. American Institute of Mathematics Workshop, May 2006. -
  2. [4][4] J. M. Aldaz. Remarks on the Hardy-Littlewood maximal function. Proceedings of the Royal Society of Edinburgh: Section A Mathematics , 128(1):1-9, 1998. -
  3. [5][5] Boris Alexeev, Evan Conway, Matthieu Rosenfeld, Andrew V. Sutherland, Terence Tao, Markus Uhr, and Kevin Ventullo. Decomposing a factorial into large factors, 2025. arXiv:2503.20170. - · arXiv
  4. [6][6] Alberto Alfarano, François Charton, and Amaury Hayat. Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers. In Advances in Neural Information Processing Systems , volume 37. Curran Associates, Inc., 2024. -
  5. [7][7] Mark S. Ashbaugh, Rafael D. Benguria, Richard S. Laugesen, and Timo Weidl. Low Eigenvalues of Laplace and Schrödinger Operators. Oberwolfach Rep. , 6(1):355-428, 2009. -
  6. [8][8] Charles Audet, Xavier Fournier, Pierre Hansen, and Frédéric Messine. Extremal problems for convex polygons. Journal of Global Optimization , 38(2):163-179, 2010. -
  7. [10][10] Jineon Baek. Optimality of Gerver's Sofa, 2024. arXiv:2411.19826. - · arXiv
  8. [11][11] Jineon Baek, Junnosuke Koizumi, and Takahiro Ueoro. A note on the Erdos conjecture about square packing, 2024. arXiv:2411.07274. - · arXiv
  9. [12][12] P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe, and M. Tiba. Flat Littlewood polynomials exist. Annals of Mathematics , 192(3):977-1004, 2020. -
  10. [16][16] Taras O Banakh and Volodymyr M Gavrylkiv. Difference bases in cyclic groups. Journal of Algebra and Its Applications , 18(05):1950081, 2019. -
  11. [17][17] R. C. Barnard and S. Steinerberger. Three convolution inequalities on the real line with connections to additive combinatorics. Journal of Number Theory , 207:42-55, 2020. -
  12. [20][20] W. Beckner. Inequalities in Fourier analysis. Annals of Mathematics , 102(1):159-182, 1975. -
  13. [21][21] Pierre C. Bellec and Tobias Fritz. Optimizing over iid distributions and the beat the average game, 2024. arXiv:2412.15179. - · arXiv
  14. [26][26] A. Bezdek. On the number of mutually touching cylinders. In Combinatorial and Computational Geometry , volume 52 of MSRI Publication , pages 121-127. 2005. -
  15. [27][27] András Bezdek and Ferenc Fodor. Extremal point sets. Proceedings of the American Mathematical Society , 127(1):165-173, 1999. -
  16. [29][29] R. Bhatia. Positive Definite Matrices . Princeton Series in Applied Mathematics. Princeton University Press, Princeton, NJ, 2007. -
  17. [30][30] R. Bhatia and F. Kittaneh. The matrix arithmetic-geometric mean inequality revisited. Linear Algebra and its Applications , 428(89):2177-2191, 2008. -
  18. [32][32] Aart Blokhuis and Francesco Mazzocca. The finite field Kakeya problem. In Building bridges. Between mathematics and computer science. Selected papers of the conferences held in Budapest, Hungary, August 5-9, 2008 and Keszthely, Hungary, August 11-15, 2008 and other research papers dedicated to László Lovász on the occasion of his 60th birthday , pages 205-218. Berlin: Springer; Budapest: János Bolyai Mathematical Society, 2008. -
  19. [34][34] Thomas F. Bloom. Control and its applications in additive combinatorics, 2025. arXiv:2501.09470. - · arXiv
  20. [35][35] B. D. Bojanov, Q. I. Rahman, and J. Szynal. On a conjecture of Sendov about the critical points of a polynomial. Mathematische Zeitschrift , 190(2):281-285, 1985. -
  21. [36][36] Béla Bollobás. Relations between sets of complete subgraphs. In C. St.J. A. Nash-Williams and J. Sheehan, editors, Proceedings of the Fifth British Combinatorial Conference , number XV in Congressus Numerantium, pages 79-84, Winnipeg, 1976. Utilitas Mathematica Publishing. -
  22. [37][37] Andriy Bondarenko, Danylo Radchenko, and Maryna Viazovska. Optimal asymptotic bounds for spherical designs. Annals of Mathematics , 178(2):443-452, 2013. -
  23. [39][39] P. Borwein and M. J. Mossinghoff. Barker sequences and flat polynomials. In Number theory and polynomials , volume 352 of London Mathematical Society Lecture Note Series , pages 71-88. Cambridge University Press, Cambridge, 2008. -
  24. [40][40] J. Bourgain. Applications of the spaces of homogeneous polynomials to some problems on the ball algebra. Proceedings of the American Mathematical Society , 93(2):277-283, feb 1985. -
  25. [41][41] Jean Bourgain. On uniformly bounded bases in spaces of holomorphic functions. American Journal of Mathematics , 138(2):571-584, 2016. -
  26. [42][42] Christopher Boyer and Zane Kun Li. An improved example for an autoconvolution inequality, 2025. arXiv:2506.16750. - · arXiv
  27. [43][43] Sándor Bozóki, Tsung-Lin Lee, and Lajos Rónyai. Seven mutually touching infinite cylinders. Computational Geometry , 48(2):87-93, 2014. -
  28. [44][44] Peter Brass, William O. J. Moser, and János Pach. Research Problems in Discrete Geometry . Springer, New York, 2005. Corrected 2nd printing 2006. -
  29. [45][45] Peter Brass, William OJ Moser, and János Pach. Research problems in discrete geometry . Springer, 2005. -
  30. [46][46] J. E. Brown. On the Sendov Conjecture for sixth degree polynomials. Proceedings of the American Mathematical Society , 113:939946, 1991. -
  31. [48][48] J. E. Brown and G. Xiang. Proof of the Sendov conjecture for polynomials of degree at most eight. Journal of Mathematical Analysis and Applications , 232:272-292, 1999. -
  32. [51][51] A. Burchard and L. E. Thomas. On an isoperimetric inequality for a Schrödinger operator depending on the curvature of a loop. The Journal of Geometric Analysis , 15(4), 2005. -
  33. [52][52] Connie M. Campbell and William Staton. A Square-Packing Problem of Erdős. The American Mathematical Monthly , 112(2):165167, 2005. -
  34. [56][56] François Charton, Jordan S. Ellenberg, Adam Zsolt Wagner, and Geordie Williamson. PatternBoost: Constructions in Mathematics with a Little Help from AI. arXiv preprint arXiv:2411.00566 , 2024. - · arXiv
  35. [57][57] P. L. Chebyshev. Mémoire sur les nombres premiers. Journal de Mathématiques Pures et Appliquées , 17:366-490, 1852. Also in Mémoires présentés à l'Académie Impériale des sciences de St.-Pétersbourg par divers savants 7 (1854), 15-33. Also in Oeuvres 1 (1899), 49-70. -
  36. [58][58] W. Cheung and T. Ng. A companion matrix approach to the study of zeros and critical points of a polynomial. Journal of Mathematical Analysis and Applications , 319:690-707, 2006. -
  37. [59][59] A. Cloninger and S. Steinerberger. On suprema of autoconvolutions with an application to Sidon sets. Proceedings of the American Mathematical Society , 145(8):3191-3200, 2017. -
  38. [60][60] Alex Cohen, Cosmin Pohoata, and Dmitrii Zakharov. Lower bounds for incidences, 2024. arXiv:2409.07658. - · arXiv
  39. [61][61] H. Cohn and N. Elkies. New upper bounds on sphere packings I. Annals of Mathematics , 157(2):689-714, 2003. -
  40. [62][62] H. Cohn and F. Gonçalves. An optimal uncertainty principle in twelve dimensions via modular forms. Inventiones Mathematicae , 217(3):799-831, 2019. -
  41. [63][63] Harvey Cohn. Stability Configurations of Electrons on a Sphere. Mathematical Tables and Other Aids to Computation , 10(55):117120, 1956. -
  42. [64][64] Henry Cohn. Order and disorder in energy minimization. Proceedings of the International Congress of Mathematicians , 4:2416-2443, 2010. -
  43. [67][67] Henry Cohn and Abhinav Kumar. Universally Optimal Distribution of Points on Spheres. Journal of the American Mathematical Society , 20(1):99-148, 2007. -
  44. [68][68] Henry Cohn, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko, and Maryna Viazovska. The sphere packing problem in dimension 24. Annals of Mathematics , 185(3):1017-1033, 2017. -
  45. [69][69] Henry Cohn and Anqi Li. Improved kissing numbers in seventeen through twenty-one dimensions. arXiv:2411.04916 , 2024. - · arXiv
  46. [70][70] Katherine M. Collins, Albert Q. Jiang, Simon Frieder, Lionel Wong, Miri Zilka, Umang Bhatt, Thomas Lukasiewicz, Yuhuai Wu, Joshua B. Tenenbaum, William Hart, Timothy Gowers, Wenda Li, Adrian Weller, and Mateja Jamnik. Evaluating language models for mathematics through interactions. Proceedings of the National Academy of Sciences , 121(24):e2318124121, 2024. -
  47. [71][71] Gheorghe Comanici, Eric Bieber, Mike Schaekermann, Ice Pasupat, Noveen Sachdeva, Inderjit Dhillon, Marcel Blistein, Ori Ram, Dan Zhang, Evan Rosen, et al. Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities. arXiv preprint arXiv:2507.06261 , 2025. - · arXiv
  48. [74][74] David Conlon, Jeong Han Kim, Choongbum Lee, and Joonkyung Lee. Some advances on Sidorenko's conjecture. Journal of the London Mathematical Society , 98(2):593-608, 2018. -
  49. [75][75] David Conlon and Joonkyung Lee. Sidorenko's conjecture for blow-ups. Discrete Analysis , 2021(2):13, 2021. -
  50. [76][76] A. Conte, E. Fujikawa, and N. Lakic. Smale's mean value conjecture and the coefficients of univalent functions. Proceedings of the American Mathematical Society , 135(12):3819-3833, 2007. -
  51. [79][79] Steve Cosares and Iraj Saniee. An optimization problem related to balancing loads on SONET rings. Telecommunication Systems , 3(2):165-181, 1994. -
  52. [80][80] E. Crane. A bound for Smale's mean value conjecture for complex polynomials. Bulletin of the London Mathematical Society , 39:781791, 2007. -
  53. [81][81] Hallard T. Croft, Kenneth J. Falconer, and Richard K. Guy. Unsolved Problems in Geometry , volume 2. Springer, New York, 1991. -
  54. [82][82] Michel Crouzeix. Bounds for Analytical Functions of Matrices. Integral Equations and Operator Theory , 48(4):461-477, 2004. √ -
  55. [83][83] Michel Crouzeix and César Palencia. The Numerical Range is a (1 + 2) -Spectral Set. SIAM Journal on Matrix Analysis and Applications , 38:649-655, 2017. -
  56. [84][84] Orval R. Cruzan. Translational addition theorems for spherical vector wave functions. Quarterly of Applied Mathematics , 20(1):33-40, 1962. -
  57. [85][85] Gabriel Currier. Sharp Szemerédi-Trotter constructions from arbitrary number fields, 2023. arXiv:2304.04900. - · arXiv
  58. [87][87] Alex Davies, Petar Veličković, Lars Buesing, Sam Blackwell, Daniel Zheng, Nenad Tomašev, Richard Tanburn, Peter Battaglia, Charles Blundell, András Juhász, Marc Lackenby, Geordie Williamson, Demis Hassabis, and Pushmeet Kohli. Advancing mathematics by guiding human intuition with AI. Nature , 600(7887):70-74, 2021. -
  59. [89][89] M. G. de Bruin and A. Sharma. On a Schoenberg-type conjecture. Journal of Computational and Applied Mathematics , 105:221-228, 1999. Continued Fractions and Geometric Function Theory (CONFUN), Trondheim, 1997. -
  60. [90][90] J. de Dios Pont and J. Madrid. On classical inequalities for autocorrelations and autoconvolutions, 2021. arXiv:2106.13873. - · arXiv
  61. [91][91] P. Delsarte, J. M. Goethals, and J. J. Seidel. Spherical codes and designs. Geometriae Dedicata , 6(3):363-388, 1977. -
  62. [93][93] Erik D. Demaine, Sándor P. Fekete, and Robert J. Lang. Circle packing for origami design is hard. In Origami5: Proceedings of the 5th International Conference on Origami in Science, Mathematics and Education (OSME 2010) , pages 609-626, Singapore, 2010. A K Peters. July 13-17, 2010. -
  63. [95][95] H. Diamond. Elementary methods in the study of the distribution of prime numbers. Bulletin of the American Mathematical Society , 7(3):553-589, 1982. -
  64. [97][97] Michael R. Douglas, Subramanian Lakshminarasimhan, and Yidi Qi. Numerical Calabi-Yau metrics from holomorphic networks. In Joan Bruna, Jan Hesthaven, and Lenka Zdeborova, editors, Proceedings of the 2nd Mathematical and Scientific Machine Learning Conference , volume 145 of Proceedings of Machine Learning Research , pages 223-252. PMLR, 2022. -
  65. [98][98] Andreas W. M. Dress, Lu Yang, and Zhenbing Zeng. Heilbronn problem for six points in a planar convex body. In Ding-Zhu Du and Panos M. Pardalos, editors, Minimax and Applications , volume 4 of Nonconvex Optimization and Its Applications , pages 173-190, Boston, MA, 1995. Springer. -
  66. [99][99] J. Ducci. Commentary on 'Towards a noncommutative arithmetic-geometric mean inequality' by B. Recht and C. Ré. In Proceedings of the 25th Annual Conference on Learning Theory , volume 23 of JMLR Workshop and Conference Proceedings . JMLR.org, 2012. -
  67. [100][100] Jordan S. Ellenberg, Cristofero S. Fraser-Taliente, Thomas R. Harvey, Karan Srivastava, and Andrew V. Sutherland. Generative Modeling for Mathematical Discovery, 2025. arXiv:2503.11061. - · arXiv
  68. [101][101] Jordan S Ellenberg and Lalit Jain. Convergence rates for ordinal embedding. arXiv:1904.12994 , 2019. - · arXiv
  69. [102][102] T. Erber and G. M. Hockney. Equilibrium configurations of N equal charges on a sphere. Journal of Physics A: Mathematical and General , 24(23):L1369, 1991. -
  70. [103][103] P. Erdős. Problems and results in additive number theory. In Colloque sur la Théorie des Nombres, Bruxelles, 1955 , pages 127-137. Georges Thone, Liège, 1956. -
  71. [109][109] Paul Erdős. Some of my favourite unsolved problems. In A tribute to Paul Erdős , pages 467-478. Cambridge University Press, Cambridge, 1990. -
  72. [110][110] Paul Erdős. Some of my favourite problems in number theory, combinatorics, and geometry. Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo , 2(2):165-186, 1995. -
  73. [111][111] Paul Erdős. Some of my favourite unsolved problems. Mathematica Japonica , 46(1):527-537, 1997. -
  74. [112][112] Paul Erdős and Ronald L Graham. On packing squares with equal squares. Journal of Combinatorial Theory, Series A , 19(1):119-123, 1975. -
  75. [116][116] Paul Erdős. Some problems in number theory, combinatorics and combinatorial geometry. Mathematica Pannonica , 5(2):261-269, 1994. -
  76. [117][117] Paul Erdős and Alexander Soifer. A Square-Packing Problem of Erdős. Geombinatorics , 4(4):110-114, 1995. -
  77. [119][119] Siemion Fajtlowicz. On conjectures of Graffiti. In Annals of discrete mathematics , volume 38, pages 113-118. Elsevier, 1988. -
  78. [120][120] Alhussein Fawzi, Matej Balog, Aja Huang, Thomas Hubert, Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Francisco J R. Ruiz, Julian Schrittwieser, Grzegorz Swirszcz, et al. Discovering faster matrix multiplication algorithms with reinforcement learning. Nature , 610(7930):47-53, 2022. -
  79. [122][122] P. C. Fishburn and J. A. Reeds. Unit distances between vertices of a convex polygon. Computational Geometry , 2(2):81-91, 1992. -
  80. [123][123] D. Fisher. Lower bounds on the number of triangles in a graph. Journal of Graph Theory , 13(4):505-512, 1989. -
  81. [124][124] Gerald B. Folland. Real Analysis: Modern Techniques and Their Applications . Pure and Applied Mathematics. John Wiley & Sons, Inc., New York, 2nd edition, 1999. A Wiley-Interscience Publication. -
  82. [125][125] G. A. Freiman and V. P. Pigarev. The relation between the invariants R and T (russian). Kalinin. Gos. Univ. , pages 172-174, 1973. -
  83. [126][126] Erich Friedman. Packing Unit Squares in Squares: A Survey and New Results. The Electronic Journal of Combinatorics , 12(1):DS7, 2005. Dynamic Survey. -
  84. [135][135] E. Fujikawa and T. Sugawa. Geometric function theory and smale's mean value conjecture. Proceedings of the Japan Academy, Series A Mathematical Sciences , 82(7):97-100, 2006. -
  85. [138][138] Robert Gerbicz. Sums and differences of sets (improvement over AlphaEvolve), 2025. arXiv:2505.16105. - · arXiv
  86. [139][139] Joseph L. Gerver. On moving a sofa around a corner. Geometriae Dedicata , 42(3):267-283, 1992. -
  87. [140][140] Anubhab Ghosal, Ritesh Goenka, and Peter Keevash. On subsets of lattice cubes avoiding affine and spherical degeneracies. arXiv preprint arXiv:2509.06935 , 2025. - · arXiv
  88. [141][141] L. Glasser and A. G. Every. Energies and spacings of point charges on a sphere. Journal of Physics A: Mathematical and General , 25(9):2473-2482, 1992. -
  89. [142][142] Jan Goedgebeur, Jorik Jooken, Gwenaël Joret, and Tibo Van den Eede. Improved lower bounds on the maximum size of graphs with girth 5. arXiv preprint arXiv:2508.05562 , 2025. - · arXiv
  90. [144][144] Marcel J. E. Golay. Sieves for low autocorrelation binary sequences. IEEE Transactions on Information Theory , 23(1):43-51, 1977. -
  91. [145][145] F. Gonçalves, D. Oliveira e Silva, and S. Steinerberger. Hermite polynomials, linear flows on the torus, and an uncertainty principle for roots. Journal of Mathematical Analysis and Applications , 451(2):678-711, 2017. -
  92. [147][147] A. W. Goodman. On sets of acquaintances and strangers at any party. American Mathematical Monthly , 66(9):778-783, 1959. -
  93. [151][151] B. Green and I. Ruzsa. On the arithmetic Kakeya conjecture of Katz and Tao. Periodica Mathematica Hungarica , 78(2):135-151, 2019. -
  94. [152][152] Ben Green and Mehtaab Sawhney. Improved bounds for the Furstenberg-Sárközy theorem, 2024. arXiv:2411.17448. - · arXiv
  95. [154][154] Anne Greenbaum, Adrian S Lewis, Michael L Overton, and Lloyd N Trefethen. Investigation of Crouzeix's Conjecture via Optimization. In Householder Symposium XIX June 8-13, Spa Belgium , page 171, 2014. -
  96. [156][156] Alan Guo, Swastik Kopparty, and Madhu Sudan. New affine-invariant codes from lifting. In Proceedings of the 4th conference on innovations in theoretical computer science, ITCS'13, Berkeley, CA, USA, January 9-12, 2013 , pages 529-539. New York, NY: Association for Computing Machinery (ACM), 2013. -
  97. [158][158] Katalin Gyarmati, François Hennecart, and Imre Z. Ruzsa. Sums and differences of finite sets. Functiones et Approximatio Commentarii Mathematici , 37(1):175-186, 2007. -
  98. [159][159] Thomas C. Hales. A proof of the Kepler conjecture. Annals of Mathematics , 162(3):1065-1185, 2005. -
  99. [160][160] Sylvia Halász. Packing a convex domain with similar convex domains. Journal of Combinatorial Theory, Series A , 37(1):85-90, 1984. -
  100. [161][161] R. H. Hardin and N. J. A. Sloane. Codes (Spherical) and Designs (Experimental). In A. R. Calderbank, editor, Different Aspects of Coding Theory , volume 50 of AMS Series Proceedings Symposia Applied Math. , pages 179-206. American Mathematical Society, 1995. -
  101. [162][162] William B. Hart. FLINT: Fast Library for Number Theory: An Introduction. In Mathematical Software - ICMS 2010 , volume 6327 of Lecture Notes in Computer Science , pages 88-91, Berlin, Heidelberg, 2010. Springer. -
  102. [163][163] H. Hatami. Graph norms and Sidorenko's conjecture. Israel Journal of Mathematics , 175:125-150, 2010. -
  103. [164][164] J. K. Haugland. The minimum overlap problem revisited, 2016. arXiv:1609.08000. - · arXiv
  104. [165][165] Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver, and Alexey Pozdnyakov. Murmurations of elliptic curves. Experimental Mathematics , 34(3):528-540, 2025. -
  105. [166][166] F. Hennecart, G. Robert, and A. Yudin. On the number of sums and differences. In Structure theory of set addition , number 258 in Astérisque, pages 173-178. 1999. -
  106. [167][167] Andreas F. Holmsen, Hossein Nassajian Mojarrad, János Pach, and Gábor Tardos. Two extensions of the Erdős-Szekeres problem. Journal of the European Mathematical Society , 22(12):3981-3995, 2020. -
  107. [168][168] Ákos G Horváth and Zsolt Lángi. Maximum volume polytopes inscribed in the unit sphere. Monatshefte für Mathematik , 181(2):341354, 2016. -
  108. [171][171] Fredrik Johansson. Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic. IEEE Transactions on Computers , 66(8):1281-1292, August 2017. -
  109. [172][172] J. Kalbfleisch, J. Kalbfleisch, and R. Stanton. A combinatorial problem on convex regions. In Proceedings of the Louisiana Conference on Combinatorics, Graph Theory and Computing , volume 1 of Congressus Numerantium , pages 180-188, Baton Rouge, Louisiana, 1970. Louisiana State University. -
  110. [173][173] N. Katz and T. Tao. New bounds for Kakeya problems. Journal d'Analyse Mathématique , 87:231-263, 2002. -
  111. [174][174] N. H. Katz and T. Tao. Bounds on arithmetic projections and applications to the Kakeya conjecture. Mathematical Research Letters , 6:625-630, 1999. -
  112. [175][175] Yitzhak Katznelson. An Introduction to Harmonic Analysis . John Wiley & Sons, New York, 1968. Awarded the American Mathematical Society Steele Prize for Mathematical Exposition. -
  113. [176][176] Michael J Kearney and Peter Shiu. Efficient packing of unit squares in a square. the electronic journal of combinatorics , pages R14R14, 2002. -
  114. [178][178] U. Keich. On 𝐿 𝑝 bounds for Kakeya maximal functions and the Minkowski dimension in ℝ 2 . Bulletin of the London Mathematical Society , 31(2):213-221, 1999. -
  115. [180][180] Sanjeev Khanna. A polynomial time approximation scheme for the sonet ring loading problem. Bell Labs Technical Journal , 2(2):3641, 1997. -
  116. [181][181] D. Khavinson, R. Pereira, M. Putinar, E. B. Saff, and S. Shimorin. Borcea's variance conjectures on the critical points of polynomials. In P. Brändén, M. Passare, and M. Putinar, editors, Notions of Positivity and the Geometry of Polynomials , Trends in Mathematics. Springer, Basel, 2011. -
  117. [182][182] Jeong Han Kim, Choongbum Lee, and Joonkyung Lee. Two approaches to Sidorenko's conjecture. Transactions of the American Mathematical Society , 368(7):5057-5074, 2016. -
  118. [183][183] Boaz Klartag. Lattice packing of spheres in high dimensions using a stochastically evolving ellipsoid. 2025. arXiv:2504.05042. - · arXiv
  119. [186][186] J. Korevaar and J. L. H. Meyers. Spherical Faraday cage for the case of equal point charges and Chebyshev-type quadrature on the sphere. Integral Transforms and Special Functions , 1(2):105-117, 1993. -
  120. [188][188] Chun-Kit Lai and Adeline E. Wong. A non-sticky Kakeya set of Lebesgue measure zero, 2025. arXiv:2506.18142. - · arXiv
  121. [190][190] Robert Tjarko Lange. ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution. arXiv:2509.19349 , 2025. - · arXiv
  122. [193][193] Nando Leijenhorst and David de Laat. Solving clustered low-rank semidefinite programs arising from polynomial optimization. Mathematical Programming Computation , 16(3):503-534, 2024. -
  123. [194][194] M. Lemm. New counterexamples for sums-differences. Proceedings of the American Mathematical Society , 143(9):3863-3868, 2015. -
  124. [195][195] Vladimir I. Levenshtein. On bounds for packings in 𝑛 -dimensional Euclidean space. Doklady Akademii Nauk SSSR , 245(6):1299-1303, 1979. English translation in Soviet Mathematics Doklady 20 (1979), 417-421. -
  125. [196][196] Mark Lewko. An improved lower bound related to the Furstenberg-Sárközy theorem. Electronic Journal of Combinatorics , 22:Paper 1.32, 2015. -
  126. [197][197] J. X. Li and B. Szegedy. On the logarithmic calculus and Sidorenko's conjecture, 2011. arXiv:1107.1153. - · arXiv
  127. [198][198] Elliott H. Lieb and Michael Loss. Analysis , volume 14 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2nd edition, 2001. -
  128. [199][199] Helmut Linde. A lower bound for the ground state energy of a Schrödinger operator on a loop. Proc. Amer. Math. Soc. , 134(12):36293635, 2006. -
  129. [200][200] J. E. Littlewood. On polynomials ∑ ± 𝑧 𝑚 , ∑ 𝑒 𝛼 𝑚 𝑖 𝑧 𝑚 , 𝑧 = 𝑒 𝜃𝑖 . Journal of the London Mathematical Society , 41:367-376, 1966. -
  130. [203][203] Hong Liu and Richard Montgomery. A solution to Erdős and Hajnal's odd cycle problem. Journal of the American Mathematical Society , 36(4):1191-1234, 2023. -
  131. [204][204] László Lovász and Miklós Simonovits. On the number of complete subgraphs of a graph, II. In Studies in Pure Mathematics , pages 459-495. Birkhäuser, 1983. -
  132. [205][205] Ben Lund, Shubhangi Saraf, and Charles Wolf. Finite field Kakeya and Nikodym sets in three dimensions. SIAM J. Discrete Math. , 32(4):2836-2849, 2018. -
  133. [207][207] Filip Marić. Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points. Journal of Automated Reasoning , 62:301-329, 2019. -
  134. [210][210] M. Matolcsi and C. J. Vinuesa. Improved bounds on the supremum of autoconvolutions. Journal of Mathematical Analysis and Applications , 372(2):439-447, 2010. -
  135. [211][211] A. Meir and A. Sharma. On Ilyeff's conjecture. Pacific Journal of Mathematics , 31:459-467, 1969. -
  136. [212][212] A. Melas. On the centered Hardy-Littlewood maximal operator. Transactions of the American Mathematical Society , 354:3263-3273, 2002. -
  137. [213][213] A. D. Melas. The best constant for the centered Hardy-Littlewood maximal inequality. Annals of Mathematics , 157:647-688, 2003. -
  138. [214][214] Ali Mohammadi and Sophie Stevens. Attaining the exponent 5/4 for the sum-product problem in finite fields. Int. Math. Res. Not. , 2023(4):3516-3532, 2023. -
  139. [216][216] Leo Moser. Moving furniture through a hallway. SIAM Review , 8(3):381-381, 1966. -
  140. [217][217] O. R. Musin and A. S. Tarasov. The strong thirteen spheres problem. Discrete & Computational Geometry , 48(1):128-141, 2012. -
  141. [218][218] Oleg R Musin. The kissing number in four dimensions. Annals of Mathematics , pages 1-32, 2008. -
  142. [219][219] Oleg R. Musin and Alexey S. Tarasov. The Tammes Problem for 𝑁 = 14 . Experimental Mathematics , 24(4):460-468, 2015. -
  143. [220][220] Nobuaki Mutoh. The Polyhedra of Maximal Volume Inscribed in the Unit Sphere and of Minimal Volume Circumscribed about the Unit Sphere. In Jin Akiyama and Mikio Kano, editors, Discrete and Computational Geometry , volume 2866 of Lecture Notes in Computer Science , pages 204-214. Springer, Berlin, Heidelberg, 2003. JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers. -
  144. [221][221] Ansh Nagda, Prabhakar Raghavan, and Abhradeep Thakurta. Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory. arXiv:2509.18057 , 2025. - · arXiv
  145. [222][222] Arnold Neumaier. Interval Methods for Systems of Equations , volume 37 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 1990. -
  146. [226][226] Andrew M. Odlyzko and Neil J. A. Sloane. New bounds on the number of unit spheres that can touch a unit sphere in 𝑛 dimensions. Journal of Combinatorial Theory, Series A , 26(2):210-214, 1979. -
  147. [227][227] Tom Packebusch and Stephan Mertens. Low autocorrelation binary sequences. J. Phys. A, Math. Theor. , 49(16):18, 2016. Id/No 165001. -
  148. [228][228] C. Pearcy. An elementary proof of the power inequality for the numerical radius. Michigan Mathematical Journal , 13:289-291, 1966. -
  149. [230][230] P. V. Pikhitsa, M. Choi, H.-J. Kim, and S.-H. Ahn. Auxetic lattice of multipods. Physica Status Solidi B , 246(9):2098-2101, 2009. -
  150. [231][231] Peter V. Pikhitsa. Regular Network of Contacting Cylinders with Implications for Materials with Negative Poisson Ratios. Physical Review Letters , 93(1):015505, 2004. -
  151. [232][232] Iwan Praton. The Erdos and Campbell-Staton conjectures about square packing, 2005. arXiv:0504341. -
  152. [233][233] Danylo Radchenko and Maryna Viazovska. Fourier interpolation on the real line. Publications mathématiques de l'IHÉS , 129(1):5181, 2019. -
  153. [234][234] E. A. Rakhmanov, E. B. Saff, and Y. M. Zhou. Minimal discrete energy on the sphere. Mathematical Research Letters , 1(5):647-662, 1994. √ -
  154. [235][235] Thomas Ransford and Felix Schwenninger. Remarks on the Crouzeix-Palencia proof that the numerical range is a (1 + 2) -spectral set. SIAM Journal on Matrix Analysis and Applications , 39(1):342-345, 2018. -
  155. [236][236] A. Razborov. On 3-hypergraphs with forbidden 4-vertex configurations. SIAMJournal on Discrete Mathematics , 24(3):946-963, 2010. -
  156. [237][237] Alexander A. Razborov. On the minimal density of triangles in graphs. Combinatorics, Probability and Computing , 17(4):603-618, 2008. -
  157. [239][239] Benjamin Recht and Christopher Ré. Beneath the valley of the noncommutative arithmetic-geometric mean inequality: conjectures, case-studies, and consequences, 2012. arXiv:1202.4184. - · arXiv
  158. [242][242] Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, M. Pawan Kumar, Emilien Dupont, Francisco J. R. Ruiz, Jordan Ellenberg, Pengming Wang, Omar Fawzi, Pushmeet Kohli, and Alhussein Fawzi. Mathematical discoveries from program search with large language models. Nature , 625(7995):468-475, 2023. -
  159. [244][244] I. Ruzsa. Sums of finite sets. In D. V. Chudnovsky, G. V. Chudnovsky, and M. B. Nathanson, editors, Number Theory: New York Seminar . Springer-Verlag, 1996. -
  160. [246][246] E. B. Saff and A. B. J. Kuijlaars. Distributing many points on a sphere. The Mathematical Intelligencer , 19(1):5-11, 1997. -
  161. [247][247] A. Sárk˝ ozy. On difference sets of sequences of integers. I. Acta Math. Acad. Sci. Hungar. , 31(1-2):125-149, 1978. -
  162. [253][253] Alexander Schrijver, Paul Seymour, and Peter Winkler. The ring loading problem. SIAM review , 41(4):777-791, 1999. -
  163. [255][255] Richard Evan Schwartz. The Five-Electron Case of Thomson's Problem. Experimental Mathematics , 22(2):157-186, 2013. -
  164. [256][256] Bl. Sendov. On the critical points of a polynomial. East Journal on Approximations , 1(2):255-258, 1995. -
  165. [258][258] F Bruce Shepherd. Single-sink multicommodity flow with side constraints. In Research Trends in Combinatorial Optimization: Bonn 2008 , pages 429-450. Springer, 2009. -
  166. [260][260] James Singer. A theorem in finite projective geometry and some applications to number theory. Transactions of the American Mathematical Society , 43(3):377-385, 1938. -
  167. [261][261] Martin Skutella. A note on the ring loading problem. SIAM Journal on Discrete Mathematics , 30(1):327-342, 2016. -
  168. [265][265] S. Smale. The fundamental theorem of algebra and complexity theory. Bulletin of the American Mathematical Society , 4(1):1-36, 1981. -
  169. [266][266] Stephen Smale. Mathematical Problems for the Next Century. The Mathematical Intelligencer , 20(2):7-15, 1998. -
  170. [269][269] József Solymosi. On Perles' Configuration. SIAM Journal on Discrete Mathematics , 39(2):912-920, 2025. -
  171. [270][270] Andrew Suk and Ethan Patrick White. A note on the no-( 𝑑 +2) -on-a-sphere problem. arXiv:2412.02866 , 2024. - · arXiv
  172. [271][271] Grzegorz Swirszcz, Adam Zsolt Wagner, Geordie Williamson, Sam Blackwell, Bogdan Georgiev, Alex Davies, Ali Eslami, Sebastien Racaniere, Theophane Weber, and Pushmeet Kohli. Advancing geometry with AI: Multi-agent generation of polytopes. arXiv preprint arXiv:2502.05199 , 2025. - · arXiv
  173. [272][272] J. Sylvester. On Tchebycheff's theory of the totality of the prime numbers comprised within given limits. In The collected mathematical papers of James Joseph Sylvester. Vol. 3, (1870-1883) , pages 530-549. Cambridge University Press, Cambridge, 1909. -
  174. [273][273] B. Szegedy. An information theoretic approach to Sidorenko's conjecture, 2014. arXiv:1406.6738. - · arXiv
  175. [274][274] George Szekeres and Lindsay Peters. Computer solution to the 17-point Erdős-Szekeres problem. ANZIAM Journal , 48(2):151-164, 2006. -
  176. [276][276] Tamás Szőnyi, Antonello Cossidente, András Gács, Csaba Mengyán, Alessandro Siciliano, and Zsuzsa Weiner. On large minimal blocking sets in PG (2 , 𝑞 ). J. Comb. Des. , 13(1):25-41, 2005. -
  177. [278][278] Quanyu Tang. Sharp schoenberg type inequalities and the de bruin-sharma problem. arXiv preprint arXiv:2508.10341 , 2025. 21 pages, 1 figure. v2: major revision; added Sections 5-6 confirming two conjectures and providing a complete solution to the de Bruin-Sharma problem. - · arXiv
  178. [279][279] T. Tao. Sendov's conjecture for sufficiently high degree polynomials. Acta Mathematica , 229(2):347-392, 2022. -
  179. [281][281] Terence Tao. New nikodym set constructions over finite fields. arXiv preprint arXiv:2511.07721 , 2025. - · arXiv
  180. [282][282] Terence Tao. Sum-difference exponents for boundedly many slopes, and rational complexity. arXiv preprint arXiv:2511.15135 , 2025. - · arXiv
  181. [283][283] Amitayush Thakur, George Tsoukalas, Yeming Wen, Jimmy Xin, and Swarat Chaudhuri. An in-context learning agent for formal theorem-proving. In Conference on Language Models , 2024. -
  182. [284][284] Torsten Thiele. Geometric selection problems and hypergraphs . PhD thesis, Citeseer, 1995. -
  183. [287][287] Trieu H. Trinh, Yuhuai Wu, Quoc V. Le, He He, and Thang Luong. Solving Olympiad Geometry without Human Demonstrations. Nature , 625(7995):476-482, 2024. -
  184. [288][288] S.-H. Tso and P.-Y. Wu. Matricial ranges of quadratic operators. Rocky Mountain Journal of Mathematics , 29(3):1139-1152, 1999. -
  185. [289][289] M. S. Viazovska. The sphere packing problem in dimension 8. Annals of Mathematics , 185:991-1015, 2017. -
  186. [291][291] Adam Zsolt Wagner. Constructions in combinatorics via neural networks. arXiv:2104.14516 , 2021. - · arXiv
  187. [292][292] G. Wagner. On mean distances on the surface of the sphere (lower bounds). Pacific Journal of Mathematics , 144(2):389-398, 1990. -
  188. [293][293] G. Wagner. On mean distances on the surface of the sphere II. upper bounds. Pacific Journal of Mathematics , 154(2):381-396, 1992. -
  189. [294][294] Hong Wang and Joshua Zahl. Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions, 2025. arXiv:2502.17655. - · arXiv
  190. [295][295] Yongji Wang, Mehdi Bennani, James Martens, Sébastien Racanière, Sam Blackwell, Alex Matthews, Stanislav Nikolov, Gonzalo Cao-Labora, Daniel S. Park, Martin Arjovsky, Daniel Worrall, Chongli Qin, Ferran Alet, Borislav Kozlovskii, Nenad Tomašev, Alex Davies, Pushmeet Kohli, Tristan Buckmaster, Bogdan Georgiev, Javier Gómez-Serrano, Ray Jiang, and Ching-Yao Lai. Discovery of Unstable Singularities, 2025. arXiv:2509.14185. - · arXiv
  191. [296][296] Yongji Wang, Ching-Yao Lai, Javier Gómez-Serrano, and Tristan Buckmaster. Asymptotic Self-Similar Blow-Up Profile for ThreeDimensional Axisymmetric Euler Equations Using Neural Networks. Physical Review Letters , 130(24):244002, 2023. -
  192. [299][299] E. White. A new bound for Erdős' minimum overlap problem. Acta Arithmetica , 208(3):235-255, 2023. -
  193. [300][300] Chai Wah Wu. Counting the number of isosceles triangles in rectangular regular grids. arXiv:1605.00180 , 2016. - · arXiv
  194. [302][302] Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, and Animashree Anandkumar. Leandojo: Theorem proving with retrieval-augmented language models. In Advances in Neural Information Processing Systems , volume 36, pages 21573-21612, 2023. -
  195. [303][303] Lu Yang and Zhenbing Zeng. Heilbronn problem for seven points in a planar convex body. In Ding-Zhu Du and Panos M. Pardalos, editors, Minimax and Applications , volume 4 of Nonconvex Optimization and Its Applications , pages 191-218, Boston, MA, 1995. Springer. Proved optimal solution for 7 points with area bound 1∕9 . -
  196. [304][304] Lu Yang, Jingzhong Zhang, and Zhenbing Zeng. On a conjecture on and computation of the first Heilbronn numbers. Chin. Ann. Math., Ser. A , 13(4):503-515, 1992. -
  197. [306][306] Fan Zheng. Sums and differences of sets: a further improvement over AlphaEvolve, 2025. arXiv:2506.01896. (Bogdan Georgiev) GOOGLE DEEPMIND, HANDYSIDE STREET, KINGS CROSS, LONDON N1C 4UZ, UK Email address : bogeorgiev@google.com (Javier Gómez-Serrano) DEPARTMENT OF MATHEMATICS, BROWN UNIVERSITY, 314 KASSAR HOUSE, 151 THAYER ST., PROVIDENCE, RI 02912, USA, INSTITUTE FOR ADVANCED STUDY, 1 EINSTEIN DRIVE, PRINCETON, NJ 08540, USA Email address : javier\_gomez\_serrano@brown.edu (Terence Tao) UCLA DEPARTMENT OF MATHEMATICS, LOS ANGELES, CA 90095-1555. Email address : tao@math.ucla.edu (Adam Zsolt Wagner) GOOGLE DEEPMIND, HANDYSIDE STREET, KINGS CROSS, LONDON N1C 4UZ, UK Email address : azwagner@google.com · arXiv

Cited by

Sorted by citations

Related

Authors
Georgiev, B., Gómez-Serrano, J., Tao, T., & Wagner, A. Z.
ORCID
Venue
arXiv
Publisher
arXiv
Published
2025
ISSN
2331-8422 (ISSN-L)
DOI
10.48550/arxiv.2511.02864
arXiv
2511.02864
OpenAlex
W4416017797
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 › Evolutionary Algorithms and Applications
  • Physical Sciences › Computer Science › Artificial Intelligence › Artificial Intelligence Applications
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Mathematics, Computing, and Information Processing
Keywords
large language models, evolutionary algorithms, optimization, open problems in mathematics, proof automation, proof assistants, AI-assisted mathematics, combinatorics, number theory, geometry, mathematical analysis

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