All AI-assisted research

15 papers · newest first · grouped by announcement date · RSS

Mathematics: math.AC, math.AG, math.AP, math.AT, math.CA, math.CO, math.CT, math.CV, math.DG, math.DS, math.FA, math.GM, math.GN, math.GR, math.GT, math.HO, math.IT, math.KT, math.LO, math.MG, math.MP, math.NA, math.NT, math.OA, math.OC, math.PR, math.QA, math.RA, math.RT, math.SG, math.SP, math.ST
Computer science, physics, biology, finance, statistics, EESS and economics are coming soon →

Thu, 27 Aug 2026

[1]

aiXiv:2608.00015 [pdf] via arXiv — unclaimed

Transcendental Numerical Dimension and Rational Quotients in Kähler Geometry

Songchen Liu

Comments: 47 pages, 1 figure. AI-assisted proof. Comments are welcome!

Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Differential Geometry (math.DG)

[2]

aiXiv:2608.00014 [pdf] editors' pickvia arXiv — unclaimed

On supporting affine functionals for Entanglement of Formation

A. S. Holevo, M. E. Shirokov

Comments: 14 pages, preliminary version, any comments are welcome

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Optimization and Control (math.OC)

[3]

aiXiv:2608.00013 [pdf] editors' pickvia arXiv — unclaimed

Sequential and distributive dual futile cycle: Hopf bifurcation can occur under parameter-rich kinetics but cannot occur under mass action kinetics

Nicola Vassena

Comments: 27 pages

Subjects: Dynamical Systems (math.DS); Molecular Networks (q-bio.MN)

[4]

aiXiv:2608.00012 [pdf] editors' pickvia arXiv — unclaimed

A blueprint for the formalization of norm-variation of multiple ergodic averages for commuting transformations

Floris van Doorn, Polona Durcik, Joris Roos, Lenka Slavíková, Christoph Thiele

Comments: 116 pages; associated formalization available at https://github.com/roos-j/lean-nct

Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA)

[5]

aiXiv:2608.00011 [pdf] editors' pickvia arXiv — unclaimed

A note on surfaces with large systoles

Yifei Cai

Comments: 11 pages, 1 figure

Subjects: Geometric Topology (math.GT); Combinatorics (math.CO)

Thu, 7 Nov 2024

[6]

aiXiv:2608.00010 [pdf] via arXiv — unclaimed

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

Elliot Glazer, Ege Erdil, Tamay Besiroglu, Diego Chicharro, Evan Chen, Alex Gunning, Caroline Falkman Olsson, Jean-Stanislas Denain, Anson Ho, Emily de Oliveira Santos, Olli Järviniemi, Matthew Barnett, Robert Sandler, Matej Vrzala, Jaime Sevilla, Qiuyu Ren, Elizabeth Pratt, Lionel Levine, Grant Barkley, Natalie Stewart, Bogdan Grechuk, Tetiana Grechuk, Shreepranav Varma Enugandla, Mark Wildon

Subjects: History and Overview (math.HO); Artificial Intelligence (cs.AI)

Thu, 23 May 2024

[7]

aiXiv:2608.00009 [pdf] via arXiv — unclaimed

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Huajian Xin, Daya Guo, Zhihong Shao, Zhizhou Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Mon, 16 Oct 2023

[8]

aiXiv:2608.00008 [pdf, repo] repo ✓via arXiv — unclaimed

Llemma: An Open Language Model For Mathematics

Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck

Comments: Updated references; corrected description of COPRA search budget

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

Tue, 27 Jun 2023

[9]

aiXiv:2608.00007 [pdf, repo] editors' pickrepo ✓via arXiv — unclaimed

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar

Comments: Accepted to NeurIPS 2023 (Datasets and Benchmarks Track) as an oral presentation. Data, code, and models available at https://leandojo.org/

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Tue, 31 Jan 2023

[10]

aiXiv:2608.00006 [pdf] via arXiv — unclaimed

Mathematical Capabilities of ChatGPT

Simon Frieder, Luca Pinchetti, Alexis Chevalier, Ryan-Rhys Griffiths, Tommaso Salvatori, Thomas Lukasiewicz, Philipp Christian Petersen, Julius Berner

Comments: Added further evaluations on another ChatGPT version and on GPT-4. The GHOSTS and miniGHOSTS datasets are available at https://github.com/xyfrieder/science-GHOSTS

Subjects: History and Overview (math.HO); Artificial Intelligence (cs.AI)

Fri, 21 Oct 2022

[11]

aiXiv:2608.00005 [pdf] editors' pickvia arXiv — unclaimed

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); History and Overview (math.HO)

Mon, 23 May 2022

[12]

aiXiv:2608.00004 [pdf] via arXiv — unclaimed

HyperTree Proof Search for Neural Theorem Proving

Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Wed, 25 May 2022

[13]

aiXiv:2608.00003 [pdf] via arXiv — unclaimed

Autoformalization with Large Language Models

Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

Comments: 44 pages

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); History and Overview (math.HO)

Tue, 31 Aug 2021

[14]

aiXiv:2608.00002 [pdf, repo] repo ✓via arXiv — unclaimed

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Kunhao Zheng, Jesse Michael Han, Stanislas Polu

Comments: Published as a conference paper at ICLR 2022

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

Mon, 7 Sep 2020

[15]

aiXiv:2608.00001 [pdf] via arXiv — unclaimed

Generative Language Modeling for Automated Theorem Proving

Stanislas Polu, Ilya Sutskever

Comments: 15+5 pages

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)

showing 1–15 of 15