ChatGPT在数学中的惊人突破？大数学家陶哲轩的实验与思考
文章讲述了数学家陶哲轩使用ChatGPT辅助解决数学问题的实验，并分享了他通过这种方法发现ChatGPT在数学中的一些潜在能力，如接近正确答案的解题和处理不同语言概念的能力。他的这一举动引发了学术界的讨论，AI在数学研究中的应用引发关注，同时AI自动证明定理的技术也在不断发展实用化。
文心一言诗词测试：能否理解古意？一问一惊叹
测试显示，百度文心一言在古诗词能力上尚可，但对具体问题的理解不够准确，需要用户清晰输入指令。在后续的尝试中，当指令明确后，其能正确响应并画出诗句头两行，显示出一定的图像理解功能。
ChatGPT遇难题，数学之难揭示AI局限？人机协作，科技未来的关键？
北大数学难题难倒ChatGPT-4，揭示AI在数学求解上的局限，强调数学知识对科技发展的重要性。未来，人机协作应是科技进步的关键方向。
ChatGPT4.0数学大挑战：能过几关？素数证明，看它如何飞跃！
文章《ChatGPT4.0数学证明能力测试：进步与局限》探讨了ChatGPT4.0在数学证明方面的进步和挑战。作者设计了七道不同难度的素数无限性证明题目来测试其证明水平，从易到难包括反证法、二次剩余理论等复杂概念。尽管GPT4.0相比3.0有明显提升，如能灵活应用概念和构造矛盾，但在关键证明，如Dirichlet定理和无理数表示上，它显示出理解不足和错误，比如在二次剩余理论的运用上出现问题，以及混淆基本概念。作者提醒误解ChatGPT思维能力的人，这些测试题目都是经典问题，如果能轻易找到答案，说明其并非真正独立思考。