inspeep

KO EN

로그인 | 회원가입

분류 > 유머 / 이슈 게시판

AI가 50년 된 수학의 난제를 해결함

👤 야리타

조회 수 1

추천 수 0

댓글 0

- GPT 5.6 Sol Ultra, 수학계의 50년 된 난제 해결

https://x.com/i/status/2075919387593425396

어떤 문제인가?

Cycle Double Cover Conjecture(사이클 이중 피복 추측)입니다.

1970년대 Tutte, Itai & Rodeh, Szekeres, Seymour 등이 각각 제기한 그래프 이론 문제로, **“모든 다리 없는(bridgeless) 무향 그래프는 각 간선을 정확히 두 번 덮는 사이클들의 모음을 가진다”**는 내용입니다. 약 50년 동안 미해결 상태로 남아 있었습니다.

OpenAI 발표 내용 (2026년 7월 10일경)

GPT-5.6 Sol Ultra가 64개의 서브 에이전트를 병렬로 활용해 1시간 이내에 증명을 생성했다고 발표했습니다.

증명 PDF와 사용된 전체 프롬프트를 공식 CDN에 공개했습니다.

증명은 모델이 전적으로 생성한 것으로, Codex(GPT-5.6 Sol)로 정리했다고 명시했습니다.

증명은 기존 정리(8-flow theorem 등)와 GF(3) 상의 선형대수를 활용한 간결하고 초등적인 접근입니다.

수학계 반응

영국 맨체스터대 수학자 Thomas Bloom은 “아주 훌륭한 증명(a very nice proof)”이라고 평가했습니다.

“짧고 초등적이며, 1980년대에도 발견될 수 있었을 것”이라며 AI의 끈기 있는 탐색 능력을 긍정적으로 봤습니다. 다만 인용이 부족하다는 점을 지적했습니다.

Hacker News, Reddit 수학 커뮤니티 등에서는 “단계별로 검토해 보니 오류가 없다”, “기존 정리를 영리하게 조합한 것”이라는 의견이 다수입니다.

일부에서는 “아직 수학계 전체의 광범위한 검증(peer review)이 진행 중”이며, “완전히 확정된 결과로 보기는 이르다”는 신중한 입장도 있습니다.

출처: 국내야구 갤러리 [원본 보기]

🔥 실시간 네티즌 베스트 반응

ㅇㅇ이런 재미도 없는글을 왜 실베보냄
ㅇㅇ“짧고 초등적이며, 1980년대에도 발견될 수 있었을 것” << ㅋㅋㅋ
ㅇㅇ근데 안풀린다는 밀레니엄 문제들이 안풀리는 이유가 수학자들이 아는 영역이 각각 한정되서가 큰거같은데 ai는 모든 영역을 잘 알고있으니 교차해서 증명하기가 편할거같음.
라면한입만이런거 백날 해봐야 내 삶이 안달라짐
ㅇㅇ그래서 저거 해결하면 뭐가 달라짐?
ㅇㅇ그래서 인공지능이 노벨상 필즈상 받음? 못 받잖아
ㅇㅇ머리아파서 쭉내렸어
ㅇㅇai련 섹스도 못해본 주제에 깝치긴 ㅉㅉ
ㅇㅇ인터스텔라에서 중력방정식 만든다고 블랙홀까지 가서 개뺑이치는데 ai님이 언젠간 이것도 딸깍으로 해주시는거 아님?
거제야호그래서 통신선절단 어캐막을건데

💬 댓글 0개

유머 / 이슈 게시판

공지

공지 inspeep 커뮤니티 이용 및 게시물 관리 규정 안내

👤 관리자 📅 2026.04.24 👀 조회 45 👍 추천 0

BEST

BEST 우주떡집에서 최근 미미가 개발한 메뉴들..jpg

👤 K_Shit 📅 2026.08.31 👀 조회 85 👍 추천 0

BEST

