陶哲轩的First Proof第二轮评测结果出炉：10道研究级数学难题中，AI解出7道达到发表标准的答案，最低成本仅8美元/题。其中一套AI系统还给出了人类从未想到的原创解法。不过陶哲轩认为整体表现未达预期，第三轮已安排上。