증명(100% GPT-5)은 로빈스 먼로(즉, SGD!) 유형 분석을 사용하여 주요 양의 수렴을 제어하는 놀랍도록 기발한 방법입니다. 또한 증명을 검토하기 전에 GPT-5에 시뮬레이션을 실행하여 공식이 믿을 만한지 경험적으로 확인해 보도록 요청했습니다.
이런 증명을 생각해 내고, 시뮬레이션을 돌리고, 그 모든 과정을 예전에는 한 달 정도 걸렸습니다. 하지만 지금은 오후 한 시간 만에 끝낼 수 있게 되었습니다. 관심 있는 분들은 https://t.co/IfotVApR3X의 4장 4절에서 전체 증명과 자세한 내용을 확인하실 수 있습니다. 추수감사절 잘 보내세요!