BEST 떠오르는 싱글벙글 10년만에 재회한 형과의 만남은 최악이었다

👤 메이퓨 📅 2026.05.24 👀 조회 58 👍 추천 0

BEST

BEST 모두가 경악한 싱글벙글 우크라이나에서 북한군보고 충격받은 기자

👤 리토타 📅 2026.04.29 👀 조회 50 👍 추천 0

BEST

BEST 핫한 일본인이 한국에 와서 실감하는 풍경

👤 리토타 📅 2026.04.29 👀 조회 50 👍 추천 0

Random Pick

Random Pick 운 좋게도 조회수 폭발한 살려야 하는 수인 킬러.manhwa 7

👤 리토타 📅 2026.06.03 👀 조회 1 👍 추천 0

Random Pick

Random Pick 가슴이 웅장해지게 역대급 세계 기업 시가총액 순위 TOP20..jpg

👤 라두 📅 2026.06.03 👀 조회 1 👍 추천 0

Random Pick

Random Pick 팝콘각 여성 커뮤니티가 일반적으로 좀 폐쇄적인 이유

👤 리토타 📅 2026.06.03 👀 조회 1 👍 추천 0

유머

횟집 민폐 행동

👤 로루디다 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

나 노가다 남자랑 사귀는 게 꿈이야

👤 K_Shit 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

싱글벙글 90년대 딸배만화

👤 야리타 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

중국에는 할랄 음식이 없을까?

👤 KEeep 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

이젠 쌀먹대신 밀먹?? 리센느빵 되팔이 심각

👤 K_Shit 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

현재 논란이라는 대자연 한혐 근황

👤 바루데여 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

11월 출시 예정이라는 국산 시뮬레이터 게임

👤 로루디다 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

장어구이 장인이 말하는 오래된 비법소스

👤 바루데여 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

신호 헷갈리면 이렇게 대형사고 납니다.

👤 바루데여 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

최근 머리다친 아저씨 근황ㄷㄷ ㄱ-

👤 KEeep 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

아빠의 낚시에 빡친 딸 mp4

👤 KEeep 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

아이폰듀오 출시 때 폴드8이 했었던 광고 재평가행

👤 바루데여 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

몰입감 개지리는 콜옵4 김계란 라이브 방송.mp4

👤 로루디다 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

안싱글벙글 사우디 근황

👤 K_Shit 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

흑백리뷰 근황 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ

👤 KEeep 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

테토녀 유진이 울때

👤 K_Shit 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

서울 삼성, KBL 역대 개막 최다 연승 타이 달성

👤 로루디다 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

아이폰 듀오 무협감성

👤 로루디다 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

오늘 딸 치다가 펑펑 울었다...jpg

👤 바루데여 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

머독 근황...JPG

👤 PPAOE 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

생각보다 존나 위험한 운전방법.mp4

👤 바루데여 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

의외로 에스컬레이터에서 오줌을 싸면 안되는 이유

👤 루루웨도 📅 2026.10.25 👀 조회 1 👍 추천 0

유머

👤 바루데여 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

남편 성이 '계'씨라 아기 이름짓기 빡센 상황

👤 바루데여 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

요즘 취업난 많이 심각하다네

👤 KEeep 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

헬스장에 환불요청했다가 "씨발새끼" 들음ㅠ.jpg

👤 PPAOE 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

애플이 자랑하는 아이폰 듀오 애니메이션 근황.mp4

👤 루루웨도 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

휴 버터떡 유행 드디어 탑승했다...jpg

👤 PPAOE 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

엄마 내 한쪽손이 엄청 부었어!

👤 루루웨도 📅 2026.10.25 👀 조회 0 👍 추천 0

유머

일본원작 드라마에 5.18 넣어서 욕먹는 닥터X 근황

👤 KEeep 📅 2026.10.25 👀 조회 0 👍 추천 0

1 2 3 4 5 6 7 다음 › 끝 »

✏️ 글쓰기