CoChat
Sign Up
PreprintCited by 6Mathematics, Computing, and Information ProcessingArtificial Intelligence in Healthcare and EducationArtificial Intelligence Applications

Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics

Open access
Swan, Melanie, Kido, Takashi, Roland, Eric, Santos, Renato P. dos·2023·arXiv
DOI 10.48550/arxiv.2307.02502arXiv 2307.02502
Open this paper in CoChat — free accountOpen PDF

Abstract

The advancement in generative AI could be boosted with more accessible mathematics. Beyond human-AI chat, large language models (LLMs) are emerging in programming, algorithm discovery, and theorem proving, yet their genomics application is limited. This project introduces Math Agents and mathematical embedding as fresh entries to the "Moore's Law of Mathematics", using a GPT-based workflow to convert equations from literature into LaTeX and Python formats. While many digital equation representations exist, there's a lack of automated large-scale evaluation tools. LLMs are pivotal as linguistic user interfaces, providing natural language access for human-AI chat and formal languages for large-scale AI-assisted computational infrastructure. Given the infinite formal possibility spaces, Math Agents, which interact with math, could potentially shift us from "big data" to "big math". Math, unlike the more flexible natural language, has properties subject to proof, enabling its use beyond traditional applications like high-validation math-certified icons for AI alignment aims. This project aims to use Math Agents and mathematical embeddings to address the ageing issue in information systems biology by applying multiscalar physics mathematics to disease models and genomic data. Generative AI with episodic memory could help analyse causal relations in longitudinal health records, using SIR Precision Health models. Genomic data is suggested for addressing the unsolved Alzheimer's disease problem.

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

Cites

0 citation errors · 0 not checkable

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?

  • LLM-based agents can communicate with humans fluently and are often utilized to develop agent-based educational tools.

    “Natural science education: LLM-based agents can communicate with humans fluently, often being utilized to develop agent-based educational tools [115,117-119].”

    From A survey on large language model based autonomous agents (2024) · cites this paper as [117]

    The Introduction to Formalization Space says LLMs provide a natural-language interface for human interaction, and the Math Agents section describes a potential dialogical interface between humans and mathematics. Our copy does not say that LLM-based agents are often used to develop educational tools; its examples concern mathematical infrastructure and research. (LLM, conf=0.85)

    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

The publisher hasn’t deposited this paper’s reference list.

