National Academies Meeting Explores Math Knowledge Organization in AI Era
Reactions from ranked influencers
3 posts
Thanks to all the amazing folks in math, formalization, and adjacent areas that joined in person and online! (seriously read Alex's tweets, the meeting was a banger)
Thanks to @patrickshafto for organizing an inspiring meeting on mathematics, AI, and formalization and for bringing together such an incredible community at the @theNASciences! Excited to keep building on these discussions!
Meeting on the Organization of Mathematical Knowledge in the Age of AI and Formalization wrapped up today! @AlexKontorovich captured in tweet, starting with: https://x.com/AlexKontorovich/status/2079197788345151551 Gratifying to see this energy in the math community. Big thanks to @theNASEM for hosting!
Meeting on the Organization of Mathematical Knowledge in the Age of AI and Formalization wrapped up today! @AlexKontorovich captured in tweet, starting with: Gratifying to see this energy in the math community. Big thanks to @theNASEM for hosting!
Terry’s slide at the NAS meeting, on incentive structures in math..