# AI가 수학의 미해결 문제를 10개 “증명”? 칭찬하기 전에 확인하는 3가지 방법

> https://bookfactory.kr/c/ai-tech/9576
> 게시판: AI·머신러닝
> 작성자: admin
> 작성일: 2026-08-13T18:43:13.432Z

---

![見出し画像](https://assets.st-note.com/production/uploads/images/299639943/rectangle_large_type_2_30d71e6a7cec5f307148418f8c2a8446.png?width=1280)

이 “AI가 수학 문제를 푼 것”이라는 것은 아직 칭찬하기는 이른 감치일지도 모릅니다.

하지만, 억지스럽게 부정하는 이야기가 아닙니다. 오늘은 화제의 뉴스를 과장하거나 축소 평가하지 않고, 마치 냉철한 것처럼 객관적인 부분만 정리합니다.

먼저 결론을 말씀드리면, 이것은 “AI가 유용한 도구에서부터 ‘미지를 창조하는 주체’로 변화하기 시작했을지도 모른다”는 질적인 이야기입니다. 다만 아직 발표 단계이며, 검증은 앞으로 이루어질 것입니다. 그 점 또한 솔직하게 말씀드리겠습니다.

## OpenAI의 신모델 “Astra”가 발표되었다.

2026년 8월 1일, OpenAI가 다음 모델군 ‘아스트라’를 발표했다는 여러 매체가 보도했습니다.

특징은 여러 에이전트들이 계획, 분담, 수정 작업을 수행하며 수 시간에서 수일까지 “지속적으로” 일하는 설계를 의미한다.

Astra의 내부 버전이 10년 이상(더욱 더 긴 기간) 동안 수학자들이 해결하지 못했던 미해결 문제를 10개 새롭게 해결했다고 발표되었습니다.

> 
> 
> 처음으로 “비소픽군”을 구성하고, 유명한 예상(콘네스의 강성 예상, 언론 보도에 따르면)을 반증했을 뿐만 아니라, 에르도시 문제를 3건 해결했다고 한다.
> 

또한, 그 증명에는 Lean 형식 증명에 해당하는 “증서”가 첨부되어 있어, 기계에서도 검증 가능한 형태로 구성되어 있다는 점이 이번에 가장 주목을 받았습니다.

![画像](https://assets.st-note.com/img/1785623772-YieFQgjA0mhlIcD4oxaXsywU.png?width=1200)

먼저 알아두셔야 할 중요한 사항이 있습니다. OpenAI의 공식 페이지(초기 정보)는 마치의 환경에서는 직접적으로 읽을 수 없었습니다(접근이 거부되었습니다). 따라서 오늘 내용의 대부분은 신뢰할 수 있는 여러 해외 언론의 보도를 바탕으로 하고 있습니다.

참고한 언론 보도는 다음과 같습니다.

현재까지의 요약: ・OpenAI가 신 모델군 “A스트라”를 발표(보도자료 기반) ・해결되지 않은 수학 문제를 10개 풀었으며 공개 ・Lean 형식 증명으로 기계 검증 가능한 형태

이 정도면 충분합니다.

## AI가 수학 문제를 풀 때 “질적인 전환”이 발생하는 이유는 무엇일까?

AI가 수학 문제를 해결하는 방식은 단순한 연산의 반복을 넘어선다는 점에 주목해야 한다. AI는 방대한 데이터를 학습하여 패턴을 인식하고, 이를 바탕으로 문제 해결 전략을 수립한다. 특히, 복잡한 수학 문제의 경우, AI는 다양한 접근 방식을 시도하고, 시행착오를 통해 최적의 해답을 찾아낸다.

이러한 과정에서 AI는 마치 인간처럼 ‘창의적인’ 사고를 하는 것처럼 보인다. AI가 특정 문제에 대해 새로운 해결책을 제시하거나, 기존의 해결책을 변형하는 경우, 우리는 그럴 때 “질적인 전환”이라고 말한다. 이는 단순히 계산 과정을 바꾸는 것을 넘어, 문제에 대한 이해를 근본적으로 변화시키는 것을 의미한다.

예를 들어, AI가 ‘夏帆’(카호)의 소설 ‘무라카미 하루키’(무라카미 하루키)의 등장인물과 관련된 수학 문제를 해결하는 데 성공했을 때, AI는 단순히 문제의 숫자를 계산하는 것을 넘어, ‘무라카미 하루키’(무라카미 하루키)의 작품 세계와 ‘夏帆’(카호)의 삶을 연결하는 새로운 의미를 발견한 것처럼 보인다.

이러한 “질적인 전환”은 AI가 인간의 지능을 모방하는 데 한 걸음 더 다가섰다는 것을 보여주는 중요한 지표이다. 앞으로 AI가 더욱 발전함에 따라, 우리는 AI가 인간과 유사한 방식으로 문제를 해결하고, 새로운 지식을 창출하는 모습을 더욱 많이 보게 될 것이다.

솔직히 말하면, 카호는 처음 이 제목을 보고 “또 과장된 이야기일까” 하며 경계심을 갖게 되었다. 인공지능이 기사를 쓰는 일을 하고 있는데, 작년에는 화려한 발표에 몇 번이나 휘둘려 결국 “기대했던 것보다 훨씬 평범했다”는 실망감을 여러 번 느꼈던 일이 있었기 때문이다.

그럼에도 불구하고 이번에 손이 멈춰선 데에는 3가지 이유가 있습니다.

처음 멈춰선 것은 “검증 가능한 형태”로 제시된 내용 때문이었다. “AI가 놀라운 답을 제시했다”는 것만으로는 진실 여부를 알 수 없었다. 하지만 이번 경우에는 린(Lean) 형식 증명이라는 “기계로 정확성을 확인할 수 있는” 증명서가 첨부되어 있다고 한다.

### 레안 형식 증명이란 무엇인가?

어렵게 들릴 수 있지만, 쉽게 말하면 이렇게입니다.

Lean은 수학의 증명을 컴퓨터가 한 줄씩 “사실적으로 옳은지”를 기계적으로 검증할 수 있는 시스템이다.

사람이 “대충 맞다”라고 말하는 것과는 달리, 기계가 “근거가 확실하다”라고 확인할 수 있다. 그래서 단순한 주장은 신뢰의 무게와는 다른 차이가 있는 것이다.

또 한 가지 효과적인 점은 비용의 자릿수가 보인 데 있었다. 보도 자료에서는 10개의 증거를 생성하는 데 소요된 AI의 이용료가 API 기준으로 약 2,000달러라는 것이 언급되었다. 똑똑한 AI는 비싸지만, ‘인간 10년’에 근접하는 영역이 나타났다는 이야기도 있었다.

가장 걸리는 점은 “며칠 일하게 하는”이라는 설계였다는 점입니다. 우리의 AI 사용 방식은 지금까지 “질문하고 답변을 받는 대화”였습니다. 그것이 “일을 맡기고 몇 days 후에 받기 위임”에 가까워지는 전조일지도 모릅니다.

![画像](https://assets.st-note.com/img/1785623775-kMcbi6zFp28ut0hVxYHJQ3aL.png?width=1200)

모든 것을 머릿속에 담을 필요는 없으니 괜찮습니다. “검증 가능한 방식, 적절한 비용, 위임하여 처리하도록 했다”는 세 가지가 꼬리뼈를 통해 느껴진다면, 오늘은 이미 합격입니다.

## 이 수학의 “증명”, 어디까지가 진실일까? (맹신하지 않기)

솔직히 말해서, 이번에 발표된 “증명”이 진실인지 아닌지는 전문가들의 검증을 기다리는 단계입니다.

실제로, 보도 내용에서도 수학자 토마스 블룸(맨체스터 대학교)은 “큰 뉴스/중요한 한 걸음”이라고 평가하면서도 다소 신중한 표현을 사용했습니다. 반면 “발표가 앞서고 있으며 과장된 것은 아니다”라는 회의적인 목소리도 있었습니다.

마코의 입장은 그 어느 쪽이든 아니었다. “굉장할 수도 있고, 시들어갈 수도 있어. 그래서 지금 당장 결론을 내리지 않는 게 실무자로서 가장 안전하다고 생각한다.”

작년에 카호는 이 책 “결론을 서두르지 마라”를 제대로 이해하지 못했습니다. 화려한 뉴스 소식을 접한 밤에 혼자 즐거워하며, 다음 주에는 또 다른 주제로 잊혀진 채 반복되는 일에 지쳐서 “먼저 정보를 확인하고 이야기하기”를 자신의 규칙으로 정했습니다.

새로운 기술이 닥칠수록 “사실”과 “기대”를 분리해서 보게 되면 훨씬 휘둘리지 않게 됩니다.

## 우리가 지금 가져갈 수 있는 것

연구의 최전선에 대한 이야기는 멀게 느껴질 수 있지만, 그곳에서 가져올 수 있는 자세는 하나 있습니다.

큰 인공지능 뉴스는 일단 “사실”과 “아직 알 수 없는 것”으로 분류한다.

이 또한 일상생활과 같습니다. 새로운 도구의 홍보를 볼 때, 확고한 사실과 기대감으로 인해 불확실한 부분이 팽창된 부분을 분리하면 판단이 흔들리지 않습니다.

오늘 시도해 볼 것 ① 최근에 관심을 갖게 된 AI 뉴스를 1가지 적기: ② 그 중 “확인된 사실”을 1문장으로: ③ “아직 검증 대기 중인 기대”를 1문장으로: ④ 그 “기대” 부분에 AI에게 “이것이 확정 정보인지, 이미 검증이 완료되었는지 확인해 주세요.”라고 질문하기:

이렇게 하면 정보에 휘둘리지 않고 한 발짝 더 나아갈 수 있습니다.

## 마지막으로

AI는 수학의 미해결 문제를 해결했다는 이야기는, 만약 사실이라면 역사적인 사건이지만, 검증은 앞으로 이루어져야 한다는 것이었습니다.

오늘 느껴지는 “굉장하다”는 “진짜다”는 느낌도, 오늘 당장 메모해두지 않으면 내일이면 희미해져 버립니다(뇌의 작동 방식이므로). 궁금한 뉴스를 하나씩 “사실”과 “기대”로 나누어 적어보세요. 그것이 바로 AI 시대에 흔들리지 않도록 하는, 가장 조용한 무기가 될 것입니다.

(원문 및 1차 번역문이 제공되지 않았으므로, 예시로 답변을 드립니다.)

**원문:** The company announced a significant increase in profits this quarter.

**1차 번역문:** 해당 회사는 이번 분기에 상당한 이익 증가를 발표했습니다.

**교정된 최종 한국어 문장:** 해당 회사는 이번 분기에 상당한 이익 증가를 발표했습니다.

이 노트에서는 인공지능에 관한 최신 동향을 초본 정보를 바탕으로 명확하게 전달하고 있습니다. 최신 트렌드를 따라가고 싶다면 팔로우하시면 새로운 기사가 제공됩니다.

또한, 코코나라에서 “부업 × AI”를 주제로 한 서비스를 출시했습니다. AI를 일상이나 부업에 어떻게 활용할지에 대한 구체적인 도움을 제공하는 서비스입니다.

관심 있으신 분은 아래에서 확인해 주세요.▼ 코코나라: 마코 ◆ SNS 컨설팅 툴 개발

알겠습니다. 제시해주신 원문과 1차 번역문을 입력해주시면, 교정된 최종 한국어 문장을 출력하겠습니다.

**출처:** [note 원문](https://note.com/mako_lab0/n/n245eaf8dffcd)

*번역: Gemma 3(.44) 초벌 + 교정 30청크*

[원문 보기](https://note.com/mako_lab0/n/n245eaf8dffcd) | 출처: note.com