@misc{frontier,
  howpublished = {\url{https://epoch.ai/frontiermath}},
  }
  
@misc{schmitt2025improofbench,
  title={I{MP}roof{B}ench: Benchmarking {A}{I} on Research-Level Mathematical Proof Generation},
  author={Schmitt, Johannes and B{\'e}rczi, Gergely and Dekoninck, Jasper and Feusi, Jeremy and Gehrunger, Tim and Appenzeller, Raphael and Bryan, Jim and Canova, Niklas and de Wolff, Timo and Gaia, Filippo and others},
howpublished=
{\url{https://arxiv.org/abs/2509.26076}},
}

@techreport{kimik3_2026,
  title       = {Kimi K3 Technical Report},
  author      = {{Kimi Team, Moonshot AI}},
  year        = {2026},
  institution = {Moonshot AI},
  url         = {https://github.com/MoonshotAI/Kimi-K3/blob/main/k3_tech_report.pdf}
}

@misc{dspark_2026,
  title        = {Kimi-K3-DSpark draft model},
  author       = {{RadixArk}},
  year         = {2026},
  howpublished = {Hugging Face, \url{https://huggingface.co/RadixArk/Kimi-K3-DSpark}},
  note         = {Accessed October 2026.}
}

@misc{kimik3_weights_2026,
  title        = {Kimi K3 model weights},
  author       = {{Moonshot AI}},
  year         = {2026},
  howpublished = {Hugging Face, \url{https://huggingface.co/moonshotai/Kimi-K3/tree/f831ab66814297da540d832a5235f8e904f29d06}},
  note         = {Revision f831ab66814297da540d832a5235f8e904f29d06. Accessed October 2026.}
}

@misc{zhang2025realmath,
  title={Real{M}ath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics},
  author={Zhang, Jie and Petrui, Cezara and Nikoli{\'c}, Kristina and Tram{\`e}r, Florian},
howpublished=
{\url{https://arxiv.org/abs/2505.12575}},
}



@misc{FirstProof,
  title        = {First Proof},
  author       = {Abouzaid, Mohammed and Blumberg, Andrew J. and Hairer, Martin and Kileel, Joe and Kolda, Tamara G. and Nelson, Paul D. and Spielman, Daniel and Srivastava, Nikhil and Ward, Rachel and Weinberger, Shmuel and Williams, Lauren},
  year         = {2026},
  month        = {February},
  eprint       = {2602.05192},
  archivePrefix= {arXiv},
  primaryClass = {cs.AI},
  note          = {arXiv preprint \texttt{https://arxiv.org/abs/2602.05192}}
}

@misc{FirstProofSecondBatch,
  title         = {First Proof Second Batch},
  author        = {Abouzaid, Mohammed and Srivastava, Nikhil and Ward, Rachel and Williams, Lauren},
  year          = {2026},
  eprint        = {2606.18119},
  archivePrefix = {arXiv},
  primaryClass  = {cs.AI},
  note          = {arXiv preprint \texttt{https://arxiv.org/abs/2606.18119}}
}


@article{thurston,
  author  = {Thurston, William P.},
  title   = {On Proof and Progress in Mathematics},
  journal = {Bulletin of the American Mathematical Society (N.S.)},
  volume  = {30},
  number  = {2},
  pages   = {161--177},
  year    = {1994},
  doi     = {10.1090/S0273-0979-1994-00502-6},
}

@article{cmek3sspt,
  author  = {Alexeev, Valery and Brunyate, Adrian and Engel, Philip},
  title   = {Compactifications of moduli of elliptic {K3} surfaces: Stable pair and toroidal},
  journal = {Geometry \& Topology},
  volume  = {26},
  number  = {8},
  pages   = {3525--3588},
  year    = {2022},
}

@misc{dfk3slpms,
  author        = {Giovenzana, Luca and Thompson, Alan},
  title         = {Degenerations and fibrations of {K3} surfaces: Lattice polarisations and mirror symmetry},
  year          = {2024},
  month         = may,
  eprint        = {2405.12009},
  archivePrefix = {arXiv},
  primaryClass  = {math.AG},
}





@misc{SciAmS6,
  author       = {Bischoff, Manon and Howlett, Joseph},
  title        = {{AI} solves 79-year-old mathematical mystery},
  howpublished = {Scientific American, \url{https://www.scientificamerican.com/article/ai-solves-79-year-old-math-mystery-of-six-dimensional-spheres/}},
  year         = {2026},
  month        = sep,
}

@misc{ConversationJacobian,
  author       = {Lee, Melissa},
  title        = {`hello there the jacobian conjecture is false thanx': why a tiny social media post has mathematicians rethinking {AI}},
  howpublished = {The Conversation, \url{https://theconversation.com/hello-there-the-jacobian-conjecture-is-false-thanx-why-a-tiny-social-media-post-has-mathematicians-rethinking-ai-283883}},
  year         = {2026},
  month        = jul,
}

@misc{QuantaNavierStokes,
  author       = {Kakaes, Konstantin},
  title        = {{AI} Has Solved One of Math's \$1 Million {M}illennium {P}rize Problems},
  howpublished = {Quanta Magazine, \url{https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/}},
  year         = {2026},
  month        = sep,
}

@misc{NatureOpenAI700,
  key          = {Nature},
  title        = {{OpenAI} posts 700 maths preprints online: mathematicians are up in arms},
  howpublished = {Nature (news), \url{https://www.nature.com/articles/d41586-026-03196-8}},
  year         = {2026},
  month        = oct,
}

@article{stuart2010inverse,
  author  = {Stuart, Andrew M.},
  title   = {Inverse problems: a {B}ayesian perspective},
  journal = {Acta Numerica},
  volume  = {19},
  pages   = {451--559},
  year    = {2010}
}

@book{nickl2023bayesian,
  author    = {Nickl, Richard},
  title     = {Bayesian Non-linear Statistical Inverse Problems},
  series    = {Zurich Lectures in Advanced Mathematics},
  publisher = {EMS Press},
  address   = {Berlin},
  year      = {2023}
}

@article{cohen2011analytic,
  author  = {Cohen, Albert and DeVore, Ronald and Schwab, Christoph},
  title   = {Analytic regularity and polynomial approximation of parametric and stochastic elliptic {PDE}'s},
  journal = {Analysis and Applications},
  volume  = {9},
  number  = {1},
  pages   = {11--47},
  year    = {2011}
}