학습 완료OpenAI, AI 모델로 10년 이상 미해결 수학 난제 10개 풀었다고 주장2026-08-01 23:39 · Simon Willison · 원문 보기 ↗ #ai-llm#math-reasoning#lean4근거: AI/LLM이 수학 난제를 해결했다는 연구 성과 기사로, 실무 도구가 아닌 AI 능력 트렌드 해설에 해당액션: openai/ten-proofs 저장소를 훑어보며 Lean 4 형식화 증명이 어떻게 구성되어 있는지 살펴보기