(Fun)damental Uses of AI in Math: Formalization & Autoformalization

REGISTRATION DEADLINE: The Columbia Morningside campus is open to the Columbia community. If you do not have an active CUID, the deadline to register is at 12:00 PM the day before the event. External guests will receive a QR code by email to enter campus.

____________

Artificial intelligence is beginning to transform how mathematical reasoning is expressed and verified. As large language models and automated reasoning systems improve, researchers are making rapid progress in both formalizing mathematical arguments and autoformalizing them, converting informal mathematics into formal proof systems at increasing scale. Speakers (Rutgers University) and (Columbia University) will examine the technical challenges, research opportunities, and broader implications of this shift for both math and AI. The symposium will cover how advances in proof systems, formal methods, and machine learning may reshape the future practice of mathematical research.

This event is part of the initiative at the Data Science Institute, Columbia University.

Know what’s Happening Next — before everyone else does.

Get App

Host or Publisher Data Science Institute, Columbia University