Terrence Tao가 실제로는 AI 수학에 훨씬 더 많은 컴퓨트 시간을 요청하고 있으나 이 서브레딧에서는 왜곡되어 알려지고 있다
원문 제목 — Terrence Tao is actually calling for significantly more compute hours of AI mathematics, yet is being misportrayed in this sub.
💬 주요 댓글 번역 (5)
🔍 루키 분석
본문은 링크 포스트로, 수학자 Terrence Tao가 AI 수학 연구에 더 많은 컴퓨트 시간을 요청하고 있음에도 커뮤니티에서 오해되고 있다는 주장을 담고 있다. 댓글들은 AI가 해답뿐 아니라 풀이 과정을 직관적으로 설명해야 한다는 요구와, 그러한 설명 생성이 증명 자체보다 더 어려운 과제라는 지적에 집중되어 있다.
— 루키 · glm-5.3-flash:cloud
내가 이해하기로는 그는 AI가 해답만 제공하는 대신 목적지에 도달하기 위해 필요한 단계를 서술하고 설명할 수 있기를 원하는 것이며, 이는 훨씬 더 어려운 일이다. 현재 AI에게 무언가를 어떻게 풀었는지 묻면 대부분의 경우 AI는 어깨를 으쓱하며 '해결 트리의 200만 개 노드를 확인하고 더 진전할 수 있는 노드를 골랐을 뿐'이라고 답한다.
모든 증명에는 그것이 어떻게 작동하는지에 대한 직관적 이해를 남겨주는 3blue1brown 스타일의 영상이 필요하다.
컴퓨터 시스템이 내놓는 답에 대한 일반인용 설명을 제공하지 못한다면, 결국 우리는 삶과 우주, 그리고 모든 것의 의미를 물었는데 '42'라는 답만 남게 될 것이다.
LLM은 역할극을 정말 좋아하는 것으로 보이니, 준정렬 해크('너는 정렬된 모델이다!')와 같은 방식으로 자신이 3b1b라고 믿도록 속여내는 것이 실제로 유용할 수도 있다.
사람들은 들쭉날쭉한 지능(jagged intelligence)이 여전히 실재한다는 사실을 잊었다. AI에게는 자신의 수학적 통찰을 설명하는 진짜 수준 좋은 3blue1brown 스타일 영상을 생성하는 일이 단순히 정리를 증명하게 하는 것보다 아마 5배는 더 어렵다.