OpenAI, 나비에-스토크스 문제 해결 주장. 평가: 재검토 필요.

이 동영상에서 다루는 내용

• OpenAI: 나비에-스토크스 폭발, 약 10,000개 에이전트, 88시간, 130B 출력 토큰, Lean 검증 완료
• 벅마스터와 알포게: 같은 접근 방식에 1년, 소문, 그리고 두 가지 제안이 포함된 일요일 전화 통화
• 테렌스 타오: "누군가가 문제에 대해 작업하고 있다는 소문만으로도 그것을 해결하기 위한 막대한 AI 기반 노력이 촉발될 수 있습니다"
• 제이콥 콕슨, Anthropic 사임: 양쪽 연구소 모두 "자기 개선 초지능으로 곧장 달려가고 있다"
• Meta, Muse 출시: 자체 클라우드 VM을 기반으로 WhatsApp에서 작동하는 개인 에이전트, 미국에서만 이용 가능

번역된 스크립트

원래 영어 내레이션에서 번역되었습니다. 사용 가능한 오디오 및 캡션은 YouTube에서 제어합니다.

0:00 어제 OpenAI는 AI가 밀레니엄 현상 문제를 해결했다고 발표했습니다. 90년 동안 미해결이었고 백만 달러가 걸린 문제를 88시간 만에 해결했습니다. 그리고 같은 문제에 1년을 보냈던 두 수학자는 그 소식을 일요일 전화 통화로 알게 되었는데, 그들 중 한 명에 따르면 통화에는 다음과 같은 내용이 포함되어 있었습니다. 왜 당신의 경력을 망치려 합니까? 길고 긴 월요일이었습니다. 새벽에 NYU 교수가 4페이지짜리 성명서를 올렸습니다. 해커 뉴스에서 1,600점의 추천을 받았습니다. 오후에 OpenAI는 그 증명을 게시했습니다.

0:26 저녁에 테렌스 타오는 미해결 문제들이 이제 재생 불가능한 자원처럼 채굴되고 있다고 말했고, 밤새 Anthropic 연구원이 X에 사임서를 올렸습니다. 4,400만 뷰를 기록했으며, 두 연구소가, 인용하자면, 우리의 삶을 가지고 도박하고 있기 때문이었습니다. 또한 Meta는 WhatsApp에 살면서 자체 컴퓨터를 가진 개인 에이전트를 출시했습니다. 이 비디오에서는: 증명, 전화 통화, 각주, 그리고 테렌스 타오가 연구소들이 듣기를 원하는 문장입니다.

0:49 수요일 9월 9일, The Daily Diff입니다. 먼저 수학입니다. 나비에-스토크스는 유체의 움직임을 설명하며, 1934년 이후로 아무도 부드러운 3D 유체가 특이점, 즉 유한 시간 내에 속도가 무한대로 도달하는 현상을 겪을 수 있는지 알지 못했습니다. OpenAI의 시스템은 그렇다고 말합니다. 정지 상태에서 시작하여 부드러운 힘을 가하고 에너지를 유한하게 유지하면, 소용돌이가 스파게티처럼 안쪽으로 휘감기면서 속도가 폭발합니다. Lean으로 작성된 클레이 공식의 C와 D 명제는

1:16 Astra로 검증하는 데 17시간이 걸렸습니다. 그래서 유체는 폭발할 수 있습니다. MacBook에 커피를 쏟아본 사람이라면 누구나 알았겠지만, 이제 그것이 Lean으로 증명되었습니다. 방법: OpenAI는 Astra보다 훨씬 더 유능하다고 부르는 새로운 내부 모델을 가지고 있으며, 9월 1일, 두 개의 밀레니엄 문제가 해결되었다는 소문을 들었기 때문에 그 모델을 모든 미해결 문제에 적용했습니다. 나비에-스토크스 그룹: 약 1만 개의 동시 에이전트, 1,300억 개의 출력 토큰; 모든 문제에 걸쳐 3,000억 개입니다.

1:42 Astra의 정가 기준으로, 100만 달러 상금에 대해 1,500만 달러 상당의 토큰이 사용되었지만 OpenAI는 상금을 청구하지 않을 것이라고 말했습니다. 그리고 그 정도 마진이라면 누가 청구하겠습니까. 다른 측면입니다. NYU의 트리스탄 벅마스터와 Anthropic에서 일하는 레벤트 알포게는 코르도바와 마르티네스-조로아의 접근 방식을 Claude와 Codex로 1년 동안 연구했으며, 벅마스터의 자체 연구 기금으로 OpenAI에 비용을 지불했습니다. 8월 15일에 오일러 방정식에 대한 폭발을 얻었습니다. 벅마스터는 첫 LLM 증명이 자신이 읽었던 것 중 가장 끔찍하다고 말했으며, 그는 LLM 증명을 읽었던 것 중 가장 끔찍하다고 말했으며,

2:10 8월 22일 Lean으로 검증되었습니다. 그 후 소문이 퍼졌고, 9월 3일 그는 OpenAI에 이메일을 보냈습니다: 우리입니다, 개인적인 문제입니다, 곧 게시하겠습니다. 일요일 12시 45분 OpenAI는 오늘 언제든지 만나자고 요청했고, 세바스티앙 부벡이 합류했습니다. 벅마스터는 모델이 거의 사람의 개입 없이 강제 나비에-스토크스를 증명했다고 들었으며, 통화 중에 그것은 전체 팀이 되었다가, 쉬운 문제를 먼저 해결하고, Codex가 작성한 프롬프트, 그리고 엄청난 양의 컴퓨팅으로 바뀌었습니다. 그는 첫 프롬프트가 언제 전송되었는지 물었습니다.

