Another peaceful day in mathematics.
AI가 수학 난제들을 해결하는 방식을 두고 수학자들의 반발과 AI 기업의 입장 차이가 극명하게 갈리고 있습니다.
수학적 문제 해결의 본질과 알고리즘 최적화의 가치에 대해 토론하는 가운데, 일부 사용자들 간의 비난 섞인 댓글이 오가고 있습니다.
진짜 타격은 내 딸이 '아빠, 이제 조언 구할 필요 없어요. 그냥 ChatGPT한테 물어보면 돼요'라고 말할 때 올 거야.
우리 딸들은 인터넷이 뭔지도 몰라. 그냥 내가 모든 걸 다 안다고 생각함
일단은 말이지
아빠GPT
딸이 너한테 직접 말하진 않겠지만, 네가 대체됐다는 사실을 너 스스로 알게 될 거야
아빠, 이거 어떻게 고쳐? 아빠: ChatGPT한테 물어봐
구글 도덕성(Google Morals)이라는 사고 실험이 있는데, 꽤 끔찍한 시나리오야. 우리가 인간관계나 정치, 영적인 조언을 LLM한테 구한다고 상상해 봐. 본질적으로 가장 뻔하고 인사팀(HR)이 좋아할 만한 조언만 내놓는 그런 거 말이야.
형이 300개의 난제를 해결하고 최종 보스를 만났네: 바로 수학자들이 증명을 검증하는 단계지
나머지 조디악 암호도 풀면 그때 알려줘.
문제는 AI가 이 문제들을 풀긴 했지만, 문제를 해결하기 위한 새로운 기법이나 아이디어를 만들어내지는 못했다는 거야. 그래서 수학자들에게는 큰 가치가 없어. 문제의 본질에 대한 통찰을 얻지 못하니까.
AI 기업과 수학자들 사이에는 의도의 불일치가 있어. AI 기업은 수학 난제를 모델의 성능 지표로 보지만, 수학자들은 난제를 아직 완전히 이해하지 못한 수학 세계의 일부로 보거든. 수학자들이 문제를 풀 때 의도하는 건 이전에는 없었던 새로운 이해를 얻는 거야.
AI는 기존 기법들을 수학자들이 이전에 생각하지 못한 방식으로 사용했어. 그 자체로 가치가 있는 거지.
AI가 수학 문제를 풀면 안 된다는 그들의 주장을 실제로 이해한 사람 있음?
Peer Reviewer 2가 AGI한테 첫 실존적 위기를 안겨주겠네.
요점을 잘못 짚고 있네...
우리가 다양한 알고리즘 기법을 가진 이유는 모든 걸 브루트 포스로 해결하는 게 불가능했고 시간이 너무 많이 걸렸기 때문이야... 그래서 바로 이런 문제에 알고리즘 최적화가 필요한 거지...
이제 브루트 포스 알고리즘조차 순식간에 끝낼 만큼 빠른 기계가 있다고 상상해 봐... 일반적인 용도로는 완전히 괜찮겠지만, 사람들이 문제를 해결하기 위한 다른 방법을 연구하는 데 자금을 지원할 필요성을 못 느끼게 될 거야... 수학은 이보다 한 단계 위라고... 이건 해결책에 관한 문제가 아니라, 그 문제를 해결하는 데 사용된 방법론을 과학과 공학의 다른 분야에 적용하는 것에 관한 문제야.
혹시 이거에 대한 예시 있어?
AI에게 75kg짜리 닭을 처리하는 방법을 물어본 사용자의 엉뚱한 질문에 대한 커뮤니티의 유머러스한 반응들.
AI에게 75kg짜리 닭을 처리하는 방법을 물어본 사용자의 엉뚱한 질문에 대한 커뮤니티의 유머러스한 반응들.
llama.cpp가 무대에 등장한 것에 대한 커뮤니티의 다양한 반응을 담은 포스트입니다.
llama.cpp가 무대에 등장한 것에 대한 커뮤니티의 다양한 반응을 담은 포스트입니다.
최근 AI 업계에서 Claude가 OpenAI를 압도하고 있다는 밈에 대한 커뮤니티의 반응입니다.
최근 AI 업계에서 Claude가 OpenAI를 압도하고 있다는 밈에 대한 커뮤니티의 반응입니다.