수학 연구의 AI 혁신 | "AI for Science/Engineering" Series | 리벨리온×모두의연구소
[리벨리온x모두의연구소] AI for Science/Engineering 연례 정기 세미나 2026
✅ 세미나 안내
최근 인공지능은 글을 쓰고 번역하는 것을 넘어, 수학 문제를 이해하고 증명을 찾아가는 영역까지 빠르게 발전하고 있습니다.
이번 강연에서는 이러한 변화의 중심에 있는 2가지 핵심 개념을 소개합니다:
🔥'자동 형식화(Autoformalization)'와
🔥'자동 정리 증명(Automated Theorem Proving, ATP)'
수학자들은 증명이 올바른지 컴퓨터로 확인하기 위해 ✅'증명 보조기(Proof Assistant)'라는 도구를 사용합니다.
하지만 이를 활용하려면 우리가 평소 사용하는 자연스러운 수학 문장을 컴퓨터가 정확하게 이해할 수 있는 형식 언어로 다시 작성해야 합니다. 이 과정은 숙련된 수학자에게도 쉽지 않으며 상당한 시간과 노력이 필요합니다.
🔍'자동 형식화'는 이러한 과정을 인공지능을 이용해 자동화하는 기술입니다.
즉, 사람이 작성한 수학적 명제와 증명을 컴퓨터가 검증할 수 있는 형식으로 변환하는 것입니다. 아직 복잡한 수학적 내용을 완벽하게 변환하기에는 한계가 있지만, 최근 대규모 언어 모델을 활용한 연구에서 빠른 발전을 보이고 있습니다.
🔍'자동 정리 증명'은 여기에서 한 단계 더 나아가, 컴퓨터가 수학 정리의 증명 자체를 찾아내도록 하는 기술입니다.
특히 최근에는 언어 모델과 증명 보조기를 결합하여 인공지능이 다양한 증명 방법을 제안하고 탐색하며, 그 결과를 컴퓨터가 엄밀하게 검증하도록 하는 연구가 활발하게 진행되고 있습니다.
⚡이 분야의 발전 속도는 매우 빠릅니다.
최근 OpenAI와 Anthropic의 최신 AI 모델들은 소수의 간격에 관한 연구나 Navier–Stokes 문제 해결과 같은 중요한 수학적 성과를 만들어 내고 있으며, 이러한 증명을 Lean으로 형식화하고 검증하는 작업도 함께 이루어지고 있습니다. 앞으로는 많은 핵심 수학 연구가 AI와 📍Lean 형식화를 결합하는 방식으로 발전할 것으로 기대됩니다.
🚀 이번 강연에서는
인공지능이 수학적 문장을 어떻게 이해하고, 증명을 어떻게 만들어 가는지 살펴봅니다.
이를 통해 현재 기술이 어디까지 발전했는지 알아보고,
앞으로 인공지능과 증명 보조기가 수학 연구의 방식을 어떻게 변화시킬 수 있을지 함께 생각해 보고자 합니다!
👇🏻 참가 정보 👇🏻
일시: 2026년 10월 22일 (목) | 19:00 ~ 20:30 (총 1.5시간)
주제 : 수학 연구의 AI 혁신
연사 : 박예찬 교수 | 세종대학교 수학통계학과
참가비: 무료 (대중교통 이용 권장, 주차 지원 불가)
대상
AI가 수학 문장을 어떻게 이해하는지 궁금하신 분
수학 정리의 증명 보조기와 LLM의 결합에 관심 있는 분
미래 수학 연구 방식의 변화를 한발 먼저 확인하고 싶으신 분
AI와 수학의 융합에 관심있으신 분
AI4Science에 관심 있는 엔지니어
AI4Science 세미나 시리즈란?
기초과학 분야에서 AI를 활용한 다채로운 연구 사례를 발굴·공유함으로써 연구 혁신의 토대를 마련하고, 국산 NPU 기반의 혁신적인 연구 생태계를 산업 전반으로 확산하는 정기 세미나입니다.
✅ 주관 기업 소개
리벨리온 (Rebellions)
대한민국의 대표적인 AI 반도체(NPU) 팹리스 스타트업입니다. 에너지 효율과 연산 속도가 극대화된 AI 맞춤형 칩을 설계하여 글로벌 수준의 기술력을 입증하고 있습니다. 현재는 생성형 AI 시대를 맞아 데이터센터용 NPU '아톰(ATOM)'을 필두로, 차세대 칩인 '리벨(REBEL)'을 통해 글로벌 시장에서 국산 AI 반도체 생태계 확산을 주도하고 있습니다.
✅ 주최 기업 소개
모두의연구소 (MODULABS)
누구나 제약 없이 성장할 수 있는 '열린 학습 생태계'를 조성함으로써, 전공과 무관하게 AI 기술 트렌드를 경험하고 성장 동기를 얻는 커뮤니티 환경을 제공합니다. 더 나아가 학습이 실무적 성장으로 연결되어 실제 산업 현장으로 진출할 수 있는 탄탄한 커리어 기반을 구축하고자 합니다.
🔍 AI for Science/Engineering 시리즈 세미나 🔍
1. 다음 세미나 일정 🗓️
11/12: 시스템 엔지니어링 - 생성형 AI, GNN, 강화학습의 산업 적용
12/12: 모두콘2026 'AI4Science + NPU' 트랙 (신청서 오픈 알림 신청 링크🔗)
2. 월별 세미나 소식 제일 먼저 받아보기 📨
📩 관련 문의
모두의연구소 커뮤니티팀 (community@modulabs.co.kr)