GPT-5赌对了：OpenAI数学家揭秘AI证明背后的真实赌局

OpenAI两位数学家马克·塞尔克与梅塔布·索万尼在a16z播客中，从埃尔德什开放问题、单位距离猜想等具体案例出发，解析GPT-5为何能在数学证明中做出接近人类专家的"正确下注"，以及它为何比人类更擅长从错误路径中抽身重...