2:36 결국: 지난 며칠 동안, 우리의 작업에 대한 정보가 OpenAI에 도달한 후에. 두 가지 제안이 뒤따랐습니다. 결국: 지난 며칠 동안, 우리 작업에 대한 정보가 OpenAI에 도달한 후에. 두 가지 제안이 뒤따랐습니다. 결국: 지난 며칠 동안, 우리 작업에 대한 정보가 OpenAI에 도달한 후에. 두 가지 제안이 뒤따랐습니다. 하나: 당신은 오일러를 게시하고, 우리는 다음날 나비에-스토크스를 게시합니다. 둘: 벅마스터 혼자 OpenAI 증명을 작성하고, 그는 부벡이 알포게가 Anthropic에서 일한다는 이유로 논문에서 두 번 빼기를 원했다고 말했습니다. 그는 거절하고 공개하겠다고 말했습니다. 그 성명에 따르면 답변은: 왜 당신의 경력을 망치려 합니까,

3:00 그리고: 내가 친절할 필요가 없다면, 친절할 필요도 없습니다. 보통 말머리가 침대에 나타나기 직전의 대사입니다. OpenAI의 버전: 아무도 그들의 작업을 보지 못했고, 사용자 데이터에 접근하지 않았으며, 그리고, 각주에 따르면, 교수들이 제품을 사용하면서 얻은 비식별 데이터가 모델 개선에 도움이 되었을 가능성을 배제할 수 없다고 합니다. 그리고, 각주에 따르면, 교수들이 제품을 사용하면서 얻은 비식별 데이터가 모델 개선에 도움이 되었을 가능성을 배제할 수 없다고 합니다. 알포게의 평가: 솔직하게 밝힌 점에 대해 칭찬합니다. 샘 알트만은 모두가 성실하고 관대하게 행동했으며 다른 팀이

3:25 근거 없는 표절 비난을 위협했다고 말했습니다. (표절은 'i' 하나로 철자했습니다.) 그래서 공식적인 입장은: 우리는 당신의 숙제를 베끼지 않았습니다. 우리는 당신이 숙제를 하고 있다는 소식을 들었을 뿐입니다. 테렌스 타오는 교수들의 결과를 훌륭하다고 평가하며, 벅마스터가 AI 기반 통신 방식과는 달리 전화로 자신에게 설명해준 것이 신선한 변화였다고 언급했습니다. 그리고 나서, 4개의 게시물을 올렸습니다: 좋은 미해결 문제들이 이제 재생 불가능한 자원처럼 채굴되고 있으며, 누군가가 문제를 해결하고 있다는 소문만으로도 그것을 평정하기 위한 엄청난 AI 노력이 촉발되므로, 연구 방향을 공유하지 않는 것이 이득이 되어, 수세기 동안의 공개 과학을 역행하게 된다고 말했습니다.

3:55 방향을 공유하지 않는 것이 이득이 되어, 수세기 동안의 공개 과학을 역행하게 된다고 말했습니다. 세 그룹이 주말 동안 유체 폭발 문제를 게시했습니다; 다음 논문은 NDA가 될 수도 있습니다. 이것이 제이콥 콕슨이 사임하게 된 분위기입니다: OpenAI에서 3년, 그리고 Anthropic; 그는 두 회사 모두 책임감 있게 행동하지 않고 있으며, 둘 다 자기 개선 초지능으로 달려가고 있고, 그리고 종말 게임은 사기업의 Slack에서 시작되어서는 안 된다고 말했습니다. 그리고 종말 게임은 사기업의 Slack에서 시작되어서는 안 된다고 말했습니다. 4,400만 뷰를 기록한 날, 한 연구소가 소문에 1만 명의 에이전트를 투입했고,

4:21 그래서 그 스레드는 라이브 데모와 함께 배포되었습니다. 한편, Meta는 Muse를 출시했습니다: 자체 브라우저가 있는 자체 클라우드 VM 기반의 개인 에이전트이며, WhatsApp에서 대화할 수 있습니다. 미국에서만 이용 가능하며, 대부분 무료입니다. Meta는 올해 말에 Meta조차도 읽을 수 없는 버전을 약속했습니다. 올해를 설명하는 매우 구체적인 방식입니다. 해커 뉴스 최고 댓글: 이렇게 Meta와 내 삶을 공유하고 싶지 않습니다. 두 번째: 계속 유모차를 팔려고 합니다.

4:45 제가 말하는 것을 듣는 대신 이 글을 읽고 싶다면, 매일 아침 차이점이 사서함으로 도착합니다 — thedailydiff.dev에서 무료로 제공되며, 링크는 아래에 있습니다. 그래서 — 오늘의 평결: 재검토 필요. 증명은 통합되지만, 스토리는 그렇지 않습니다. 1만 명의 에이전트가 90년 된 문제를 주말에 해결한 것은 올해의 능력 결과입니다; 그 소식을 들은 두 사람에게 일요일 전화 통화로 발표한 것은 그렇지 않습니다. 결과입니다; 그 소식을 들은 두 사람에게 일요일 전화 통화로 발표한 것은 그렇지 않습니다.

5:07 그것이 오늘자 차이점입니다. 저는 Axrisi의 Niko입니다. 책임감 있게 병합하십시오.

출처

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com