OpenAI 차세대 모델, 7일간 단돈 300만원으로 수십년된 난제 10가지…

Toiss 큐레이션: svrforum, fmkorea, clien 등 4개 출처에서 감지된 이슈를 출처 수, 조회 2, 댓글 8, 추천 8 신호로 묶어 검토했습니다. OpenAI 차세대 모델 '아스트라'가 수학과 이론 컴퓨터과학의 수십년 난제를 해결했는데 고차원 기하학, 부호 이론, 산술 회로 복잡도, 군론, 작용소 대수, 양자 복잡도, 격자 암호, 극값 조합론 난제를 해결했다고 함 소요시간은 겨우 일주일이고 비용은 겨우 2000달러, 한화 300만원 ㄷㄷ 10가지는 난제는 반례 3개(3, 4, 10번)를 포함해서 긍정적 증명 4개(1, 6, 8, 9번)와 기존 경계 • 기록 개선 3개(2, 5, 7번) 난제도 해결 unsolvedmath.com에서 최고난이도 level5 난제는 136개 존재하는데 별명이 밀레네엄 프라이즈, 준밀레네엄급임 https://www.unsolvedmath.com/problems?difficulty=5&page=3 그런데 아스트라가 level5 난제 2개를 해결한 거임 ㄷㄷ 그 외에도 8번의 level4 Ehrhart 부피 추측 난제도 해결했고 저번주 페이블과 OpenAI 내부모델이 해결한 야코비안 추측 반례도 level 4 난제 그런데.. level5인 고차원 구면 채우기 난제 해결은 수학의 노벨상인 필즈상 급이라고 하고 또다른 level 5 난제인 비소픽 군 존재 증명도 필즈상 급 ㄷㄷ AI가 증명한 최초의 진지한 수학 결과, 지금까지 나온 수학 AI 결과 중 가장 중요한 것이라는 반응도 ㄷㄷ https://cdn.openai.com/pdf/ten-proofs-oai.pdf 이건 OpenAI가 발표한 10가지 난제 해결 pdf 파일 아래는 OpenAI가 10가지 난제 해결 발표하며 게시한 내용 내용 전문 <수학 및 이론 컴퓨터과학의 열 가지 진전> 우리는 과학자와 수학자들이 발견의 속도를 높일 수 있도록 강력한 도구를 제공하고자 한다. 이러한 목표 아래 최근 10만 명의 과학자와 수학자에게 최고 성능의 ChatGPT 모델을 무료로 제공하는 ‘학술 연구자를 위한 ChatGPT’ 이니셔티브를 발표했다. 또한 모델을 개발하는 과정에서 공개된 미해결 연구 문제를 대상으로 모델의 능력을 지속적으로 평가하고 있다. 지난 5월에는 아직 공개되지 않은 모델을 평가하던 중 발견된, 에르되시 단위거리 추측에 대한 AI 생성 반례를 공개했다. 이 연구는 이미 수학과 이론 컴퓨터과학에서 여러 후속 연구