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

최고관리자 일반 0 383 10.07 13:02

- 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/

Comments

로그인한 회원만 댓글 등록이 가능합니다.

목록 답변

번호	분류	제목	글쓴이	날짜	조회
9221	일반	자슴감 있는 누나들	최고관리자	10.07	366
9220	일반	묵직한 누나	최고관리자	10.07	356
9219	일반	AI로 만든 지상최고의 막장드라마	최고관리자	10.07	400
9218	동물	시고르 자브종(백구)	최고관리자	10.07	411
9217	일반	비키니 대회 우승한 누나	최고관리자	10.07	363
9216	일반	손브라 누나 몸매 감상	최고관리자	10.07	362
9215	일반	유연성 만렙 누나	최고관리자	10.07	377
9214	동물	힘 좋은 장수풍뎅이	최고관리자	10.07	353
9213	감동	다리 난간 매달린 여성 구한 소방관.jpg	최고관리자	10.07	374
9212	동물	배 만져도 가만있는 뚱냥이	최고관리자	10.07	397
9211	일반	할로윈 코스튬 고르고 있는 여자	최고관리자	10.07	329
9210	일반	밤에 화보 찍고 있는 여자	최고관리자	10.07	401
9209	일반	서울사람과 지방사람이 서로 이해할 수 없는거	최고관리자	10.07	375
9208	일반	운전면허필기시험 이렇게 했어다면	최고관리자	10.07	325
9207	일반	지금은 쇠락한 과거의 누드쇼 극장.mp4	최고관리자	10.07	317