Crossmark

How to Recognize Artificial Mathematical Intelligence in Theorem Proving

Crossref DOI link: https://doi.org/10.1007/s11245-025-10164-w

Published Online: 2025-01-29

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Pantsar, Markus https://orcid.org/0000-0001-8572-1453
Funding

Funding for this research was provided by:

RWTH Aachen University
License Information

Text and Data Mining valid from 2025-01-29

Version of Record valid from 2025-01-29
More Information

Article History

Accepted: 6 January 2025

First Online: 29 January 2025

Declarations

:

: The authors has no conflicts of interest.