Organizing Mathematical Knowledge in the Age of AI and Formalization
Michael DeBellis
This is from an email forwarded to me by a colleague. Thought the group might find it interesting. The link in the email was something I wouldn't trust if I didn't know the sender so rather than including that, here is the direct link that should take you to the page to register for this: https://events.nationalacademies.org/46979
Organizing Mathematical Knowledge in the Age of AI and Formalization
Join us for an interactive meeting to discuss the future of mathematical knowledge in the face of AI and formalization. This event will take place in person in Washington, D.C. and virtually on July 20 from 9:00 AM to 5:00 PM ET and July 21 from 9:00 AM to 4:00 PM ET.
Recent advances in AI-assisted mathematics and formalization are rapidly changing how mathematical knowledge is created, organized, and validated. As these capabilities mature, they raise broader questions about the future of mathematical knowledge as a form of shared infrastructure—not only for mathematics itself, but also for science, engineering, and other high-assurance domains that depend on reliable reasoning.
The National Academies are hosting an interactive meeting that will bring together experts from the mathematics, formalization, and AI communities as well as leaders in industry, government, philanthropy, and more. Discussions will focus on questions of infrastructure, incentives, and coordination, as well as the role that different sectors can play in shaping the future of the field. The goal of this meeting is to develop a proposed course of action for the field and to foster collaboration between stakeholders.
Alex Shkotin
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see http://ontologforum.org/info
---
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/ontolog-forum/f8970dad-32a2-4507-a808-f3f2a0e3a1f2n%40googlegroups.com.