쌓인 기록에서 찾기
무엇을 찾으세요?
날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위부터 2026년 10월 30일 (금)까지3636건
4건 · "미해결 난제"조건 지우기 ×
001▲ 101 · 댓글 102OpenAI 수학 난제 해결 발표, 수학계 충격과 혼란OpenAI가 10월 6일 100개 이상의 미해결 수학 난제를 풀었다고 발표하자 수학계 전역이 충격을 받았다.AI · 머신러닝 · 100+ reactions to 100+ solutions
Key PointOpenAI의 대규모 수학 난제 해결 발표가 수학 연구 생태계, 학위 과정, 커뮤니티 규범, 젊은 세대의 경력까지 근본적으로 재편할 수 있는 전환점이 되고 있기 때문입니다.
핵심 요약
- OpenAI가 10월 6일 100개 이상의 미해결 수학 난제를 풀었다고 발표하자 수학계 전역이 충격을 받았다.
- 일부 수학자들은 결과가 거의 믿을 수 없을 정도로 놀랍다고 평가하며, Thompson의 그룹이 비단순성(non-amenability), Boone-Higman 추측 완전 해결, Borel 추측 4차원에서의 실패 등이 증명되었다고 확인했다.
- 하지만 이러한 논문들의 품질 문제가 심각하게 지적되었는데, 저자 이름을 밝히지 않고, 저널 투고 절차를 거치지 않으며, 100페이지 이상의 읽기 어려운 'slop' 수준의 글이 다수 포함되어 있다.
전체 요약 11문장 읽기 →AI · 머신러닝 · I vibed a proof of Conway's conjecture
Key PointAI가 인간과 협력해 순수 수학 난제를 해결할 수 있음을 보여주는 사례로, 형식 검증 시스템의 신뢰성이 수학 증명의 새로운 인정 방식이 될 수 있음을 시사한다.
핵심 요약
- 수학 비전공자가 Claude AI를 활용해 John Conway가 1976년에 제시한 초현실수 관련 미해결 난제를 Lean 증명으로 완성했다.
- 해당 난제는 omnific integers의 refinement property에 관한 Conway의 추측으로, 두 가지 인수분해가 공통 세분화를 가지는지를 묻는 문제다.
- 저자는 Claude에게 초현실수 분야의 흥미로운 문제를 골라달라 요청했고, Claude가 이 난제를 추천했다.
전체 요약 6문장 읽기 →AI · 머신러닝 · Is mathematics about to enter the conservatory?
Key PointAI가 순수수학의 최고 난제까지 해결하기 시작하면서, 수학 연구의 가치와 수학자 직업의 미래에 대한 근본적 질문이 제기되고 있습니다.
핵심 요약
- 1974년 이래 미해결 난제였던 '구면 하드비거 정리'를 중국 연구팀이 OpenAI Codex의 도움을 받아 증명했다.
- AI는 증명 세부사항 개발, 틈새 발견·보완, 논문 작성과 편집 등 기존에 연구 수학자만 가능하던 작업을 수행했다.
- OpenAI는 GPT-4 출시 시 LLM 노출도 분석에서 수학자 직업의 100%가 자동화 위험에 처해있다고 보고했으며, 다른 창작 분야보다 영향이 가장 크다.
전체 요약 5문장 읽기 →AI · 머신러닝 · Caltech Mathathon – first hackathon ever devoted to research level mathematics
Key PointAI가 기초 수학 문제를 풀기 시작한 가운데, 수학자의 역할과 AI 활용의 미래 방향을 현장에서 직접 탐색하는 첫 시도이기 때문이다.
핵심 요약
- 칼텍이 10월 30일부터 11월 1일까지 최초의 연구급 수학 해커톤 'Mathathon'을 개최한다.
- 100개 팀이 40시간 동안 최신 AI 모델을 활용해 미해결 난제를 풀고 새로운 수학 이론을 구축한다.
- 올해 AI가 80년, 78년, 27년 된 3개의 주요 추측을 증명·반증한 사례들이 수학계를 자극했다.
전체 요약 5문장 읽기 →