수학과 AI 26 Sep, 2025 [category] 1 min read 챗GPT, 수학자에게 위협이 될까 2023-06 AlphaProof, AlphaGeometry, ChatGPT 그리고 신경-기호적 AI의 미래 2024-07 Seed-Prover, IMO 금메달 수준 2025-08 GPT, 에르되시 문제 한 번에 증명 2026-04 #Info << Previous Post | Next Post >> ← 뒤로