수학과 AI 26 Sep, 2025 [category] 1 min read 챗GPT, 수학자에게 위협이 될까 2023-06 AlphaProof, AlphaGeometry, ChatGPT 그리고 신경-기호적 AI의 미래 2024-07 (외부 유튜브 링크) The AI that solved IMO Geometry Problems | Guest video by @Aleph0 Seed-Prover, IMO 금메달 수준 2025-08 GPT, 에르되시 문제 한 번에 증명 2026-04 Unit Distance Problem - AI가 깬 에르되시 추측 2025 #Info << Previous Post | Next Post >> ← 뒤로