AlphaProof CodeHacker News paylaşan: ilrebHacker News paylaşım tarihi: 2026-11-10Orijinal kaynak Hacker News tartışması