AI 수학 발전의 역사

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