Research works printed but not linked: 22

  1. Banuelos, M. & Sindi, S. (2018). Modeling transposable element dynamics with fragmentation equations. Mathematical Biosciences. 302:46-66. https://doi.org/10.1016/j.mbs.2018.05.009. · DOI
  2. Capozziello, S., Pincak, R., Kanjamapornkul, K., and Saridakis, E.N. (2018). The Chern-Simons current in systems of DNA-RNA transcriptions. Annalen der Physik. 530(4):1700271. doi:10.1002/andp.201700271. · DOI
  3. Depue, W. (2023). Embeddings for every research paper on the arXiv. Twitter. 25 May 2023. https://twitter.com/willdepue/status/1661781355452325889?lang=en. arXiv Title and Abstract embeddings available at: https://alex.macrocosm.so/download.
  4. Dooling, B., Johnson, N.R., Joshi, M. et al. (2022). Interrogating the role of APOE4 in Alzheimer's disease and Down syndrome using human induced pluripotent stem cells (hiPSC)- derived cerebral organoids. Alzheimer's & Dementia. https://doi.org/10.1002/alz.068061. · DOI
  5. Dos Santos, R.P. (2019). Consensus Algorithms: A Matter of Complexity? Swan, M., Potts, J., Takagi, S., Witte, F. & Tasca, P., Eds. Blockchain Economics: Implications of Distributed Ledgers -Markets, Communications Networks, and Algorithmic Reality. London: World Scientific. Pp. 147-170.
  6. Dresselhaus, T., Neugebauer, J., Knecht, S. et al. (2014). Self-Consistent Embedding of Density- Matrix Renormalization Group Wavefunctions in a Density Functional Environment. arXiv:1409.1953v1. · arXiv
  7. Guo, M., Niu, C., Tian, Y. & Zhang, H. (2016). Modave lectures on applied AdS/CFT with numerics. In: Proceedings, 11th Modave Summer School in Mathematical Physics. arXiv:1601.00257v2, PoS Modave2015(2016)003. · arXiv
  8. Hales, T.C. (2005). A proof of the Kepler conjecture. Annals of Mathematics. 2(162):1063- 1183. https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p01.pdf.
  9. Hales, T.C., Adams, M., Bauer, G. et al. (2017). A Formal Proof of the Kepler Conjecture. Forum of Mathematics, Pi. 5(e2). https://doi.org/10.1017/fmp.2017. · DOI
  10. Hashimoto, K., Hu, H.-Y. & You, Y.-Z. (2021). Neural ordinary differential equation and holographic quantum chromodynamics. Mach Learn: Sci. Technol. 2(03):035011.
  11. Heule, M. (2018). Schur Number Five. Proceedings of the AAAI Conference on Artificial Intelligence. 32(1). https://doi.org/10.1609/aaai.v32i1.12209. · DOI
  12. Kant, I. (1988 [1781/1787]). Critique of Pure Reason. Trans. & Ed. P. Guyer & A.W. Wood. Cambridge: Cambridge University Press.
  13. Kermack, W. & McKendrick, A (1991). Contributions to the mathematical theory of epidemics - I. Bulletin of Mathematical Biology. 53(1-2):33-55. doi:10.1007/BF02464423. · DOI
  14. Krantz, S.G. (2007). The Proof is in the Pudding: A Look at the Changing Nature of Mathematical Proof. Cham Switzerland: Springer.
  15. Meijer, H.J., Truong, J. & Karimi, R. (2021). Document Embedding for Scientific Articles: Efficacy of Word Embeddings vs TFIDF. arXiv:2107.05151v1. · arXiv
  16. Nguyen, E., Poli, M., Faizi, F. et al. (2023). HyenaDNA: Long-Range Genomic Sequence Modeling at Single Nucleotide Resolution. arXiv:2306.15794v1. · arXiv
  17. Steingart, A. (2022). Axiomatics: Mathematical Thought and High Modernism. Chicago: University Chicago Press.
  18. Swan, M. & dos Santos, R.P. (2023). Quantum Intelligence: Responsible Human-AI Entities. AAAI 2023 Spring Symposium: Socially Responsible AI for Well-being. South San Francisco CA, March 27-29, 2023. https://www.slideshare.net/lablogga/quantumintelligence- responsible-humanai-entities.
  19. Thompson, T.B., Meisl, G., Knowles, T.P.J. et al. (2021). The role of clearance mechanisms in the kinetics of pathological protein aggregation involved in neurodegenerative diseases. J. Chem. Phys. 154:125101. https://doi.org/10.1063/5.0031650. · DOI
  20. Wang, Z.J., Hohman, F. & Chau, D.H. (2023). WIZMAP: Scalable Interactive Visualization for Exploring Large Machine Learning Embeddings. arXiv:2306.09328v1. https://github.com/poloclub/wizmap. · arXiv
  21. Wyss, A. & Hidalgo, A. (2023). Modeling COVID-19 Using a Modified SVIR Compartmental Model and LSTM-Estimated Parameters. Mathematics. 11:1436. https://doi.org/10.3390/math11061436. · DOI
  22. Yang, K., Swope, A., Gu, A. et al. (2023). LeanDojo: Theorem Proving with Retrieval- Augmented Language Models. arXiv:2306.15626v1. · arXiv

Cited by

Sorted by citations

Related

Authors
Swan, M., Kido, T., Roland, E., & Santos, R. P. D.
Affiliations
University College London (GB)
ORCID
Venue
arXiv
Publisher
arXiv
Published
2023
Volume
abs/2307.02502
ISSN
2331-8422 (ISSN-L)
DOI
10.48550/arxiv.2307.02502
arXiv
2307.02502
OpenAlex
W4383604266
Cited by
4
References
0
Citations by year
2025: 1 · 2024: 3
Type
posted content
Language
en
Open access
Licence
Locations
  • arXiv (Cornell University) (submittedVersion, cc-by-sa)
  • Institutional Repositories DataBase (IRDB) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Mathematics, Computing, and Information Processing
  • Health Sciences › Medicine › Health Informatics › Artificial Intelligence in Healthcare and Education
  • Physical Sciences › Computer Science › Artificial Intelligence › Artificial Intelligence Applications
Keywords
large language models, disease models, SIR model, precision health, longitudinal health records, causal relationship, episodic memory, Alzheimer's disease, AI alignment

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