01AI 리서치·논문 · 기사 6건 · 6일간
OpenAI 나비에-스토크스 증명과 신용 분쟁
OpenAI의 나비에-스토크스 특이점 증명이 린 형식 검증까지 진행, 선행 연구 기여 인정을 둘러싼 분쟁은 미해소
- 핵심
- 내부 모델이 단순화된 버전이 아닌 전체 Navier–Stokes 방정식의 붕괴를 증명했다는 발표로, 선행 연구를 낸 수학자들과의 기여 인정 문제가 발생
- 변화
- 90년간 미해결이던 밀레니엄 문제 → OpenAI의 해결 주장 및 린 언어 형식 검증 발표
- 향후 쟁점
- 수학 커뮤니티의 해결책 수용 여부
- Buckmaster·Alpöge·안드레아스 톰 연구에 대한 기여 인정 쟁점
진행 경과
- 9.9NYU Tristan Buckmaster와 Anthropic Levent Alpöge 연구를 참고하고도 인정하지 않았다는 비판 제기
- 9.10다중 에이전트 강화 학습으로 협업 모델을 훈련한 Astra-next 기반 해법 구조 공개
- 9.11수학자 안드레아스 톰, 모델의 자신의 미발표 연구 의존 가능성 제기로 데이터 출처 논란 확대
- 9.15전체 과정에서 4.9백만 메시지와 약 3000억 개 출력 토큰 사용 공개, 상금 수령 의사 없음 재확인
- 9.189월 8일 내부 모델과 약 10,000개 에이전트로 88시간 만에 Navier–Stokes 문제 해결 발표
- 9.22특이점 발생 증명을 린 언어로 17시간 만에 형식 검증했다고 발표