AIMX Lab · AI × Mathematics · 인공지능 수학 연구실
인공지능과 수학, 수학교육
인공지능을 위한 수학, 인공지능을 활용한 수학·통계·데이터 분석, 인공지능을 활용한 수학교육을 연구합니다. 교원 연수와 학생 탐구에 쓰는 자료도 만들어 로그인 없이 볼 수 있게 공개합니다.
Mathematics for AI
인공지능을 위한 수학
인공지능이 어떻게 판단하는지를 수학으로 따라갑니다. 8×8 픽셀 이미지를 행렬로 적고, 해밍 거리로 어느 숫자에 가장 가까운지 고릅니다. 퍼셉트론이 왜 XOR를 못 푸는지는 직접 계산해 확인합니다.
〈인공지능 수학〉 교과서, 다섯 차시 실습 사이트, 영재원 탐구실, 『나의 첫 AI 수학』을 만들었습니다.
8×8 흑백 이미지와 해밍 거리
칸을 누르면 0과 1이 바뀝니다. 오른쪽 행렬과 아래 거리는 그때마다 다시 계산합니다. 기준 숫자 셋 가운데 거리가 가장 가까운 것이 기계의 판단입니다.
켜진 칸 0 / 64
행렬 (0 · 1)
기계는 3으로 판단합니다.
3을 그린 뒤 8과 다른 칸 네 개만 바꾸면 판단이 8로 넘어갑니다.
고등학교 〈인공지능 수학〉 4차시 「해밍 거리」와 서울 서부교육청 영재원 탐구실에서 학생이 하는 계산입니다.
Mathematics with AI
인공지능을 활용한 수학·통계·데이터 분석
인공지능이 수학을 얼마나 푸는지 재어 보고, 인공지능을 도구로 통계와 데이터를 분석합니다. 언어모델에 수능 수학을 풀게 해 풀이를 검증하고, 딥테크 스타트업의 초기 성장 가능성을 예측하는 모델을 만듭니다.
생성형 AI의 수학 문제 풀이 성능을 분석했고, 기계학습으로 수학교육 연구의 영향력을 판별했습니다. 한국과학기술정보연구원과는 스타트업 성장 예측 모델 연구와 글로벌 기업·제품·기술 데이터 구축을 맡았습니다.
Education with AI
인공지능을 활용한 수학교육
인공지능과 공학도구를 수학 수업과 평가에 들입니다. 손글씨 답안을 생성형 AI로 채점하고, AI 디지털교과서가 추천한 문항이 단원에 맞는지 따져 봅니다. 예비교사는 생성형 AI로 수업을 설계하고, 현직 교사는 자기 수업안에서 AI를 쓰는 한 부분만 골라 검토합니다.
교원 연수에서는 「수업안 AI 검토실」을 열었습니다. 생성형 AI 자동채점과 예비교사 수업 설계를 연구합니다. 초·중·고 공학도구 활용 수업 자료 60종은 한국과학창의재단 과제로 만들고 있습니다.
데이터 디코딩 연습장
가상 학생의 학습 데이터를 읽고, 성장 신호를 해석하고, 피드백 문장으로 바꿔 봅니다. 세 학생 가운데 하나를 골라 AI 코스웨어가 모은 대시보드를 보고, 점수 이면의 긍정적 신호 하나와 학생에게 건넬 피드백 한 줄을 씁니다. 실습 셋 — 데이터 디코딩, 채점 미러링, 피드백 클리닉.
학생 데이터는 모두 가상입니다. 점검은 단어 규칙으로만 하고, 최종 판단은 교사의 몫입니다.
오답 4개 중 3개를 스스로 재시도
8차시부터 학습 시간 절반으로 감소
자료
수업 기록
공동연구진과 전문가 자문진 전용
여기에는 시스템 이름과 쓰임만 적습니다. 계정과 링크는 연구책임자가 따로 보냅니다.
연구 코딩 플랫폼
질적 자료 코딩 도구입니다. 프로그래밍과는 관계없습니다. 코더가 코드북에 따라 독립적으로 블라인드 판정하고, 일치도를 계산한 뒤 합의합니다.
승인된 계정만 들어갑니다
집필진·검토진 허브
집필진 12명이 만드는 수업 자료 60종의 원고 진행과 검토 상황을 관리합니다.
개인 링크로만 입장 · 주소 비공개
Research Grants
진행 중
종료
논문
저서·교과서
2025 · 지학사 고등학교 교과서
그 밖
기고
특허
학회 발표
초청 발표
수상
학회 활동
학회 임원
편집위원
학술대회 조직
연수·강연
People
한국의 〈인공지능 수학〉은 국가 교육과정으로는 세계에서 처음이었습니다. 그 교육과정 시안을 만든 연구진(교육부·한국과학창의재단, 2020)이었으며, 교육부가 2026년 처음 만든 초·중등 인공지능 교육 담당교원 연수에서는 〈인공지능 수학〉 과정의 설계·개발·교재 집필을 총괄했습니다. 인공지능을 위한 수학, 인공지능을 활용한 수학·통계·데이터 분석, 인공지능을 활용한 교육을 연구합니다.