GPT-5 just casually did new mathematics.
Sebastien Bubeck gave it an open problem from convex optimization, something humans had only partially solved. GPT-5-Pro sat down, reasoned for 17 minutes, and produced a correct proof improving the known bound from 1/L all the way to 1.5/L.
This wasn’t in the paper. It wasn’t online. It wasn’t memorized. It was new math. Verified by Bubeck himself.
Humans later closed the gap at 1.75/L, but GPT-5 independently advanced the frontier.
A machine just contributed original research-level mathematics.
If you’re not completely stunned by this, you’re not paying attention.
UCLA 수학과 교수 Ernest Ryu의 논평.
숙련된 박사과정학생이 몇시간정도 투자해서 증명할 수 있는 난이도의,남들이 풀 시도를 안해서 open problem인
쉬운 수준의 open problem을 증명한 것이지만,
"답이 알려져있지 않은"
문제를 LLM이 최초로 증명한 사례기때문에
매우 충격적임.
인간이 문제 입력하는데 30초가 걸렸고,
GPT5가 이를 해결하는데 걸린 시간은
17분 35초.
- dc official App
ㄷㄷㄷ
류버지
시발 리만가설도 증명해달라 해라ㅋㅋㅋ
3줄 요약점
억까 거르고 왜들 호들갑인지 이해 못 하겠음 이제야 작은 문제 하나라도 풀었다는게 이상할 지경인데
AI가 대수기하 난제 풀면 그때 되어서야 오줌 지릴래? ㅋ
왜 긁힘?ㅋ
근데 아직 특이점이 오진않았는데 만약 ai가 엄청 발전한다면 따이는 분야가 수학하고 컴공일듯. 문과는 뭐 사람들 얘기라 답이 없는 학문이고 과학이나 공학은 실험도 해야되고 몸써야하는 학문도 있는데 수학하고 컴공은 논리로만 승부보는거라서
바둑좋아하는사람은 ai가 얼마나 절대적 존재인지 알텐데
그리고 아예 ai사용하지않았다고 선언하라는 저널도 보임 ㅋㅋ 바둑둘때 ai치팅하지말라는 소리랑 비슷하네
@ㅇㅇ(223.39) 사실 나는 앞으로 몇 년 이내에 사람 리서치 능력을 능가하는 ai가 나와도 놀라지 않을 준비가 되어 있다고 생각함. 다만 수학은 논리적이라, ai가 다른 것들보다 더 빨리 정복할 거라는데 동의하지 않음. 그냥 뭣 모르고 하는 말들 같다 특히 추상적인 논리들이 산재한 분야일 수록 ai가 고전할 거라고 봄
Ai는 컴퓨터고 컴퓨터는 계산기이고 수학은 특히나 리서치영역에서는 계산이 어마무지한데 수학이나 컴공만큼 정복가능성 높은 분야가 어딨겠냐?
@ㅇㅇ(223.39) 계산이 다냐?ㅋㅋ
만약 ai 어떤 학문을 정복하게된다면 제일 빨리 정복되는게 수학아닐까? 이놈이 인문학을 정복할까 지구과학을 정복할까?
수학은 명확하잖아. 밀레니엄 난제 다 풀고 오랫동안 안풀린 난제 해결하면 되는데 다른분야는 무슨연구해도 안믿어버리면 그만인데
@ㅇㅇ(223.39) ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
근데 넌 전공이 뭐냐? 전공이뭐길래 계산이 다냐는 소리를 함?
@ㅇㅇ(223.39) 구체적으로 말할 생각은 없는데 기하쪽임
근데 넌 ai가 바둑처럼 수학정복하는게 싫은거냐 아님 특이점은 온다 이런 얘기 하는사람들이 호들갑떠는게 싫은거냐? 나도 과학이나 사회과학 유튜버들이 썸네일로 호들갑떠는거 싫긴한데 ai의 수학적능력이 많이 발전하고있는 기사만 봐도 발작하는거보면 전자일 가능성도 있는것같은데
이 글쓴이는 그냥 ai 가 뭐했다 이런사실만 말한것같은데 유튜버 썸네일처럼 '이제 한국은 멸망했습니다' '이제 인간은 끝입니다' 이런 호들갑정도는 아닌것같은데
@ㅇㅇ(223.39) 전자는 싫고, 후자는 꼴 보기가 싫음. 싫어하는 이유는 내가 연구해서 개념들을 밝혀낼 수 없어지기 때문임
@ㅇㅇ(223.39) 글쓴이가 매우 충격적 이라고 함. 더군다나 글쓴이만 염두에 두고 한 말은 아니었음
그런게 좋으면 니가 스스로 문제풀고 ai한테 검토받으면 되지 굳이 ai가 뭐했다는 기사보고 너무 풀발기하지마. 수잘갤 2년전정도만해도 ai 엄청 빨아주는 분위기였는데 최근보니까 ai를 엄청 싫어하고 까는사람들이 많아졌더라고. 그때는 수학은 ai가 건드릴수없는 불가침의 영역이라 오히려 ai가 수학자들의 일자리를 더 늘려줄거라는 그런 믿음이 있어서 그런거였네
@ㅇㅇ(223.39) 그런거랑은 다른 문제임. 그리고 내가 풀발 한 적이 없는데 뭘 쳐보고 이러는거?
근데 신기하지않음? 진짜 몇년전만해도 ai빨아주는 니가말한 특슬람들 수잘갤에 엄청많았고 심지어는 그게 주류분위기였음. 그리고 그때 딱 내가 너같은 입장이었음. 호들갑떨지말라고 다 거품이라고. 근데 지금 여론이 완전 바꼈음
그때 ai까면 진짜 존나 뚜들겨맞았었음.
@ㅇㅇ(223.39) 말 그대로 특슬람들이 와서 그러는 거였고 딱히 그렇지 않았음
근데 난 이런 생각이 들어. 연구하다보면 없는걸 만들어내는 탑선구적인 학자가 있고 그걸 따라가면서 기존의 논문들을 활용해서 작은 문제풀어가는 학자가 있는데 확실한건 후자의 학자들은 분명 대체가 가능한것같음. 즉 나 아니어도 누구나 관심만 가지고 자료조사 열심히하면 풀수있는 문제푸는 학자들은 분명히 대체됨
@ㅇㅇ(223.39) 이새낀 걍 말 할수록 바닥 보이는데 왜 받아주냐 성자냐
@ㅇㅇ(223.39) 확실히 선구적인 학자들 외 나머지 학자는 대체될것같긴함..
@대딸금사월 이게 정확히 무슨 뜻인지조차 이해가 안 됨
쿨찐이노
@아핀스킴 AI 발전 자체가 그냥 거부감이 존나 듦.. 세상이 점점 낭만이 없어보이고 내 존재의미 자체가 점점 부정당하는 느낌임. 공부를 해도 미술을 해도 음악을 해도 AI딸깍 한번으로 모든 노력과 행위가 부정당하는 느낌
난 체스 좋아하는데 체스도 90년대 딥블루 이후 인공지능 체스 시대 도래하면서 낭만 다 좆박고 재미도 없어짐
진짜 20세기 중반만 해도 피셔, 탈, 마샬, 카파블랑카 이런사람들 경기 보면 참 재밌었는데 요즘 경기보면 걍 좆노잼임.. 낭만이 없어 감정이 없는 무의미하고 차가운 세상이야
현존하는 결과보다 약한 결과이고, 그것도 그냥 작은 보조정리 수준의 결과를 1쪽 내외로 증명한건데 이 정도의 역량은 이미 텍스트북에 있는 어려운 연습문제를 해결할 수 있는 것으로 보여주지 않았나 싶다. 호들갑 떨일인가 싶네..
나도 이 생각ㅇㅇ
교과서 연습문제 하나도 제대로 못푸는 특슬람들이나 경악할 이슈네요
개 ㅈ밥 문제가지고 호들갑떠는것 같긴한데 그래도 발전속도가 빠르긴 하네
저능아 특슬람들 이거보고 헐레벌떡 호들갑 떨 생각하니 웃겨 뒤지겠네 ㅋㅋㅋㅋㅋ
발전한건 맞는데 호들갑 떠는거 생각하면 웃기긴한ㅋㅋ
ㄹㅇㅋㅋ
류경석 교수님 트윗에 충격적이란 말 없는데 대놓고 날조하는거 봐라
얜 국어능력이 좀 의심되네 논평. 이후에 쓴 말이 교수님이 말한거라고 읽히나 저게.. 논평은 이미사진으로 다 제시했는데 걍 작성자 의견을쓴거지 - dc App
애초에 류경석 교수님 트윗엔 LLM이 최초로증명했다 이런 말도 없음. 이거만 봐도 바로 알 수 있는 걸.. - dc App
수잘갤 수능만점 imo금상 출신들한텐 ai가 이정도 하는건 별거아님
얜 너무 대놓고 특슬람이다
작년에는 중딩수학도 못했는데 이 속도면 수학은 유의미한 활동을 할 수 있는 사람이 많이 줄겠네 - dc App
그건 니가 특슬람이라
이새끼 특갤가니까 어질어질하네
류 버 지