Filtering for "Repost"

• 27 Apr, 2026 GPT, 에르되시 문제 한 번에 증명 2026-04
• 26 Sep, 2025 챗GPT, 수학자에게 위협이 될까
• 29 Aug, 2025 Why Lean 4 replaced OCaml as my Primary Language
• 17 Feb, 2025 AlphaProof, AlphaGeometry, ChatGPT 그리고 신경-기호적 AI의 미래 2024-07
• 26 Feb, 2024 당신과 당신의 연구