% References for "What AI’s science is built on" (Qiongxiu Li and the Sea-Fill team, 2026)

@misc{li2026shoulders,
  author = {Qiongxiu Li and {Sea-Fill Team}},
  title = {What AI’s science is built on},
  howpublished = {Sea-Fill, On Whose Shoulders},
  year = {2026},
  url = {https://seafill.info/Shoulders/blog/}
}

@misc{openai_math,
  author = {{OpenAI}},
  title = {OpenAI Math Release: research manuscripts and Lean formalizations},
  year = {2026},
  url = {https://github.com/openai/math},
  note = {Apache 2.0; 722 manuscripts released 6 October 2026, 719 current after 7 October}
}

@article{besicovitch1928,
  author = {A. S. Besicovitch},
  title = {On Kakeya’s problem and a similar one},
  journal = {Mathematische Zeitschrift},
  volume = {27},
  pages = {312–320},
  year = {1928},
  doi = {10.1007/BF01171101}
}

@article{davies1971,
  author = {Roy O. Davies},
  title = {Some remarks on the Kakeya problem},
  journal = {Proceedings of the Cambridge Philosophical Society},
  volume = {69},
  pages = {417–421},
  year = {1971},
  doi = {10.1017/S0305004100046867}
}

@article{wolff1995,
  author = {Thomas Wolff},
  title = {An improved bound for Kakeya type maximal functions},
  journal = {Revista Matemática Iberoamericana},
  volume = {11},
  pages = {651–674},
  year = {1995},
  doi = {10.4171/RMI/188}
}

@article{klt2000,
  author = {Nets Hawk Katz and Izabella Łaba and Terence Tao},
  title = {An improved bound on the Minkowski dimension of Besicovitch sets in R³},
  journal = {Annals of Mathematics},
  volume = {152},
  pages = {383},
  year = {2000},
  doi = {10.2307/2661389}
}

@article{guth2010,
  author = {Larry Guth},
  title = {The endpoint case of the Bennett–Carbery–Tao multilinear Kakeya conjecture},
  journal = {Acta Mathematica},
  volume = {205},
  pages = {263–286},
  year = {2010},
  doi = {10.1007/s11511-010-0055-6}
}

@article{wangzahl2026,
  author = {Hong Wang and Joshua Zahl},
  title = {Sticky Kakeya sets and the sticky Kakeya conjecture},
  journal = {Journal of the American Mathematical Society},
  volume = {39},
  pages = {515–585},
  year = {2026},
  doi = {10.1090/jams/1067}
}

@misc{brown2020,
  author = {Tom B. Brown and others},
  title = {Language Models are Few-Shot Learners},
  year = {2020},
  url = {https://arxiv.org/abs/2005.14165}
}

@article{grothendieck1957,
  author = {Alexander Grothendieck},
  title = {Sur la classification des fibrés holomorphes sur la sphère de Riemann},
  journal = {American Journal of Mathematics},
  volume = {79},
  pages = {121},
  year = {1957},
  doi = {10.2307/2372388}
}

@article{shannon1948,
  author = {Claude E. Shannon},
  title = {A Mathematical Theory of Communication},
  journal = {Bell System Technical Journal},
  volume = {27},
  pages = {379–423},
  year = {1948},
  doi = {10.1002/j.1538-7305.1948.tb01338.x}
}

@misc{deletang2024,
  author = {Grégoire Delétang and others},
  title = {Language Modeling Is Compression},
  year = {2023},
  url = {https://arxiv.org/abs/2309.10668}
}

@misc{ouyang2022,
  author = {Long Ouyang and others},
  title = {Training language models to follow instructions with human feedback},
  year = {2022},
  url = {https://arxiv.org/abs/2203.02155}
}

@misc{deepseek2025,
  author = {{DeepSeek-AI}},
  title = {DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning},
  year = {2025},
  url = {https://arxiv.org/abs/2501.12948}
}

@misc{shao2024,
  author = {Zhihong Shao and others},
  title = {DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models},
  year = {2024},
  url = {https://arxiv.org/abs/2402.03300}
}

@misc{wang2022sc,
  author = {Xuezhi Wang and others},
  title = {Self-Consistency Improves Chain of Thought Reasoning in Language Models},
  year = {2022},
  url = {https://arxiv.org/abs/2203.11171}
}

@misc{lightman2023,
  author = {Hunter Lightman and others},
  title = {Let’s Verify Step by Step},
  year = {2023},
  url = {https://arxiv.org/abs/2305.20050}
}

@misc{snell2024,
  author = {Charlie Snell and others},
  title = {Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters},
  year = {2024},
  url = {https://arxiv.org/abs/2408.03314}
}

@misc{yao2022,
  author = {Shunyu Yao and others},
  title = {ReAct: Synergizing Reasoning and Acting in Language Models},
  year = {2022},
  url = {https://arxiv.org/abs/2210.03629}
}

@misc{lewkowycz2022,
  author = {Aitor Lewkowycz and others},
  title = {Solving Quantitative Reasoning Problems with Language Models},
  year = {2022},
  url = {https://arxiv.org/abs/2206.14858}
}

@misc{gunasekar2023,
  author = {Suriya Gunasekar and others},
  title = {Textbooks Are All You Need},
  year = {2023},
  url = {https://arxiv.org/abs/2306.11644}
}

@misc{yue2025,
  author = {Yang Yue and others},
  title = {Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?},
  year = {2025},
  url = {https://arxiv.org/abs/2504.13837}
}

@book{descartes1637,
  author = {René Descartes},
  title = {La Géométrie},
  year = {1637},
  note = {appendix to the Discours de la méthode}
}

@article{riemann1859,
  author = {Bernhard Riemann},
  title = {Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse},
  journal = {Monatsberichte der Berliner Akademie},
  year = {1859},
  url = {https://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/}
}

@misc{renwang2025,
  author = {Kevin Ren and Hong Wang},
  title = {Furstenberg sets estimate in the plane},
  year = {2025},
  url = {https://arxiv.org/abs/2308.08819}
}

@article{guthwangzhang2020,
  author = {Larry Guth and Hong Wang and Ruixiang Zhang},
  title = {A sharp square function estimate for the cone in R³},
  journal = {Annals of Mathematics},
  volume = {192},
  pages = {551–581},
  year = {2020},
  doi = {10.4007/annals.2020.192.2.6}
}

@misc{farguesscholze2024,
  author = {Laurent Fargues and Peter Scholze},
  title = {Geometrization of the local Langlands correspondence},
  year = {2024},
  url = {https://arxiv.org/abs/2102.13459}
}

@article{birkar2019,
  author = {Caucher Birkar},
  title = {Anti-pluricanonical systems on Fano varieties},
  journal = {Annals of Mathematics},
  volume = {190},
  pages = {345–463},
  year = {2019},
  doi = {10.4007/annals.2019.190.2.1}
}

@misc{dashaconpaun2024,
  author = {Omprokash Das and Christopher D. Hacon and Mihai Păun},
  title = {On the 4-dimensional minimal model program for Kähler varieties},
  year = {2024},
  url = {https://arxiv.org/abs/2205.12205}
}

@article{dchn2011,
  author = {Hugo Duminil-Copin and Clément Hongler and Pierre Nolin},
  title = {Connection probabilities and RSW-type bounds for the two-dimensional FK Ising model},
  journal = {Communications on Pure and Applied Mathematics},
  volume = {64},
  pages = {1165–1198},
  year = {2011},
  doi = {10.1002/cpa.20370}
}

@article{dms2021,
  author = {Bertrand Duplantier and Jason Miller and Scott Sheffield},
  title = {Liouville quantum gravity as a mating of trees},
  journal = {Astérisque},
  volume = {427},
  year = {2021},
  doi = {10.24033/ast.1149}
}

@article{lovaszszegedy2006,
  author = {László Lovász and Balázs Szegedy},
  title = {Limits of dense graph sequences},
  journal = {Journal of Combinatorial Theory, Series B},
  volume = {96},
  pages = {933–957},
  year = {2006},
  doi = {10.1016/j.jctb.2006.05.002}
}

@article{bkt2004,
  author = {Jean Bourgain and Nets Hawk Katz and Terence Tao},
  title = {A sum-product estimate in finite fields, and applications},
  journal = {Geometric and Functional Analysis},
  volume = {14},
  pages = {27–57},
  year = {2004},
  doi = {10.1007/s00039-004-0451-1}
}

@book{talagrand2011,
  author = {Michel Talagrand},
  title = {Mean Field Models for Spin Glasses. Volume I: Basic Examples},
  publisher = {Springer},
  year = {2011},
  doi = {10.1007/978-3-642-15202-3}
}

@misc{perelman2002,
  author = {Grigori Perelman},
  title = {The entropy formula for the Ricci flow and its geometric applications},
  year = {2002},
  url = {https://arxiv.org/abs/math/0211159}
}

@incollection{deligne1982,
  author = {Pierre Deligne},
  title = {Hodge cycles on abelian varieties (notes by J. S. Milne)},
  booktitle = {Hodge Cycles, Motives, and Shimura Varieties},
  series = {Lecture Notes in Mathematics},
  volume = {900},
  publisher = {Springer},
  year = {1982},
  url = {https://www.jmilne.org/math/Documents/Deligne82_2003.pdf}
}

@article{erdos1957,
  author = {Paul Erdős},
  title = {Some unsolved problems},
  journal = {Michigan Mathematical Journal},
  volume = {4},
  year = {1957},
  doi = {10.1307/mmj/1028997963}
}

@misc{yau1994,
  author = {Shing-Tung Yau},
  title = {Open problems in geometry},
  year = {1994}
}

@misc{wangzahl2025,
  author = {Hong Wang and Joshua Zahl},
  title = {Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions},
  year = {2025},
  url = {https://arxiv.org/abs/2502.17655}
}

@article{bct2006,
  author = {Jonathan Bennett and Anthony Carbery and Terence Tao},
  title = {On the multilinear restriction and Kakeya conjectures},
  journal = {Acta Mathematica},
  volume = {196},
  pages = {261–302},
  year = {2006},
  doi = {10.1007/s11511-006-0006-4}
}

@article{yau1978,
  author = {Shing-Tung Yau},
  title = {On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation. I},
  journal = {Communications on Pure and Applied Mathematics},
  volume = {31},
  pages = {339–411},
  year = {1978},
  doi = {10.1002/cpa.3160310304}
}

@article{chern1944,
  author = {Shiing-Shen Chern},
  title = {A simple intrinsic proof of the Gauss–Bonnet formula for closed Riemannian manifolds},
  journal = {Annals of Mathematics},
  volume = {45},
  pages = {747–752},
  year = {1944},
  doi = {10.2307/1969302}
}

@article{chernsimons1974,
  author = {Shiing-Shen Chern and James Simons},
  title = {Characteristic forms and geometric invariants},
  journal = {Annals of Mathematics},
  volume = {99},
  pages = {48–69},
  year = {1974},
  doi = {10.2307/1971013}
}

@article{gwz2024,
  author = {Shaoming Guo and Hong Wang and Ruixiang Zhang},
  title = {A dichotomy for Hörmander-type oscillatory integral operators},
  journal = {Inventiones Mathematicae},
  volume = {238},
  pages = {503–584},
  year = {2024},
  doi = {10.1007/s00222-024-01288-8}
}

@article{gowwz2025,
  author = {Shaoming Guo and Changkeun Oh and Hong Wang and Shukun Wu and Ruixiang Zhang},
  title = {The Bochner–Riesz problem: an old approach revisited},
  journal = {Peking Mathematical Journal},
  volume = {8},
  pages = {201–270},
  year = {2025},
  doi = {10.1007/s42543-023-00082-4}
}

@article{tao2003,
  author = {Terence Tao},
  title = {A sharp bilinear restriction estimate for paraboloids},
  journal = {Geometric and Functional Analysis},
  volume = {13},
  pages = {1359–1384},
  year = {2003},
  doi = {10.1007/s00039-003-0449-0}
}

@article{xuzhang2019,
  author = {Chenyang Xu and Lei Zhang},
  title = {Nonvanishing for 3-folds in characteristic p>5},
  journal = {Duke Mathematical Journal},
  volume = {168},
  pages = {1269–1301},
  year = {2019},
  doi = {10.1215/00127094-2018-0066}
}

@misc{denghanima2025,
  author = {Yu Deng and Zaher Hani and Xiao Ma},
  title = {Long time derivation of the Boltzmann equation from hard sphere dynamics},
  year = {2025},
  url = {https://arxiv.org/abs/2408.07818}
}

@book{morgantian2007,
  author = {John W. Morgan and Gang Tian},
  title = {Ricci Flow and the Poincaré Conjecture},
  publisher = {American Mathematical Society and Clay Mathematics Institute},
  year = {2007},
  url = {https://www.claymath.org/library/monographs/cmim03.pdf}
}

@article{dingslysun2022,
  author = {Jian Ding and Allan Sly and Nike Sun},
  title = {Proof of the satisfiability conjecture for large k},
  journal = {Annals of Mathematics},
  volume = {196},
  pages = {1–388},
  year = {2022},
  doi = {10.4007/annals.2022.196.1.1}
}

@article{leehuangyang1957,
  author = {T. D. Lee and Kerson Huang and C. N. Yang},
  title = {Eigenvalues and eigenfunctions of a Bose system of hard spheres and its low-temperature properties},
  journal = {Physical Review},
  volume = {106},
  pages = {1135–1145},
  year = {1957},
  doi = {10.1103/PhysRev.106.1135}
}

@misc{openai_ns,
  author = {{OpenAI}},
  title = {Finite time blowup for Navier–Stokes},
  year = {2026},
  url = {https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf},
  note = {Lean formalization: https://github.com/openai/NavierStokesAndEuler}
}

@article{euler1757,
  author = {Leonhard Euler},
  title = {Principes généraux du mouvement des fluides},
  journal = {Mémoires de l’Académie des sciences de Berlin},
  year = {1757},
  url = {https://scholarlycommons.pacific.edu/euler-works/226/}
}

@article{leray1934,
  author = {Jean Leray},
  title = {Sur le mouvement d’un liquide visqueux emplissant l’espace},
  journal = {Acta Mathematica},
  volume = {63},
  pages = {193–248},
  year = {1934},
  doi = {10.1007/BF02547354}
}

@article{ckn1982,
  author = {Luis Caffarelli and Robert Kohn and Louis Nirenberg},
  title = {Partial regularity of suitable weak solutions of the Navier–Stokes equations},
  journal = {Communications on Pure and Applied Mathematics},
  volume = {35},
  pages = {771–831},
  year = {1982},
  doi = {10.1002/cpa.3160350604}
}

@article{jumper2021,
  author = {John Jumper and others},
  title = {Highly accurate protein structure prediction with AlphaFold},
  journal = {Nature},
  volume = {596},
  pages = {583–589},
  year = {2021},
  doi = {10.1038/s41586-021-03819-2}
}

@article{anfinsen1973,
  author = {Christian B. Anfinsen},
  title = {Principles that govern the folding of protein chains},
  journal = {Science},
  volume = {181},
  pages = {223–230},
  year = {1973},
  doi = {10.1126/science.181.4096.223}
}

@misc{zelikman2022,
  author = {Eric Zelikman and others},
  title = {STaR: Bootstrapping Reasoning With Reasoning},
  year = {2022},
  url = {https://arxiv.org/abs/2203.14465}
}

@misc{amodei2016,
  author = {Dario Amodei and others},
  title = {Concrete Problems in AI Safety},
  year = {2016},
  url = {https://arxiv.org/abs/1606.06565}
}

@misc{skalse2022,
  author = {Joar Skalse and others},
  title = {Defining and Characterizing Reward Hacking},
  year = {2022},
  url = {https://arxiv.org/abs/2209.13085}
}

@misc{fefferman2000,
  author = {Charles L. Fefferman},
  title = {Existence and smoothness of the Navier–Stokes equation},
  howpublished = {Clay Mathematics Institute, Millennium Prize Problem statement},
  year = {2000},
  url = {https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf}
}

@inproceedings{mathlib2020,
  author = {{The mathlib Community}},
  title = {The Lean mathematical library},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)},
  pages = {367–381},
  year = {2020},
  doi = {10.1145/3372885.3373824}
}

@article{shumailov2024,
  author = {Ilia Shumailov and others},
  title = {AI models collapse when trained on recursively generated data},
  journal = {Nature},
  volume = {631},
  pages = {755–759},
  year = {2024},
  doi = {10.1038/s41586-024-07566-y}
}