오픈AI, 차세대 AI모델 '아스트라' 예고..."수학 난제 10개 해결"

챗GPT 개발사 오픈AI가 차세대 모델인 '아스트라'의 출시를 예고했습니다. 오픈AI는 내부 시험 중인 차세대 모델 '아스트라'를 활용해 최소 10년 이상 풀리지 않았던 수학 난제 10가지를 해결했다고 현지 시간 2일 밝혔습니다. 아스트라가 해결했다고 오픈AI가 소개한 난제들은 고차원 기하학과 대수학의 한 분야인 군론(group theory), 양자 복잡도 등입니다. 오픈AI는 아스트라가 제시한 논리를 수학 증명 검증도구인 '린' 형태로 규격화해 공개했습니다.  출 처 : <a href="https://www.ytn.co.kr/_ln/0104_202608030324374545" target="_blank" class="ke-link">https://www.ytn.co.kr/_ln/0104_202608030324374545</a><div class="figure-open" contenteditable="false" data-ke-type="opengraph" data-ke-align="alignCenter" data-og-type="website" data-og-title="오픈AI, 차세대 AI모델 '아스트라' 예고..."수학 난제 10개 해결"" data-og-description="챗GPT 개발사 오픈AI가 차세대 모델인 '아스트라'의 출시를 예고했습니다.오픈AI는 내부 시험 중인 차세대 모델 '아스트라'를 활용해 최소 10년 이상 풀리지 않았던 수학 ..." data-og-host="www.ytn.co.kr" data-og-source-url="https://www.ytn.co.kr/_ln/0104_202608030324374545" data-og-url="https://www.ytn.co.kr/_ln/0104_202608030324374545" data-og-image="https://scrap.kakaocdn.net/dn/dIHCWW/dJMb83kHNg8/Cv1Qmy2TAb3IltVOzZB8R1/img.jpg?width=558&height=279&face=0_0_558_279,https://scrap.kakaocdn.net/dn/bT6cva/dJMb87ObDXI/ZZ6GArGjtZpMUlR8bwKskK/img.jpg?width=558&height=279&face=0_0_558_279"><a href="https://www.ytn.co.kr/_ln/0104_202608030324374545" target="_blank" data-source-url="https://www.ytn.co.kr/_ln/0104_202608030324374545"><div class="og-image"><img class="thumb_img" src="https://scrap.kakaocdn.net/dn/dIHCWW/dJMb83kHNg8/Cv1Qmy2TAb3IltVOzZB8R1/img.jpg?width=558&height=279&face=0_0_558_279,https://scrap.kakaocdn.net/dn/bT6cva/dJMb87ObDXI/ZZ6GArGjtZpMUlR8bwKskK/img.jpg?width=558&height=279&face=0_0_558_279" alt="" xxonerror="this.src="//img1.kakaocdn.net/thumb/C200x200/?fname=https%3A%2F%2Ft1.daumcdn.net%2Fcafe_image%2Fcafe_meta_image_190529.png""></div><div class="og-text">오픈AI, 차세대 AI모델 '아스트라' 예고..."수학 난제 10개 해결"챗GPT 개발사 오픈AI가 차세대 모델인 '아스트라'의 출시를 예고했습니다.오픈AI는 내부 시험 중인 차세대 모델 '아스트라'를 활용해 최소 10년 이상 풀리지 않았던 수학 ...www.ytn.co.kr</div></a></div>