Charleston Lean+AI Meetup
Lean4+AI Meetup – Proof Hacking Session
Join us for this month's Lean+AI meetup! AI progress has accelerated rapidly in recent months, and we're now at a point where mainstream systems like Claude Code and OpenAI Codex can meaningfully assist with Lean4 development.
For this session, we're following a hackathon-style format where participants explore a formalization of their choice, either solo or in groups. The goal is to spark discussion, experimentation, and collaboration. Think about what computer program, mathematical theory, or physical theory you'd like to formally verify, and let's see how far we can get together.
Bring your laptop, high-quality tokens, and your proof-hacking spirit!
Introduction to AI
From Anxiety to Curiosity
There is a lot of noise and confusion around artificial intelligence, and for many people, a fair amount of anxiety too. This class cuts through both. It begins by addressing the most common myths about AI, then builds a clear and practical understanding of how it works. From there, participants explore today's most widely-used generative AI tools (ChatGPT, Gemini, and Claude) with guided, low-pressure practice before choosing a real scenario from their own work or life to try. Participants leave with less anxiety, more curiosity, and the confidence to keep exploring.
“I was blown away by the professionalism and content of the class I attended at the Charleston Learning Center, and I will be back. Every audience member returned to the office with a bare minimum of three actionable items. Shout out to Tom Wilson for running such a great event.”
_1728591518983.png?fit=crop&crop=top%2C%20center&w=120&h=120&mask=ellipse&fill-color=ffffff&auto=format&s=94a74d4f3d854a30ae2e6f691533f955)
“The CDC Learning center classes have been so immense in equipping our team with tech skills we now use everyday!”
“I attended "The Entrepreneur Sales Playbook" class at the CDC Learning Center. The content, instructor, and pace were outstanding.”
_1726688504791.jpeg?fit=crop&crop=top%2C%20center&w=120&h=120&mask=ellipse&fill-color=ffffff&auto=format&s=b174c909597d10834d7bd1d54f4e6b83)
What types of courses/programs are offered at CLC?
The CLC offers a variety of tech and business classes, workshops, certificates and meetups for an audience ranging from curious learners to tech professionals. Topics include fast growing careers including AI, digital marketing, data science, cybersecurity, sales, leadership and more.
VIEW ALL FAQHost your meetup, corporate meeting or private event!
The learning center is ready for private bookings as well as freely available for tech-focused meetup groups (schedule permitting).
- Capacity for up to 40 persons
- Dual 85" presentation screens
- Light/full catering available
- Adjacent parking garage
- Rates from $100 per hour
