Embracing AI and formalization: Experimenting with tomorrow's mathematical tools.

Saved in:

Bibliographic Details
Title:	Embracing AI and formalization: Experimenting with tomorrow's mathematical tools.
Authors:	Alper, Jarod¹ (AUTHOR)
Source:	Bulletin (New Series) of the American Mathematical Society. Apr2026, Vol. 63 Issue 2, p177-197. 21p.
Database:	Academic Search Ultimate

Description
ISSN:	02730979
DOI:	10.1090/bull/1879