샤인 카지노 메뉴

수학자들이 난제 푸는 ai한테 화내는 이유

작성자 정보

  • 14 POyO 작성
  • 작성일

컨텐츠 정보

본문

1145445903 65308404 600x9831145449362 dc7422f0 600x606

 

함께 안내: 온라인카지노

관련자료

댓글 35

졸려요님의 댓글

  • 16 졸려요
  • 작성일
검증하는게 실적으로 남는것도 아니니... 현타오긴할듯?

이름이이름인이름님의 댓글

  • 41 이름이이름인이름
  • 작성일
어지르는 사람 따로 있고, 치우는 사람 따로있냐!이건가

돌로레스님의 댓글

  • 57 돌로레스
  • 작성일
난 싸지를게 검증은 너네가 해~ 이러면 개꼴받긴 하겠네

오뒷세이아님의 댓글

  • 51 오뒷세이아
  • 작성일
심지어 진짜 풀었다는 검증해야할 모델은 미공개 내부 모델이라고 접근 조차 못함 ㅋㅋㅋ그러니 진짜 ai만으로 한건지 알수도 없음이런데 수학자들이 ai가 자신만의 힘으로 풀었는지는 지금은 검증을 할수 없으니 알수 없다하면뭔 되도 안한 지식 독점이나 기득권 다툼이니 개소리부터 함

구굴님의 댓글

  • 35 구굴
  • 작성일
넌 아까부터 계속 헛다리 짚는 소리만 하냐

푸른그림자님의 댓글

  • 34 푸른그림자
  • 작성일
모델이 아니라 수학 증명을 검증해야 하는데 그건 다 공개하지.

maru7178님의 댓글

  • 13 maru7178
  • 작성일
AI 만으로 풀었는지 검증하는게 아니라 AI 의 수학적 증명이 맞는지를 검증하는거임

달달구리님의 댓글

  • 19 달달구리
  • 작성일
ai야 고딩도 알아먹을 수 있게 검증해줘

늒네와쪄염님의 댓글

  • 46 늒네와쪄염
  • 작성일
쌀숭이한테 쌀도 안주고 도정하고 남은 쌀겨만 치우라고 시킨거네 ㄷㄷ

부분과다른전체님의 댓글

  • 74 부분과다른전체
  • 작성일
lean을 통해 검증했다고 하니 맞겠지. 그런데 수학을 한다는 것은 증명만이 끝이 아니라 그것을 달성하는데 이루는 과정과 증명 가운데 나누는 대화 논의까지를 포함하는데 gpt가 딸깍하고 답만 내놓으니까 문제인 거.

오뒷세이아님의 댓글

  • 51 오뒷세이아
  • 작성일
lean은 주어진 규칙 안에서 논리적으로 맞는가를 확인 해주는 거라서 그게 맞다고 증명 된거 아님

부분과다른전체님의 댓글

  • 74 부분과다른전체
  • 작성일
컴파일 과정에서 sorry 없이 된다면 증명 맞을걸?

푸른그림자님의 댓글

  • 34 푸른그림자
  • 작성일
Lean 증명은 수학자들도 증명이 맞다고 인정하는 최종단계로 아는데 아님?

LazyPizza님의 댓글

  • 18 LazyPizza
  • 작성일
lean 으로 증명해도 증명과정에서 코드가 맞는지 확인하는게 저 수학자들이라 lean 으로 증명했다 해도 인정 받을려면 몇년씩 걸림

sjw3ur님의 댓글

  • 20 sjw3ur
  • 작성일
ㅋㅋㅋㅋ 결국 리뷰어들 부담만 존나 늘어난 상황.

부분과다른전체님의 댓글

  • 74 부분과다른전체
  • 작성일
지금과 같은 속도면 검토 불가능이지 ㅋㅋ

구찌입어도구제가되는마법님의 댓글

  • 18 구찌입어도구제가되는마법
  • 작성일
그래서 AT필드 쓸수있는 공식 언제해결됨

손흥민날두페이커님의 댓글

  • 51 손흥민날두페이커
  • 작성일
수학문제는 아름답니 뭐니 철학이니 뭐니 온갖 쌩쑈 근들갑떨며 올려치기 하다가컴퓨터로 기계적으로 다 풀리니 화난거지 뭐 ㅋㅋ

한식사랑나라사랑님의 댓글

  • 11 한식사랑나라사랑
  • 작성일
그게 핵심이 아니긴한데

단풍두부님의 댓글

  • 19 단풍두부
  • 작성일
뭘 말하는지 들을 생각이 없으면 의견도 내지 않는게 좋을텐데

그뉴스마스님의 댓글

  • 13 그뉴스마스
  • 작성일
넌 좀...

시계광님의 댓글

  • 57 시계광
  • 작성일
