APA (7th ed.) Citation
Pantsar, M. (2026). How to Recognize Artificial Mathematical Intelligence in Theorem Proving. Topoi: An International Review of Philosophy, 45(2), 707-721.
Chicago Style (17th ed.) Citation
Pantsar, Markus. "How to Recognize Artificial Mathematical Intelligence in Theorem Proving." Topoi: An International Review of Philosophy 45, no. 2 (2026): 707-721.
MLA (9th ed.) Citation
Pantsar, Markus. "How to Recognize Artificial Mathematical Intelligence in Theorem Proving." Topoi: An International Review of Philosophy, vol. 45, no. 2, 2026, pp. 707-721.
Warning: These citations may not always be 100% accurate.