2026 AI Educator Summer Institute: Full Schedule

The inaugural A.I. Educator Summer Institute begins on July 13, 2026!

You will be able to validate your attendance (Check-In to sessions) using your personal schedule.

arrow_back View All Dates

9:00am EDT

Source Code Session #23: Lean Into AI: Machine Verified Mathematics

LIMITED

Thursday July 16, 2026 9:00am - 10:00am EDT

SC Governor's School for Science and Mathematics Building (GSSM)

Limited Capacity seats available

If you ask an LLM to do mathematics, how does it know what is "correct"? Although models have been improving, they still sometimes make mistakes, especially in the "harder" sciences like mathematics. And yet, prominent mathematicians such as Terry Tao are vocally advocating for the use of AI in their research and have been publishing machine assisted proofs. Why do renowned experts like Dr. Tao trust AI, how can the AI help with research, and what does this have to do with high school students? The answer to all of this is strongly related to interactive proof assistant languages like Lean, which have existed prior to the current LLM boom. This session will cover some of the basics and describe how GSSM has used Lean to create research opportunities in mathematics that are accessible for gifted high school students.

Speakers

Taylor Belcher

Computer Science & Mathematics Instructor, A.I. Faculty Fellow, SC Governor's School for Science and Mathematics

Taylor is a Mathematics and Computer Science Instructor at the South Carolina Governor's School for Science and Mathematics. He taught high school and college mathematics for over a decade before joining the CS department at GSSM. He has an MA in Pure Mathematics from Bowling Green... Read More →

Thursday July 16, 2026 9:00am - 10:00am EDT
SC Governor's School for Science and Mathematics Building (GSSM) 401 Railroad Ave., Hartsville, SC 29550

Source Code Session, Small Group

Knowledge/Experience Level 2, 3
Audience 11-12
Subject Mathematics, Computer Science
Tags Computer Science, Mathematics, AI
Location/Room Number C113
Participants should bring...Part Laptops (with charging cords); Writing utensil

2026 AI Educator Summer Institute

9:00am EDT

Taylor Belcher

Get help with the event