심지어 내가 열심히 바나나 껍질 다 까놨는데 OAI가 낼름 바나나만 호로록함 ㅋㅋㅋ

짱구조아님의 댓글

  • 23 짱구조아
  • 작성일
ai가 응 다 풀었어~ 하면 끝나는게 아니라, 수학자들이 모여서 이새끼 논증에 헛점이 있는지 검증하고 증명해야 해서 짬때리는거 좆같다는 뜻

골목양조장님의 댓글

  • 18 골목양조장
  • 작성일
물리학자들은 좋아할거 같은데.. 어서 하루빨리 통일장도 제발.

스크랩용임님의 댓글

  • 26 스크랩용임
  • 작성일
옛다 먹어라

스팅어님의 댓글

  • 53 스팅어
  • 작성일
이미 ai 기계적으로 지능 대체가 가능하다고 경험적으로 모두가 느끼고 있는 상황에서 오는 기존 관습과 가치관의 충돌 같음. 받아들여야지 모두가. 이제 지능은 인간 고유의 산물이 아님.

끵끵끵~님의 댓글

  • 28 끵끵끵~
  • 작성일
이거때문에 오픈소스 생태계도 지금 난리임ㅋㅋ ai slop검증하는데 지쳐서 장기휴가가고 그러던데

97님의 댓글

  • 38 97
  • 작성일
AI가 이미 바나나 껍질도 치우고 있음그리고 AI가 진짜 다 치우게 되는 날 수학자는 그냥 존재 이유가 없어짐

일본시골왜노자님의 댓글

  • 10 일본시골왜노자
  • 작성일
대신 문제만드는 놈들은 필요할껄?물론 그것도 AI가 더 발전하면 어쩔지는 몰라도

스프링클님의 댓글

  • 10 스프링클
  • 작성일
이해가 쌀쌀 되잖아

비무니님의 댓글

  • 88 비무니
  • 작성일
근데 이번 발표도 고등과학연구소랑 협력했다는 말도 있고AI기업이랑 협력한 수학자들을 배신자 취급하는 사람들도 있고풀었다고 숨기지만 말고 공개를 해라. 내가 풀고 있는 난제가 풀렸는 지 아닌지 모르는 체 불안하게 있고 싶지 않다. 라는 목소리도 있었음.즉 수학자들도 갈린 상태.공개 바로 해라 VS 신중히 해라이미 공개 안 한다고도 욕 먹는 중이었음.그러니 이번엔 싹 공개하고, 다음부턴 왜 여기에 이 풀이를 썼는지도 더 꼼꼼 출력하게 하겠지 싶음.그리고 난제 증명이 시간이 걸리는 건 맞는데 린으로 형식화하면 거의 맞았다고 봐도 된다고 하더라.나비에 스톡스도, 밀레니엄지정한 연구소가 최소 2년 검증기한을 뒀지만 증명된 것으로 보인다고 이미 발표함.그냥 아예 새로운 시대로 진입중임.

무명9999님의 댓글

  • 21 무명9999
  • 작성일
개발자들이 지금 하고 있는걸 이제 수학자들이 하는구만.AI가 수백줄 짜주면 그게 실제 동작하는지 리뷰하고 테스트하는 건 인간이다 이말이야~

스팅어님의 댓글

  • 53 스팅어
  • 작성일
매번 똑같은 댓글 쓰는데 개발 쪽이 넘쳐나는게 오픈소스고 코드라 빠르게 대체된거지. 이제 다른 직업들도 위험함. 근데 본인들만 모르더라. 자기들이 하는 일은 다른 줄 앎ㅇㅇ

비무니님의 댓글

  • 88 비무니
  • 작성일
요즘 대체 위협 받는다는 직업들도 1,2년전 개발쪽어서 하던 말을 똑같이 반복하는 모습을 보면....뭔가 묘함.여러분들이 이 분야를 제대로 모르셔서 그런데, AI는 아직 XX를 못 해서 완전 대체는 힘들어요. 100개 능력 중에 80개 대체 한 게 대단하긴한데, 남은 20개. AI 발전이 빨라도 이거는 정말 어려워서 최소 5년에서 10년은 남은듯?이러다가 빠르면 1년 사이에, 15개쯤 더 대체되고 인간만이 아직 가능한 거 한 10개 추가하고 AI 적극적으로 써서 기존 방식 새로 뜯어고치겠지.개발쪽은 2,3년 시간이라도 있었지. 수학은 몇개월만에 변화되는 게 너무 크니 반발이 더 심한듯.

구구클러스터링님의 댓글

  • 36 구구클러스터링
  • 작성일
Lean 증명 된거면 사실상 증명 완료된거라 봐도 됨.즉 바나나 껍데기 치우는 것도 이미 AI가 다 하는 중임
목록
회원가입 정보찾기
미니게임