NYU 수학자 트리스탄 버크마스터와 앤트로픽 연구원 레벤트 알푈게가 다공질매질방정식, 2차원 부시네스크 방정식, 3차원 비압축성 오일러 방정식에 매끄러운 강제항을 적용한 유한시간 블로업(특이점 형성) 증명 3편을 프리프린트로 공개하고 Lean으로 검증했다. 두 사람은 논문 작성에 클로드와 코덱스 등 LLM을 광범위하게 활용했다고 밝혔으며, 소속 기관의 공식 개입 없는 개인적 공동연구라고 강조했다. 버크마스터는 별도 성명에서 오픈AI 측으로부터 내부 모델이 나비에-스토크스 방정식(클레이수학연구소 밀레니엄 문제 중 하나)에 대한 약 100쪽 분량의 유한시간 블로업 증명을 만들어냈다는 이야기를 들었다고 주장했으나, 해당 증명을 직접 본 적은 없다고 밝혔다. 오픈AI는 9월 8일 기준 이를 공식 발표하지 않았으며, 클레이연구소도 나비에-스토크스 문제를 여전히 미해결로 분류하고 있다.

• •버크마스터·알푈게가 오일러·부시네스크·다공질매질 방정식의 유한시간 블로업 증명 3편을 Lean 검증과 함께 공개
• •증명 작성에 클로드와 코덱스 등 LLM을 광범위하게 활용했다고 논문 내 AI 사용 성명에서 명시
• •버크마스터는 오픈AI가 나비에-스토크스 방정식에 대한 약 100쪽 분량 증명을 내부 모델로 만들었다는 얘기를 들었다고 주장
• •해당 오픈AI 증명은 직접 확인하지 않았으며, 오픈AI는 공식 발표하지 않았고 클레이연구소는 문제를 미해결로 유지
• •버크마스터는 오픈AI 측과의 만남에서 공저자 알푈게를 저자에서 빼달라는 요청을 받았다고 주장