IT뉴스모아news terminal

article detail

“기존 정설은 틀렸다”…오픈AI가 던진 수학계의 충격 [팩플]

중앙일보AI수학LLM기하학인간검증자율해결정설검증
2026. 5. 22. 오후 6:12
“기존 정설은 틀렸다”…오픈AI가 던진 수학계의 충격 [팩플]

AI 요약

오픈AI가 범용 대규모 언어 모델(LLM)을 통해 폴 에르되시가 1946년에 제기한 평면 단위 거리 문제에 대한 수학계의 지난 80년간의 정설이 틀렸다는 사실을 증명했다고 공개했습니다. 메탑 사우니와 마크 셀키가 LLM에 질문해 AI가 추측이 틀렸다고 결론을 냈고, 오픈AI와 외부 전문가들이 풀이를 검증해 최적값은 아직 제시되지 않은 상태에서 18쪽 분량의 논문을 홈페이지에 공개했습니다. 오픈AI는 이번 성과가 범용 모델에 의한 수학 문제 자율 해결의 첫 사례라며 의의를 강조했고, 여러 수학자들은 찬사와 함께 인간의 검증·개선 역할이 여전히 중요하다고 평가했습니다.

원문보기
feed://articles/related관련 기사
“기존 정설은 틀렸다”…오픈AI가 던진 수학계의 충격 [팩플]v.daum.net
2026. 5. 22. 오후 6:15

“기존 정설은 틀렸다”…오픈AI가 던진 수학계의 충격 [팩플]

AI수학LLM범용추론정설검증수학연구AI검증인간검증
오픈AI, 80년 수학 난제 풀었다..."AI 자율 해결 첫 사례"YTN
2026. 5. 22. 오후 4:32

오픈AI, 80년 수학 난제 풀었다..."AI 자율 해결 첫 사례"

AI수학자율해결기하학난제증명범용AI인간협력고차원격자
수학계 80년 난제 풀어낸 AI, 생각의 ‘차원’이 달랐다v.daum.net
2026. 6. 1. 오후 4:44

수학계 80년 난제 풀어낸 AI, 생각의 ‘차원’이 달랐다

AI수학추론모델난제해결고차원기하학증명수학연구사영기법
[사이월드] ‘평면 위 9개의 점, 최대 쌍은’ 80년 난제 해결한 AI···인간 수학자의 미래는경향신문
2026. 5. 31. 오후 5:00

[사이월드] ‘평면 위 9개의 점, 최대 쌍은’ 80년 난제 해결한 AI···인간 수학자의 미래는

AI수학난제해결기하학증명검증고차원구조발견저작권
오픈AI, 추론 모델로 80년 된 기하학 난제 해결..."수학계 검증 거쳐"AI타임스
2026. 5. 21. 오후 6:41

오픈AI, 추론 모델로 80년 된 기하학 난제 해결..."수학계 검증 거쳐"

추론모델AI수학기하학난제해결과학응용
오픈AI, 80년 묵은 기하학 난제 '에르되시 추측' 반증 성공네이트
2026. 5. 22. 오후 4:49

오픈AI, 80년 묵은 기하학 난제 '에르되시 추측' 반증 성공

AI수학기하학에르되시추측대규모언어모델반증미해결문제자율문제해결
오픈AI 80년 수학난제 해결…"AI 자율로 핵심 난제 푼 첫 사례"연합뉴스
2026. 5. 22. 오후 4:16

오픈AI 80년 수학난제 해결…"AI 자율로 핵심 난제 푼 첫 사례"

AI수학증명자율문제해결LLM수학난제기하학논문발표학술연구AI혁신
LLM의 미래는 ‘특화’에 있다…의료·법률·금융 분야 맞춤형 모델 21가지itworld.co.kr
2026. 5. 22. 오전 10:09

LLM의 미래는 ‘특화’에 있다…의료·법률·금융 분야 맞춤형 모델 21가지

LLM특화모델의료AI법률AI금융AI전문화환각문제인간검증
미라 무리타 싱킹 머신즈 CEO, 다른 LLM들과 차별화를 말하다네이트
2026. 6. 8. 오후 2:21

미라 무리타 싱킹 머신즈 CEO, 다른 LLM들과 차별화를 말하다

LLM음성인식멀티모달인간중심AI협력AI대화모델AI스타트업자율성
생성형 AI· LLM 기반 AI 서비스 개발자 취업과정 모집... 실무형 AI 인재 양성 나선다데브타임즈
2026. 6. 8. 오후 1:47

생성형 AI· LLM 기반 AI 서비스 개발자 취업과정 모집... 실무형 AI 인재 양성 나선다

생성형AILLMAI서비스웹개발데이터분석객체탐지OCR취업교육
K-AI, 국가유산 체험부터 차량용 에이전트, 금융까지 활용된다이투데이
2026. 6. 8. 오전 10:18

K-AI, 국가유산 체험부터 차량용 에이전트, 금융까지 활용된다

K-AINPULLM음성AI디지털트윈이미지생성에이전트금융AI
서울대 찾은 젠슨 황 "K만 붙이면 유명해진다…나는 K-젠슨"연합인포맥스
2026. 6. 8. 오후 1:01

서울대 찾은 젠슨 황 "K만 붙이면 유명해진다…나는 K-젠슨"

AI엔비디아칩설계LLM오픈소스로봇에이전트신약개발