AI가 양자중력 계산을 다시 검증해 오류를 찾았습니다. 학계의 노동은 어떻게 바뀔까요?

AI 요약

E. O. Kahya는 공동 저자로 참여했던 두 논문(2007년 *Physical Review D* 논문과 2008년 논문)의 인플레이션 중 양자중력 계산을 Claude Opus 5.5로 다시 점검했습니다. 대상은 드시터 공간에서 질량이 없고 최소 결합된 스칼라장에 대한 중력자의 1루프 보정과, 그 보정이 스칼라장의 늦은 시간대 운동 방정식에 미치는 영향입니다. 저장소와 함께 제출한 논문 초안은 이 과정을 재현 가능한 계산 자료와 단계별 유도 과정으로 공개합니다.

계산을 나눈 방식

두 논문의 계산은 18개 작업과 9개 단계로 나뉩니다. 각 단계에서 앞선 결과와 논문에 명시된 정의, 규약을 입력으로 삼았습니다. 점검 대상인 논문의 결과식은 유도 과정이 끝난 뒤 비교했습니다. 일반적인 시공간 차원 D를 유지하며 지표 계산을 기록했고, 분석적 유도와 별도로 SymPy와 mpmath를 이용한 코드 검산을 수행했습니다. 전체 검산 스크립트는 38개이며, 저장소에는 실행 방법과 기대 출력도 들어 있습니다. 작성자가 보고한 마지막 전체 실행에서는 Apple 실리콘 Mac에서 10분이 걸렸고 모두 통과했습니다.

발견한 오류와 유지된 결론

저자는 기존 계산에서 전체 부호 오류와 비해석적 항의 누락, 상수 항의 오류를 발견했다고 보고합니다. 이 수정 사항은 재규격화된 스칼라 자기질량에 영향을 주지만, 수정된 자기질량을 사용하고 Paper II의 단순화 과정(II.44)을 적용하지 않아도 늦은 시간대 모드 함수에는 유의미한 1루프 보정이 없다는 결론은 유지됩니다. 논문 두 편에서 찾은 오탈자 23개도 별도로 나열했습니다. 전체 항을 직접 합산한 검사에서는 임의의 점 쌍을 대상으로 30자리 정밀도 계산을 수행했고, 수정 사항 두 가지를 함께 적용했을 때 논문의 표와 일치했다고 설명합니다.

검증 범위와 남은 작업

저자는 결과를 분석적 유도와 코드 검사로 구분하며, 코드의 수치 검사가 유도를 대신하지 않는다고 밝힙니다. 표의 전체 합을 비교한 일부 검사는 몇 개의 임의 점에서 수행한 수치 검사이지 기호적 항등식이 아닙니다. Paper I 부록의 미분 추출 과정도 처음부터 전부 다시 유도하지 않았습니다. 예시 행과 표의 합계를 확인했지만, 추가적인 국소 항이 생기지 않는다는 점은 완전히 증명하지 못했다고 적었습니다. 늦은 시간대 비감소 항의 상쇄는 k의 10차까지 정확히 확인했고, 그 이상은 수렴급수 논증에 의존하며 전 차수 증명은 없습니다. 초기 상태에 따라 감소하는 항의 계수도 달라집니다.

Reddit 반응

