Machine Assisted Proof
Terence Tao, UCLA, gives the first of three AMS Colloquium Lectures at the 2024 Joint Mathematics Meetings in San Francisco. This lecture is entittled, "Machine Assisted Proof."
Modernizing Math with Artificial Intelligence
Mathematical Moments #171
Dr. Po-Shen Loh, mathematician and social entrepreneur, talks about what's ahead for AI and mathematics, as AI platforms show steady improvements in their ability to solve advanced mathematical problems.
Unlocking Secrets of AI
Mathematical Moments #172
Dr. Kristin Lauter, director of FAIR Labs North America (formerly Facebook AI Research) discusses her team's work with AI in the realms of learning with errors
cryptography and climate change predictions.
Tapering AI Limits with Mathematical Formalization
Mathematical Moments #173
Dr. Alex Best discusses how formalization may help close gaps in AI reasoning abilities.