从信任到验证：精益对数学的影响 · HackerLangs