AI与数学

国内高校近期有关ChatGPT撰写论文的现象引起关注，学术期刊如《暨南学报》和《天津师范大学学报》发表声明，明确不接受使用大型语言模型的论文，要求在引用时提供详细论证。九派新闻进行测试显示，ChatGPT在某些情况下能生成及格论文大纲，但理工科论文中的AI痕迹较难察觉，审稿人难以识别伪造数据。教师郑忠明建议通过提问来辨别，并认为目前ChatGPT无法替代创造性工作。虽然AI工具带来便利，但在学术诚信和创新性上仍存在挑战。

这篇文章主要讲述了数学家陶哲轩使用ChatGPT解决数学问题的经历和对其能力的观察。他发现ChatGPT在某些情况下能提供接近正确答案的解题提示，这让陶哲轩开始尝试将其作为研究工具，并认为AI在处理特定领域的问题上具有灵活性和发散思维的优势。陶的观点引发了学术界的讨论，有人担忧AI可能会影响同行评审，但也有人期待AI能带来新的数学猜想或证明方法。此外，陶本人还在探索将机器学习应用于实际问题解决的可能性，例如预测火灾变化。

微软新必应的聊天机器人Bard面临压力，因能更好地处理复杂问题和数学，以及即将推出的编码功能，展现出与谷歌Bard的竞争优势。意大利禁止ChatGPT后，德国也考虑限制其使用，而微软小引擎如DuckDuckGo等已开始反击，推出自家聊天机器人以抢占市场份额。尽管必应市场份额有所增长，但追赶谷歌的路仍艰巨，需要同时应对大敌和背后的小竞争者。搜索引擎争相升级以应对ChatGPT带来的挑战，而微软正试图通过利用现有数据遏制竞争对手。

谷歌推出了新型聊天AI Bard，用户在申请后无需等待便可体验。Bard在情绪理解和事实性上表现出色，甚至在某些数学问题上超越了GPT-4。谷歌CEO强调快速上线是为了收集反馈以改进产品。然而，Bard依赖于LLM，可能会出现偏见或不准确的回答，它被定位为交流和创造力工具而非搜索引擎，用户可访问其候补名单页面以尝试。