오픈AI, 수학난제 722개 한꺼번에 증명 발표… 준-리만 가설 포함

오픈AI가 수학난제 722개를 모두 해결했다고 주장했으며 모두 오픈소스로 공개함. 푼 증명 중에는 준-리만가설, 더 빠른 고속푸리에 변환 등이 포함됨.

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

• 만X고400개라더니 700개 ㄷㄷ
• 웨XX2테렌스 타오를 포함한 수학자들이 이러지 말자고 공개서한까지 보냈는데 그냥 지좆대로 구는구나
• 0X이러지말자 (AI 지원 끊는건 반대하면서)
• IXXXXXX1다른 직업들 대체되는 것처럼 수학자도 똑같이 되고 있는건데 그들만 특별대우할 순 없지
• 웨XX2수학자들 대체되는게 문제가 아니라 수학 연구에서는 결과보다 과정이 더 중요하다는게 공개서한의 핵심이었음. 이런류의 수학 난제가 당장 풀지 않으면 안되는 부류의 문제도 아니고.
• IXXXXXX1앞으로 과정도 잘 설명하도록 개발한다고 공개한 내용에 써 있음
• 아XXXXXX지결국 아직 구현 못한거잖음AI를 학술적으로 활용하기 시작한 것과 거의 동시에 지적된 점이 AI가 도출해낸 과정을 인간이 알 수 없다는 건데몇년동안 명확한 해결책을 발견 못한 문제가지고 개발방향을 그렇게 잡겠다고 발표하는게 뭔 의미임과정이 없는 증명은 아무런 쓸모가 없음...
• IXXXXXX1ai가 아직 못한다에서 이제 가능하다로 발전시킨게 요근래 몇년 간의 역사임.
• 아XXXXXX지가능할 것이다지 가능하다가 아니잖음?그러니 현 시점에서 수학자들의 항의서한이 그저 반AI주의자들의 땡깡으로 보는건 무리가 있다고 생각함막말로 타렌스 타오같은 인간이 AI가 증명하고 당긴다고 갑자기 실업자가 되겠음?
• 독XX간결과가 나오면 과정이 더 쉬워지지참이라는걸 염두해두고 과정을 살피면되니까
• 도X지과정이 없이 그냥 결과만 딱 발표했다는게 진짜면 이게 증명이라고 명명을 해야하는지도 모르겠는데
• 감XX옴AI가 한 증명이 과정이 빠진거니 반쪽짜리 정답이라 해야할까요??솔직히 AI는 도구라 생각해야지..
• 아X남인간이 말대꾸..?
• 슬XX벌수학자들 일자리 끊어서가 아니라 과정을 보고 공통점을 묶어서 새로운 약속을 만들어 발전시켜야 한다고.. 생각이란걸 다 AI가 해줘야 한다는 건가? 자연수 로그 지수 시그마 삼각함수 다양한 기호로 정의된 수학식이 그냥 결과만으로 나왔다 생각함?
• 축XAi 산업에 들어간돈이 경단위고 앞으로도 늘어날건데 알빠노 아님? 결국 돈 벌려고 운영하는 기업인데
• 시XXXXX웰수학자들은 자신들의 역할과 정체성을 지키기 위해 나섰던 거고그걸 AI 회사들이 반드시 받아들여야 하는 건 아니지 않아?
• 역X격지들 밥줄 지키려고 하는 말이지 ㅉㅉ
• eXXXc솔직히 말해서 뭐 어쩌자는건지 잘 모르겠음작년이나 올초까진 ai가 난제 풀 수 없다 여기던 게 수학자들이었는데 쑥쑥 풀기 시작하니 그따구로 풀거면 풀지 말라하고
• 아XXXXXX지이게 수학자들이 무지성 땡깡 부린다고 생각할 수 있는데 이유가 있음증명은 결과를 도출해내는 것 뿐만 아니라 그 결과를 도출해내는 과정이 매우 중요함 근데 오픈AI의 풀이는 이 과정이 없음수많은 가설이 증명이 아니라 가설로 멈춘 이유가 값은 도출해냈지만 이 과정을 제대로 수학적 논리로 설명하지 못했기 때문임막말로 지금 오픈AI가 하고 있는 건 쎈수학황이 답지 외워놓고 순식간에 푸는 퍼포먼스를 보여주는 거랑 본질적으로 다를바가 없음앞으로 풀이과정도 설명할 수 있도록 개발방향잡는다곤 하는데 증명과정까지 명확하게 정립해서 출력해내는 단계까지 가기 전엔 그냥 컴퓨팅 성능 차력쇼 그 이상 그 이하도 아님이럴거면 풀지 말라는 소리는 과정도 명확하게 설명못하는 증명은 학술적으로 아무런 가치가 없는거 알면서 단순히 실적 부풀리기 용으로 던지는게 보이니까 나온 소리임
• 더X이게 맞음. 증명하는 과정에서 이 논리를 왜 적용했고, 그걸 증명하고 반박한느 과정이 중요한건데그냥 우리 풀었어~ 하고 끝내는거면 진짜로 의미가 없는거임그걸 단순히 수학자들 밥그릇싸움~ 이라고 말하느게 웃김
• 수XXXXXX보풀었어 하고 끝내는게 의미가 없는거면 걍 무시하면 되는거지 무슨 서한까지 보내고 어쩌고ㅋㅋ 어떤 초딩이 나 이거 난제 풀었음~ 하고 말 같지도 않은 소리하면 걍 무시하면 되는거랑 같은 원리임. 의미없다고 발표하는거면 모르겠으나 무슨 서한을 보내고 땡깡부리고 한다는 것 자체가 본인들이 ai가 의미 있다고 인정하는꼴..... 뻔히 밥그릇 싸움인게 보이는데 아니라고 우기는게 웃김
• 스X키ㄹㅇ 과정이 정말 중요하면 지들 하던거 계속 하면 되는데 혀가 길어 ㅋㅋ
• eXXXcMy opinion is that it is probably most damaging to the academic community to prolong keeping them in the dark about what has been resolved internally... just release things asap... those that really care about the results will be fine to dig through slop writing
• eXXXc“내 생각에는, 내부적으로 이미 해결된 게 무엇인지 학계에 계속 알리지 않고 깜깜이 상태로 두는 것이 오히려 학계 에 가장 큰 피해를 줄 가능성이 크다. 그냥 가능한 한 빨리 공개해라. 그 결과에 정말 관심 있는 사람이라면, 글이 좀 엉성하고 난잡하게 작성돼 있더라도 직접 파고들어 살펴보는 데 별문제 없을 것이다.”위 트윗은 OpenAI에서 일하는 직원 트윗인데, 난 저 생각에 동의함, 접근한 내용을 일단 공유하는게 꽁꽁감싸고 있는 것보단 낫지 않나
• 아XXXXXX지가열차게 연구하고 있는 학자한테 참고하기도 힘든 수학적 문법도 제대로 갖춰지지 않은 상태로 풀이과정이 개발새발적어둔 채로 답만 띡 던져주면 그게 진짜 학계를 위한 일일까?