• @Chivita2 — README를 읽어 보셨나요? 먼저 이 감사를 수행한 사람은 2007년 논문을 Woodard와 함께 쓴 E. O. Kahya입니다. 그는 실제 물리학을 수행하며 이론적 틀을 만들고, 드시터 인플레이션의 경계 조건을 정하고, 처음부터 파인만 규칙을 도출하는 데 수년을 썼습니다. 20년 뒤 자동화 도구로 본인 논문을 감사하는 일은 물리학을 처음 발견하는 일과 인지적으로 전혀 다릅니다. 둘째, 이건 자율적으로 10시간 만에 해낸 기적이 아닙니다. Kahya는 전체 계산을 18개 작업, 9개 단계로 직접 구성하고, 각 단계에 정확한 경계 조건을 넣었습니다. Claude는 주로 SymPy와 mpmath 스크립트를 조율해 텐서 대수와 30자리 정밀도 계산을 교차 검증했습니다. 셋째, 핵심 물리 결과는 그대로 살아남았습니다.
• @Belostoma — AI 도움을 받아도 어려운 일은 여전히 많고, AI 없이는 사실상 불가능한 일도 많습니다. AI를 잘 쓰는 연구자라면 그 어려운 일에 AI를 활용하는 모습이 지금 학계의 노동일 겁니다. AI가 대신할 수 있는 일을 계속하는 사람도 많습니다.
  • @emb1ues — 한동안은 인간 체스 그랜드마스터와 당시 최고 체스 엔진을 함께 쓰면 사람만 쓸 때보다, 엔진만 쓸 때보다 나았습니다. 지금 학계도 그 단계라고 생각합니다. 하지만 지금은 매그너스 칼슨과 최고 엔진을 같이 쓰는 것보다 엔진만 쓰는 편이 낫습니다. 학계도 그렇게 될 거라고 개인적으로 봅니다.
• @Connect_Accident_567 — 두 가지를 구분할 필요가 있습니다. 1년간 손으로 계산한 일은 기계가 낸 10시간짜리 결과가 맞는지 판별할 수 있는 사람도 만들어 냈습니다. 이 저장소가 믿을 만한 이유는 누군가 양자중력에서 오류가 어떻게 생기는지 이미 알고 있기 때문입니다. 학계가 느린 계산에 자금을 대지 않으면 검증 능력도 사라지고, 아무도 확인하지 못하는 결과만 늘어날 수 있습니다. 노동은 유도식을 만드는 일에서 결과를 인증하는 일로 옮겨갈 수 있습니다. 그 인증자를 누가 훈련하고 비용을 댈지가 진짜 질문입니다.
• @Slow_Lion_4178 — 제목은 오해를 부릅니다. Claude는 논문을 감사했고 오류를 몇 개 찾았습니다. 일부는 한계와 미해결점 항목에서 검토와 반론이 가능하다고 적었습니다. 하지만 이 작업은 감사이지 재유도가 아닙니다. 터키인 연구자가 처음부터 수행한 일을 Claude가 한 게 아니므로 10시간 주장은 사실과 다릅니다.
• @R_Duncan — 요점은 오류를 찾아냈다는 겁니다.
  • @Senc-baner — 물론 오류를 찾았죠. 계산을 SymPy로 옮겼고, SymPy는 기호 계산을 검증하는 결정론적 도구니까요. 뭐가 그렇게 놀랍다는 건가요? 저도 최소 5개월 동안 Claude로 이런 일을 했습니다. 원래 과학자가 모든 줄을 직접 SymPy에 썼다면 그 사람도 오류를 찾았을 겁니다. 수학 증명을 Lean 4에 옮겨 검사하는 것과 같습니다.
• @zomgmeister — 과학자는 좋은 질문을 던지는 사람이 될 겁니다.
  • @pleasedontPM — 기계의 어느 부분을 망치로 두드려야 하는지 아는 것에 1달러, 그 지점을 아는 데 999달러를 받는다는 오래된 농담과 거의 같습니다. 연구 분야를 아는 과학자는 훨씬 나은 질문을 던집니다. 수학 결과가 갑자기 쏟아진 건 중요한 질문을 찾으려 수십 년간 다듬었기 때문입니다. 기존 질문들이 해결되면 과학자가 새 질문을 만들어야 합니다.
• @AnswerGrand1878 — 학계에 있지만 제 일이 꼭 쉬워지거나 한가해진 것 같지는 않습니다. 새 모델로 대단한 일을 할 수는 있지만, 그걸 읽기 쉬운 논문으로 정리하는 일은 어렵습니다.
• @ionetic — 충분히 검증되지 않은 연구가 많고, 철회해야 할 정도로 오류가 있는 논문도 있습니다. 이런 점검은 긍정적인 발전입니다. 한편으로 새로운 연구를 할 물리학자가 남아 있을까요?

원문: Reddit / 번역·요약: Trawling