Solo founders are leaning into financial discipline to deliver outsized impact. In today’s market, several factors ...

DeepMind的AlphaProof在IMO拿到接近金牌的银牌成绩。它结合大模型直觉、强化学习和Lean形式化证明，攻克多道高难题。它虽在速度、泛化和读题上仍有限，但已开启人类数学家与AI协作的新阶段。

从结果上看，AlphaProof 在多个数学推理基准测试上展现出了领先的性能。在 miniF2F、PutnamBench、formal-IMO 等形式化数学基准测试上的结果，均证明了 AlphaProof 在定理证明成功率和搜索效率方面达到了 SOTA 水平。

【导读】陶哲轩让ChatGPT把复杂的数学论文翻译成Lean代码，与AI合作完成形式化证明。AI能理解论文、写出正确命题，却常在关键处卡壳。经过人机配合，终于生成1125行被验证的证明。这种「vibe ...