Park, Geon (re-st)
[Whoami]
[CV]
🌙
27 Apr, 2026
GPT, 에르되시 문제 한 번에 증명 2026-04
26 Sep, 2025
챗GPT, 수학자에게 위협이 될까
29 Aug, 2025
Why Lean 4 replaced OCaml as my Primary Language
06 Aug, 2025
Seed-Prover
17 Feb, 2025
AlphaProof, AlphaGeometry, ChatGPT 그리고 신경-기호적 AI의 미래 2024-07
01 Jun, 2024
AFL이 동시성을 관리하는 방식
26 Feb, 2024
당신과 당신의 연구
#AFL
#AI-Answer
#Blog-Project
#Bookmark
#Diary
#Discovery
#Essay
#Explanation
#How-To
#Info
#Invited-Lecture
#Lecture-Summary
#Memo
#Outdated
#Paper-Summary
#Record
#Repost
#Solution
#Talk
#Tool-Introduction
#Weekly-Writing
#대수학
#대학원
#이산수학
#정보보호대학원-세미나
#조합론
#진로
#최적화
#확률론