Van
dabang
통장이 텅장이라 보상금도 다이어트
빚은 저희가 졌지만 고통은 임업계 몫입니다
한국 이슈
AI 수학 발전의 역사
15
80
메인
목록
댓글 15
발전속도 비교하는데 어떤건 발표모델기준이고 어떤건 미발표모델기준이고.
으아 •
수학난제는 확실히 ai가 잘 푸네물리난제는 ai로는 무리임 이론은 몰라도 관찰증거가 필요하기때문에
ㅇㅇ •
수학은 공리계 위에 쌓아올려진, 이를테면 거대한 퍼즐맞추기 같은 거임
ㅇㅇ •
바둑도 그렇고 이렇게 규칙이 명확한 "게임"은 확실히 AI가 잘하는 듯.
ㅇㅇ •
수학적 증명은 뭐다? 인간 이성의 심오한 발견, 모델의 정합성 x"계산력" "더 많은 토큰"
솔그 •
밀레니엄이 왜해결되는거임?현대 수학자들이 모든 툴을 갖다써도 안풀리는거아녓어?기계들은 어찌푸느거임??
ㅇㅇ •
사람 머가리론 불가능한 수준의 정보량을 처리할 수 있는 능력이 필요했는데 그게 ai는 가능해서 풀리는거라 카더라
ㅇㅇ •
주요 문제들 풀리는 거 보면 하나같이 계산량이 애미뒤져서 “이걸 사람이 풀 수 있었을까”라는 생각이 드는 게 많음. AI가 안 나왔으면 이런 계산으로 밀어부쳐야 하는 난제들에 시간 쏟는 천재들이 많았겠지. 그런 천재들이 낭비할 시간이 사라졌으니, 가속… 해야겠지?
ㅇㅇ •
나비에 스트로크 방정식 정도는 니가 유체역학 공부했으면 한 번은 무조건 들어봤을텐데.
ㅇㅇ •
나비에 스트로크 문제는 수학자들이 풀던거 훔쳐가서 지들이 푼거마냥 했다며 ㅋㅋㅋ 걍 레전드 회사임
ㅇㅇ •
밀레니엄 문제 풀었다 하면 사실상 게임종료 선언인데 눈깔 돌아갈만 해 돈이 대체 얼마나 왔다갔다 하노
ㅇㅇ •
Ai 얘기만 나왔다 하면 화난 애들이 왜케 많이 보이는걸까...1. Ai가 '뭘 했다는 것 자체'가 꼴보기 싫은걸까2. Ai가 뭘 했다라고 '기뻐하는 사람들'이 싫은걸까3. Ai는 뭘 하는데 자기는 아무것도 안하는 백수인데 '기계가 딸깍으로 성과를 낸다'는게 심술나는걸까
ㅇㅇ •
맨날 실마리 찾았다, 난제 풀었다 ㅇㅈㄹ하는 "국내연구진"보다 확실함?
ㅇㅇ •
쿨찐들이 예전에는 특이점은 안온다,와도 몇백년 뒤에나 온다,오기전에 온난화로 망한다,근들갑이다,특이점은 공상과학소설이다 이러더니지금은 특이점을 부정하는게 아니라 특슬람을 욕하는거다,특이점이 와도 전유물일것이다로 태세전환 해버렸네...슬슬 올때가 됐나봄..
ㅇㅇ •
특갤만 거르면 부자된다 나는 21년도 특갤에서 ㅈㄴ까던 팔란티어 만주사서 5천주 팔고 5천주는 관망중ㅋㅋ
ㅇㅇ •
댓글작성