오픈AI, 722개 수학 증명 논문 공개, 준-리만가설 증명 성공

 

GitHub - openai/math

Contribute to openai/math development by creating an account on GitHub.

github.com

- 싱글벙글 수학자들이 난제 푸는 ai한테 화내는 이유 이해하기

- OPEN AI, AI가 도출한 수학 연구 원고 722편과 증명 자료공개

 

OpenAI, AI가 도출한 수학 연구 원고 722편과 증명 자료 공개 | GeekNews

OpenAI가 미공개 내부 모델이 도출한 수학 연구 원고 722편을 GitHub에 공개함. 관련 결과와 대안 증명, 후속 논문 등을 372개 결과 묶음으로 구성함 모델에 약 4,000개 연구 문제를 제시했으며, 결과 하나에 사용한 평균 연산량은 해당 모델로 ChatGPT Pro가 약…

news.hada.io

 

OpenAI October Math Results

There are 722 papers, proofs, and results from OpenAI, posted on October 6.

hub.valency.io

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

• ㅇㅇ이.. 이게 대체 갑자기 머선 일이고..
• ㅇㅇ1마법같은!
• 행복한천국으로온전히 푼 건 아니군요..! 아주 살짝 아쉬운 마음이 들지만, 그럼에도 엄청나다는 걸 부정할 수는 없는
• 신화망상준 증명은 뭐야
• ㅇㅇ워매
• 산시야아침부터 기쁜 소식이 왔구나 - dc App
• ㅇㅇ부분적이긴 하지만 진전이 아니라 증명이라니 특뽕 최대로
• ㅇㅇ준증명은 뭐야 시벌 길어서 안 읽었어 일단 ai 개쩌니까 박수치면 되는거지?
• 사람구독료 낸 보람 여기서 느끼네. ㅠㅠ
• ㅇㅇ2이런 거나 실베 좀 보내지
• 간디귿급발진 ㅅㅂㅋㅋㅋ
• Singularity.ai에서 드디어 리만 가설이 들어왔구나. 준증명이지만
• ㅇㅇ이자식 혼자 걍 필즈상 단독수상 해도 되겠네
• ㅇㅇ약 ㅈㄴ팔면서 희망회로나 처돌리니 빡치지 ㅋㅋ
• ㅇㅇ힘들게 서울대가서 석박사한애들 어떡해ㅠㅠㅠㅠ ai 딸깍에 ^따잇^ 멍청이자식들 끼숩노꼬숩노깨숩노ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
• ㅇㅇ수학자: 그래도 인간의 어쩌고 저쩌고
• ㅇㅇAI, AGI ( X ) 차세대 계산기 ( O )
• ㅇㅇ허준이 따잇~
• ㅇㅇ그래서 뭐가 바뀌는데?
• ㅇㅇ검증은 클로드에게 맡기면됨
• 샨테그래서 이거 풀면 뭐 달라짐...? 왜 호들갑임....?
• ㅇㅇ극우스럽구나
• ㅇㅇ준증명은 또 무슨 해괴한 용어미?
• ㅇㅇ지금까지 한 거 보면 증명을 못 함. 사람들은 도저히 계산 못 하는 정도인 거 반례를 찾아서 이거 거짓이요하는 계산기임
• ㅇㅇ수학은. 사람냄새. 나는. 감성적인. 항문이. 되야지. 에휴. 요즘절믄것들은 ㅉㅉ..
• ♡♡♡♡♡중력 방정식은 언제 밝혀낼까?
• ㅇㅇ수학자들 본인 학문이 제일 어렵고 추상적이라고 자부심 가지더니 현실은 제일 허벌스럽네. 평소엔 다른 학문이 AI한테 잠식당할 땐 아무 관심 안 가지더니 꼴 좋네. 지들 밥그릇 뺏길까봐 인간은 AI와 달리 창조성과 창의성이 있다고 강조하더니 현실은 AI가 인간 수학자보다 창의성, 창조성 모든 측면에서 압도하네.
• ㅇㅇ바둑이랑 상황 비슷하네 인간 나부랭이들한테 수학은 너무 과한 놀이였다 컴퓨터한테 더 적합한 놀이였다
• ㅇㅇ필즈상은 오픈 ai 에게 주자
• ㅁㄴㅇ지금껏 와 개쩐다 하다가 갑자기 그게 뭔데 씹덕아 하면 나라도 빡칠듯