뉴스
- “수학 난제 10개 해결” 오픈AI, 차세대 AI 모델 ‘아스트라’ 깜짝 예고 챗GPT 개발사 오픈AI는 내부 시험 중인 차세대 인공지능(AI) 모델 ‘아스트라’를 활용해 최소 10년 이상 미해결 상태로 남았던 수학 난제 10가지를 해결했다고 2일(현지시간 오픈AI에 따르면 아스트라가 해결한 난제는 고차원 기하학, 대수학의 한 분야인 군론(group theory), 양자 복잡도 등 다양한 수학 분야에 걸쳐 있다.
- 딥시크 API, 24일 작동 멈춘다…미스트랄은 ‘수학 증명’ 모델 공개 [지디넷코리아]중국 딥시크(DeepSeek)의 호스팅 응용프로그램인터페이스(API)를 쓰는 개발팀에 시한이 걸렸다. AI툴스리캡(AIToolsRecap)에 따르면 deepseek-chat과 deepseek-reasoner 별칭(alias)은 7월 24일 15시 59분(협정세계시(UTC)
- SKT 'A.X-K1', 수학 추론서 글로벌 동급 모델 앞섰다 SK텔레콤 대규모언어모델(LLM) 'A.X-K1'이 한국수학올림피아드(KMO) 문제 기반 평가에서 국내 독자 모델 가운데 가장 높은 성적을 기록했다. KAIST 전산학부 박노성 교수 연구팀은 최근 치러진 2026년 제40회 한국수학올림피아드 1차 시험 20문항으로 국내외 최신 LLM 11종의 수학 추론 능력을 평가한 결과 이같이
- 인간처럼 배우고 추론하는 AI, 'AGI'는 어디까지 왔나 OpenAI는 지난 9월 3일 차세대 인공지능 모델 'GPT-6 Astra'를 공개했다. Astra는 단순히 질문에 답하는 언어... OpenAI가 공개한 평가에서 Astra는 ARC-AGI-3 99.9%, 고난도 수학 평가인 FrontierMath Tier 4에서 98%를 기록했다. 이 같은...
-
AI에 맡긴 비공개 연구, 빅테크 성과로?…수학계 ‘아이디어 도용’ 논란
오픈AI가 잇달아 내놓은 수학 난제 해결 성과를 둘러싸고 ‘아이디어 도용’ 논란이 확산하고 있다. 인공지능(AI)을 연구 도구로 활용한 수학자들의 비공개 대화와 아이디어가 모델 개선에 간접적으로 활용돼 결과적으로 오픈AI의 성과에 영향을 미친 것 아니냐는 의혹이다.
- 오픈AI, 차세대 AI '아스트라' 출격 예고… 10년묵은 수학 난제 10개 풀었다 오픈AI가 챗GPT를 이을 차세대 인공지능(AI) 모델 '아스트라' 출시를 공식화했다. 2일(현지시간) 오픈AI는 내부 테스트에서 아스트라가 지난 10년 이상 미해결 상태였던 수학 오픈AI는 아스트라가 도출한 논리를 수학 증명 검증 도구인 '린' 형태로 규격화해 세상에 내놓았다. 주목할 점은 압도적인 비
- LG, 독자적 AI ‘K-엑사원 2.0’ 체험 사이트 오픈 LG AI연구원 독자 인공지능(AI) 모델 'K-엑사원 2.0'[연합뉴스 제공][연합뉴스 제공] LG AI연구원이 오늘(7일)부터 오는 14일까지 독자 인공지능 모델 ‘K-엑사원 2.0 이 밖에도 수학...
- SKT 독자 AI 모델 'A.X K2' 수학도 잘한다..."올림피아드 금메달 수준" [지디넷코리아]SK텔레콤이 개발한 독자 AI 모델 'A.X K2'가 국제수학올림피아드(IMO) 문제 평가에서 금메달 기준에 해당하는 성적을 거둬 이목을 끈다.아울러 글로벌 수학 추론 자연어 평가에서는 그럴듯한 답변과 정확한 답변을 구분하기 어려운 경우가 있으나 수학 문제는 결과의 정확성을 비교적 명확하게 확인할 수 있다.이 때문에 높은 수학 추론 능력은 금융·회계뿐
- 오픈AI ‘아스트라’, 10년 묵힌 수학 난제 풀었다…‘연구형 AI’ 시대 개막 오픈AI의 차세대 인공지능(AI) 모델 ‘아스트라(Astra)’가 지난 10년 이상 학계의 골칫거리였던 수학 및 컴퓨터 과학 분야의 미해결 난제 10개를 풀어냈다.
- 오픈AI "차세대 모델 아스트라, 수학난제 10개 해결" 챗GPT 개발사 오픈AI가 차세대 모델 '아스트라'의 출시를 앞뒀습니다. 오픈AI는 아스트라를 활용해 최소 10년 넘게 풀리지 않았던 고차원 기하학 등 수학 난제 10가지를 해결했다고 현지시간 2일 밝혔습니다.
1 페이지
다음 →