13,920개 노드 기반 Graph Search를 통한 수학적 증명 자동화 시스템 구축
I built a system that discovers math proofs by treating them as graph search
I built a system that discovers math proofs by treating them as graph search
Why Hybrid Metaheuristics Still Beat “Smarter” AI in Real-World Optimization
500개 브로커 대상 Playwright 기반 자동 Opt-out 시스템 구축