새로운 양자장론(QFT) 형식화 논문이 나왔는데, Lean/Mathlib을 사용하여 QFT를 형식화했다고 주장합니다. 저는 AI와 정리 증명이라는 뜨거운 주제에 시간을 쏟는 것을 피하려고 노력해왔지만, 이번 경우에는 많은 내용이 있습니다...