Loading…
2026 AI Educator Summer Institute
The inaugural A.I. Educator Summer Institute begins on July 13, 2026! 
Subject: Computer Science clear filter
Thursday, July 16
 

9:00am EDT

Source Code Session #23: Lean Into AI: Machine Verified Mathematics
LIMITED
Thursday July 16, 2026 9:00am - 10:00am EDT
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
avatar for Taylor Belcher

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

10:15am EDT

Source Code Session #25:Beyond ChatGPT: Launching South Carolina’s AI Pathway to Meet Graduation Requirements and Workforce Demand
LIMITED
Thursday July 16, 2026 10:15am - 11:15am EDT
Limited Capacity seats available
This session spotlights South Carolina’s custom-designed Introduction to Artificial Intelligence (Course 1) and the full AI Career Pathway — created specifically for our state to meet workforce demand while providing a powerful option for satisfying the computer science graduation requirement. Students learn the foundational building blocks behind AI systems, including machine learning, computer vision, natural language processing, data preparation, and responsible AI design — all through project-based units grounded in South Carolina’s priority industries.

Participants will learn implementation strategies for meeting graduation requirements while exposing students to viable career pathways, including approaches for adopting the full pathway and building dual enrollment partnerships with regional postsecondary institutions. We will share lessons from pilot implementation, strategies for embedding AI into existing CTE programs, and insights from new initiatives that connect pathway skills to real-world AI applications, validation processes, and industry. Participants will articulate how to guide students from basic AI tool use to a deeper understanding of the concepts, systems, and design behind AI technologies.
Speakers
avatar for Andrew Cook

Andrew Cook

Career Pathways Specialist, Office of Career Readiness, South Carolina Department of Education
Andrew Cook has over 40 years of experience in computer architecture and software development with a career that expands across three major technology-driven corporations - NCR, AT&T, and Intel. He began as a software developer and systems analyst at NCR and AT&T before moving into... Read More →
Thursday July 16, 2026 10:15am - 11:15am EDT
SC Governor's School for Science and Mathematics Building (GSSM) 401 Railroad Ave., Hartsville, SC 29550
  Source Code Session, Small Group
 
Share Modal

Share this link via

Or copy link

Filter sessions
Apply filters to sessions.