实测AI软件证明欧拉和公式：进步显著，但仍不可靠
劳伦斯伯克利实验室研究员David Bailey实测ChatGPT、DeepSeek、Gemini和Claude证明欧拉和公式的能力。尽管模型较两年前有显著进步，但均存在代数错误、引用虚假公式、依赖发散级数及缺乏严谨性验证等问题。结论是目前AI尚无法胜任严肃的数学研究辅助工作，需警惕其“一本正经胡说八道”的风险。
Davidhbailey
David H. Bailey，数学家与计算机科学家，BBP 公式的共同发现者，关于数学、计算与科学。