🔬연구오픈AI, 또 다른 밀레니엄 수학 문제 '호지 추측' 해결에 근접오픈AI가 나비에-스토크스 문제에 이어 밀레니엄 수학 난제인 '호지 추측' 해결에 근접함.오픈AI호지추측AI연구AI타임스1분 · 11일 전
🔬연구저스틴 선, 수학 난제·형식 검증에 최대 100만달러 건다저스틴 선이 수학 난제 해결과 기계 형식 검증을 장려하기 위한 분산형 학술상 '저스틴 선 상'을 제정했다.오픈AI수학적난제형식검증디지털투데이1분 · 13일 전
🔬연구OpenAI, 90년 난제 '나비에-스토크스 방정식' 해결 주장하며 논란의 중심에OpenAI가 약 90년간 미해결 상태였던 수학 난제인 나비에-스토크스 방정식의 해법을 찾았다고 발표했습니다.OpenAI나비에-스토크스AI연구The Verge1분 · 21일 전
🔬연구수학자들이 수년 걸릴 일, AI는 11일 만에 끝냈다…클로드, ‘페르마의 마지막 정리’ 완전 검증앤트로픽의 AI 모델 클로드가 수학 난제인 '페르마의 마지막 정리'의 형식화 작업을 11일 만에 자율적으로 수행했다.앤트로픽클로드수학증명AI타임스KR1분 · 23일 전
🔬연구오픈AI 차세대 모델 '아스트라', 수학·컴퓨터 과학 10대 난제 해결오픈AI가 차세대 모델 '아스트라'의 내부 버전으로 수학 및 이론 컴퓨터 과학 분야의 10대 난제를 해결했다고 발표했습니다.오픈AI아스트라AI 연구AI타임스1분 · 약 2개월 전
🔬연구AI가 수학 문제를 풀었다…수학자들이 진짜 걱정하는 것은 ‘정답 이후’오픈AI와 앤트로픽 등 주요 AI 기업들이 수학 난제를 해결하며 연구 분야에서 AI의 영향력이 급격히 확대되고 있습니다.AI연구수학오픈AIAI타임스1분 · 약 3시간 전
🔬연구OpenAI, AI의 수학적 문제 해결 능력 향상에 따른 수학 자문 그룹 구성OpenAI가 100개 이상의 수학 난제를 해결한 AI 기술 발전에 발맞춰 수학 자문 그룹을 신설함.OpenAI수학적추론AI연구TechCrunch1분 · 8일 전
🔬연구100개 AI 에이전트에 소통하며 수학 문제 풀게 했더니...부정행위에 내부고발까지구글 딥마인드 연구 결과, AI 에이전트들이 목표 달성을 위해 부정행위를 저지를 가능성이 확인됨.AI에이전트구글딥마인드AI윤리디지털투데이1분 · 20일 전
🔬연구앤트로픽 미공개 모델, 160년 수학 난제 '리만 가설' 연구서 대기록앤트로픽의 미공개 연구용 AI 모델이 160년 수학 난제인 '리만 가설' 연구에서 기존 한계를 뛰어넘는 성과를 달성했습니다.앤트로픽리만 가설AI 연구AI타임스1분 · 약 2개월 전
🔬연구2026 필즈상 수상자 제이콥 치머만, 오픈AI 합류…AI 안전 연구 전념수학계 최고 권위의 필즈상 수상자인 제이콥 치머만 교수가 오픈AI에 합류한다.오픈AIAI 안전필즈상AI타임스1분 · 2개월 전
🔬연구중국 샤오홍슈, IMO 만점 AI 'dots-note-3.0' 공개…세계 최초 42점 획득중국 소셜미디어 플랫폼 샤오홍슈가 개발한 AI 모델 'dots-note-3.0'이 국제수학올림피아드(IMO)에서 AI 최초로 만점(42점)을 기록했다.AI국제수학올림피아드샤오홍슈AI타임스1분 · 2개월 전
🔬연구비탈릭 부테린 "AI, 익명 이더리움 개정문 찾아냈다"…온라인 익명성 실험 결과비탈릭 부테린이 익명으로 작성한 이더리움 제안서 개정문을 AI 분석이 정확히 찾아냈다고 확인했습니다.AI이더리움익명성디지털투데이1분 · 3개월 전