For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry
新研究发现ChatGPT-5.2可以生成原始数学证明，引入“vibe-proving”作为一种新的人工智能推理方法。人工智能加速了发现，但人工验证仍然是必要的。 VUB 数据分析实验室的研究人员报告称，商业语言模型可以产生原始的数学证明。在他们的研究中，团队表明 OpenAI 的大型语言模型 ChatGPT-5.2 (Thinking) [...]
The Causal Inference Playbook: Advanced Methods Every Data Scientist Should Master
使用 Python 掌握六种高级因果推理方法：双重稳健估计、工具变量、不连续性回归、现代双重差分、异质治疗效果和敏感性分析。包括代码和实用的决策框架。因果推理手册：每个数据科学家都应该掌握的高级方法一文首先出现在走向数据科学上。
