🔬연구오픈AI, 또 다른 밀레니엄 수학 문제 '호지 추측' 해결에 근접오픈AI가 나비에-스토크스 문제에 이어 밀레니엄 수학 난제인 '호지 추측' 해결에 근접함.오픈AI호지추측AI연구AI타임스1분 · 2일 전
🔬연구저스틴 선, 수학 난제·형식 검증에 최대 100만달러 건다저스틴 선이 수학 난제 해결과 기계 형식 검증을 장려하기 위한 분산형 학술상 '저스틴 선 상'을 제정했다.오픈AI수학적난제형식검증디지털투데이1분 · 4일 전
🔬연구OpenAI, 90년 난제 '나비에-스토크스 방정식' 해결 주장하며 논란의 중심에OpenAI가 약 90년간 미해결 상태였던 수학 난제인 나비에-스토크스 방정식의 해법을 찾았다고 발표했습니다.OpenAI나비에-스토크스AI연구The Verge1분 · 12일 전