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

최고관리자 일반 0 499 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

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

목록 답변

번호	분류	제목	글쓴이	날짜	조회
9021	일반	아스라다 네비게이션 출시	최고관리자	10.07	299
9020	일반	접지 기대 효과	최고관리자	10.07	392
9019	일반	종신보험 유지 관리 문의[자필]	최고관리자	10.07	406
9018	일반	의외로 유행어를 많이 만든 게임	최고관리자	10.07	503
9017	일반	20500원 주고 컵라면 산 사람	최고관리자	10.07	255
9016	일반	연차 거부당한 신입사원	최고관리자	10.07	447
9015	일반	"군면제도 모자라 아파트 ‘특공’까지?"…아시안게임 국대 혜택	최고관리자	10.07	541
9014	일반	여대생이 말하는 경영학과 경제학의 차이	최고관리자	10.07	512
9013	일반	눈치게임 시작한 아파트	최고관리자	10.07	479
9012	일반	엔화 모으기는 무적이다.jpg	최고관리자	10.07	452
9011	일반	네크로맨서 (강령술사)	최고관리자	10.07	511
9010	일반	세차 레전드	최고관리자	10.07	511
9009	일반	중국 축구 현재 근황.mp4	최고관리자	10.07	512
9008	일반	땅파서 장사하는게 분명한 DC.jpg	최고관리자	10.07	471
9007	일반	AG 병역특례 ‘57명’ 막차 탔나…국방장관 “축소 후, 폐지”	최고관리자	10.07	479