Title: The use of AI in math: an optimistic perspective
\nSpeaker: Anton Shakov, Principia Math
\nDate: Friday, October 9, 2026
\nTime: 3:30 PM – 4:30 PM
\nLocation: Carleton University, HP 4351 Macphail Room, Herzberg\u00a0Building, 4th floor, 1125 Colonel By Drive, Ottawa, ON<\/p>\n
Abstract:<\/strong> Title: The use of AI in math: an optimistic perspective Speaker: Anton Shakov, Principia Math Date: Friday, October 9, 2026 Time: 3:30 PM – 4:30 PM Location: Carleton University, HP 4351 Macphail Room, Herzberg\u00a0Building, 4th floor, 1125 Colonel By Drive, Ottawa, ON Abstract: AI systems are now routinely solving open problems in math, and some […]<\/p>\n","protected":false},"author":44,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"","_relevanssi_noindex_reason":"","_mi_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":"","_links_to":"","_links_to_target":""},"categories":[14,1],"tags":[],"yoast_head":"\n
\nAI systems are now routinely solving open problems in math, and some mathematicians worry about what this means for our field. Principia Math is a startup that has spent the past 3 months working on AI systems for math. I will share what this experience has taught us and discuss a few possibilities for the future of math. While the risks of this technology are real, I will present a case that there may be more room for human curiosity in math than before, showcasing one recent example where an AI-generated proof became the starting point for a young mathematician’s own work.<\/p>\n","protected":false},"excerpt":{"rendered":"