SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics
이 논문은 초중력 해(supergravity solutions) 및 기타 xAct 기반의 물리학을 기계 검증이 가능하고 실행 가능한 코드로 변환하여, AI 에이전트가 복잡한 이론적 결과를 높은 정확도로 자동 코딩, 검증 및 확장할 수 있는 에이전트 워크플로우를 가능하게 하는 Mathematica 패키지인 SolutionsX를 소개한다.