Tapering AI Limits with Mathematical Formalization

Using AI to formalize mathematics may help close gaps in AI's ineffective reasoning capabilities.

• See all Mathematical Moments.
• See Moments related to: Science, Nature, Technology, and Human Culture

View the entire playlist on YouTube

Download the 8.5" x 11" flyers to

• Display in your office
• Use in the classroom
• Distribute at special events
• Promote math to colleagues
• Post on bulletin boards
• Launch a math club activity

To suggest topics or volunteer to be interviewed for a Mathematical Moment, contact AMS Outreach.

• Math in the Media (now featuring classroom activities!)
• Feature Column
• News from the AMS
• For Journalists