https://news.mrlatte.net/p/openai-ai-math-manuscripts/라떼군 뉴스ko2026-10-07T22:40:00+09:00OpenAI, AI가 쓴 수학 논문 722편을 GitHub에 공개했다. Lean 문서가 붙은 묶음은 372개 중 235개다https://news.mrlatte.net/p/personal-agent-protocol/라떼군 뉴스ko2026-10-07T14:45:00+09:00AI 에이전트에게 정문을 열자: Sierra와 Meta의 Personal Agent Protocol