【速報】韓国ネット「OpenAIが数学の難問を解いたってマジ？」、未公開AIの数学論文722本公開に数学者も議論

722개나 공개했으면 검증은 누가 했는지부터 봐야지 오픈만으로 동공지진이

필즈상 <– 역대급 물로켓 ㅠㅠㅠ GPT한테는 덧셈뺄셈 수준 ㅋ

좆간은 컨디션 관리, 밥먹고 똥싸고 잠도 자야되는 생물학적 단점이 많은 반면 전기만 있으면 딸깍으로 안쉬고 문제만 푸는 ai가 인간을 뛰어넘는건 당연한 수순임

요약 : 수학자들도 슬슬 본인들 밥그릇이 걱정되어 러다이트를 선동하고 있다

수학자들 밥그릇 위험하니까 수학이라는 학문의 본래 목적 이지랄ㅋㅋㅋㅋㅋㅋ

수학계는 그토록 열망하던 지식이 풀렸으니 누구보다 기뻐해야 하는 집단 아님?

아무튼 풀었다노 하는거라 다시 확인해야함

논문 내서 지원금 빨아먹어야 되는데 자기들 대에 해결되면 안되제 ㅋㅋㅋㅋㅋㅋ

발전하려고 수학 문제 푸는건데 방해하는 거임? 병목은 역시 닌겐 ㅋㅋ

인간은 완전히 성장하기 까지 30년이 걸리는데 기계는 3년 안에도 되노

수학자들이 없어지면 아 다르고 어 다른 ai의 수학적 논증을 어떻게 검증하냐

그거 검증하는 것도 ai가 할거암

AI의 수학적 논증 검증은 사람의 눈과 직관에 의존하는 것이 아니라 Lean과 같은 수학적 형식 검증 시스템(Determinstic Proof Checker)에 의해 완벽하게 자동 검증되므로, "사람 수학자가 없어서 감증하지 못한다"는 전제 자체가 성립하지 않습니다. 즉, "AI가 제출한 증명 코드"를 "컴퓨터 검증 프로그램"이 돌려 100% 모순이 없음(0과 1의 레벨)을 판별하므로 자연어의 모호함이나 맹점이 개입할 여지가 없습니다.

뭐가 문제임? 수학자들도 바라던거 아니었음? 이제 자기들 밥그릇 건드니까 문제라고 하는거임?

AI딸깍

이제 곧 수학은 지능이 아니다는 말 나올듯

검증도 안하고 틀린 증명만 존나게 뽑은 다음에 증명햇다 이기

필즈상수상자 25명 ㅈㄴ 기득권이였노

AI , AGI ( X ) 차세대 계산기 ( O ) 계산기가 수학하는게 뭐가 문제임 ㅇㅇ

검증 절차란것도 웃긴게 애초 검증이란게 수학자A가 내가 이거 풀었음! 이러면 다른 수학자들이 저거 풀이 맞음? 이러면서 검토하는 과정임 대부분 검토과정에서 실수하거나 오류낸것도 있어서 걸러지기도 함. 근데 AI가 푼건 애초 풀이 뿐 아니라 검증도 AI가 자체적으로 끝낸거임ㅋㅋ문제는 인간 수학자들이 이 풀이과정을 이해를 못함ㅋㅋ수학자들이 이해를 못하니깐 검토가 안되는거고 그러니 징징대는거ㅋㅋ까놓고 말해 지금시점에서 인간 수학자들은 걍 밥버러지들임ㅋㅋ나 수학자요 꺼드럭대기만 했지 실제론 풀이과정도 이해를 못하는 애들인거

ㄹㅇ 이해를 못하는 밥버러지새끼들이 지들 권위 이용해서 밥그릇 지키는중 ㅋㅋㅋ

풀면 뭐함 그거 아닌데 한방이면 아 제가 잘못했습니다 하면서 깨갱거릴건데

옛날 학원가 입시 빅데이터 독점하고 최고급 강사들끼리 회의하면서 공략법 찾아내니까 수능공부가 평가원과 선생들의 의도가 아니라 스킬식으로 바뀌는 것과 같은 현상임. 이제 학문 전반이 인내심 싸움이냐 딸깍의 길을 찾으면 그만인 것이냐 갈드컵이 시작될거임. 허나 최종 승리자는 더 많은 자본을 가진 자임

어딜 밥그릇 독점하려고 하노 ㅋㅋ ai가 분야들 싹다 민주화 시키는중

수학자들은 왜 징징대는거임 ㅋㅋ 인류의 지식을 넓히는게 아니라 상타려고 연구하노 ㅋㅋ

동기가 사라진다 안카요 ㅠㅠㅠ

다른 영역은 이미 AI가 대체중인데 유독 수학만 발작하네 ㅋㅋㅋ 수학은 AI가 대체하면 안되는 이유라도?