OpenAI Yang-Mills 증명 검증 중, NASA Swift 임무 종료

OpenAI 모델이 만든 1147쪽 분량의 증명을 검토하는 물리학자 5명이 정확성을 확인하기 전에는 공개하지 않겠다고 밝혔습니다. 수학자들이 조기 공개를 요구했지만 검토진은 증명의 복잡성이 "엄청나다"며 받아들이지 않았습니다.

검토진은 먼저 증명을 Lean으로 형식화해 검증한 뒤 분석 결과를 과학계에 제출할 계획입니다. 증명이 옳다고 확인되더라도 입증되는 것은 Yang-Mills 이론의 존재뿐입니다. 밀레니엄 문제 상금에 필요한 질량 간극 문제는 해결되지 않습니다.

20년 임무 마친 Swift

NASA는 Swift 망원경의 과학 관측 운용을 종료한다고 발표했으며, 조만간 궤도에서 내리는 작업을 준비하고 있습니다. Katalyst가 추진한 민간 구조 임무는 견인선 Link가 관측선에 도달하지 못해 실패했습니다.

현재 Swift처럼 감마선 폭발을 추적할 수 있는 운용 중 망원경은 없습니다. SVOM은 부분적인 대안에 그칩니다.

ISS Zvezda 에어록 폐쇄

국제우주정거장(ISS)에서는 Zvezda 모듈의 후방 에어록이 영구 폐쇄됐습니다. 미세한 균열로 공기가 새는데 이를 막을 수 없기 때문입니다. 앞으로 Progress 화물선은 다른 포트에서 짐을 먼저 내린 뒤, 정거장 궤도를 높이기 위해 Zvezda로 옮겨집니다.

Zvezda 모듈은 2000년부터 운용돼 왔으며, 이번 결함은 ISS의 노후화를 보여줍니다.