Sherrel Dorsey talks about trading “proving yourself” for “being yourself,” building community with purpose, and why she believes the future of tech will be about saving lives and the planet.后 B 面：谢瑞尔·多尔西 (Sherrell Dorsey) 首先出现在阿斯彭研究所 (Aspen Institute)。
For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry
新研究发现ChatGPT-5.2可以生成原始数学证明，引入“vibe-proving”作为一种新的人工智能推理方法。人工智能加速了发现，但人工验证仍然是必要的。 VUB 数据分析实验室的研究人员报告称，商业语言模型可以产生原始的数学证明。在他们的研究中，团队表明 OpenAI 的大型语言模型 ChatGPT-5.2 (Thinking) [...]
