오픈AI, 수학 밀레니엄 문제 포함해 난제 372개 해결 발표, 다양한 수학 공식 효율화.

메?이저한거

- quasi 리만 가설 증명

- 호지 추측(Hodge Conjecture)
- 유리수체 위에서의 힐베르트 제10문제(Hilbert’s Tenth Problem)
- 유니크 게임 추측(Unique Games Conjecture)
- 비소픽 군(Nonsofic Groups)의 존재 및 카플란스키 추측의 반례
- 자유군 인자 동형 문제(Free Group Factor Isomorphism Problem)
- 두 가지 말러 추측(Mahler Conjectures) 모두
- 상대론적 블라소프–맥스웰 방정식(Relativistic Vlasov–Maxwell)의 전역적 매끄러움(Global Smoothness)

특히 이번에는 기존에 비판이 있던 증명 관련해서 중요한 난제들의 경우 Lean Formalization으로 증명까지 같이해서 발표했다고 합니닷

https://openai.com/index/sharing-ai-progress-in-mathematics/

🔥 실시간 네티즌 베스트 반응

• 자XXX생리만가설을 증명했다고!????
• 패XX이아앗 검색해보니 quasi-리만입니닷 번역기주거..
• lXXXXXn그게 그거아님?
• 우XXXX7글좀 제대로 읽어라.
• 개XX랑리만가설이라 썼다가 수정한 거 같은데
• bXXn너부터 제대로 좀 읽어라
• 귀X문맥좀 읽어라
• 우XXXX7문맥을 뭘 읽노? 문맥 읽으면 더더욱 리만가설 증명했다고? 라는 개소리는 나오면 안되는데 ㅋㅋㅋㅋㅋㅋㅋ 수능 국어 2등급 이하 저능아새끼들 줄줄이 튀어나오노
• 궁XXXX자먹이 주니까 존나 좋아하잖아 병신새끼들아니들이 제일 병신임 ㄹㅇ
• 가XXXX아맥락좀 제대로 읽어라. 책 좀 읽어
• 우XXXX7수능 국어 1등급도 못맞은 저능아가 설마 남한테 책읽으라고 하는건 아니겠지?? ㄷㄷ
• 子X준 리만 가설(Quasi-Riemann Hypothesis)은 수학의 가장 큰 난제인 리만 가설(Riemann Hypothesis)을 약간 완화한 형태의 추측입니다. 리만 가설이 리만 제타 함수의 모든 비자명 영점(영이 되는 복소수 값)이 정확히 실수부 Re(s) = 1/2인 임계선 위에 존재한다고 주장하는 반면, 준 리만 가설은 영점들이 Re(s) > σ₀ (단, 1/2 ≤ σ₀ < 1)인 특정 영역(우반평면)에는 존재하지 않는다고 제안합니다.
• 흰XXX리한글인데도 이해 못 하겠네
• 방XX슨리만가설 : 펨붕이 미래 와이프는 서울에 살고 있다준 리만 가설 : 펨붕이 미래 와이프는 38선 위에 없다이런 느낌인듯?
• 쵸XXX벽리만가설 완전히는 아니고 일부 범위내에 있다고 부분해결한거임
• 마XXXXXX시특이점이...온다...초가속이...시작된다...버텨라...!버텨서...특이점을...누려라...!
• 맨XXX야시장에 피가 낭자하고 공포가 만연하다
• 黃X勳노이추
• YXXu특이점은 온다
• 머X와수학자들은 이제 수학 관두고 나하고 같이 근무하자. 내 직업이 뭐냐고? 백수
• 5XX일어차피 개 씹 천재들이라 띤거 하라하면 금방 함 ㅋㅋㅋ
• 응XXX야주의해야 할 점은개쩌는 사람"들"이 개쩌는 AI"들"을 이용해서 개쩌는걸 발견한다는 거지 AI 혼자 하는 것도 아니고 우리가 할 수 있는 것도 아님.
• 대XXXXXX단뭘 주의하는데? ㅋㅋ
• 펨XXXXXX팍그니까 ㅋㅋㅋ
• 레X르아무것도 할순 없지만 똑똑히 지켜봐라 라는 뜻 ㅋㅋㅋ