AI与数学

ChatGPT 热度不减，OpenAI 持续拓展其能力，竞品不断涌现。ChatGPT 的数学能力是短板，但最近更新提升其 '真实性' 和 '数学能力'。这将使其在知识管理方面有更大的潜力。然而，数学能力仍然有待提高，且升级后 ChatGPT 的脾气可能变得暴躁。虽然目前还没出现杀手级用例，但未来6到12个月将带来实验的爆炸式增长。LaMDA可能是ChatGPT最大的竞争对手之一，它在对话技巧方面比ChatGPT更出色。谷歌也正在测试其AI技术，以确保其有用且安全，并期待尽快与外部分享更多经验。

百度3月16日发布大语言模型文心一言，并演示了其在文学创作、商业文案创作、数理推算、中文理解和多模态生成等领域的应用能力。文心一言可以准确回答事实性问题，如《三体》作者、电视剧角色扮演者等。然而，在现场展示环节使用的是录屏，而非实时操作。百度股价在发布会后遭遇大幅度下跌，其A股ChapGPT概念股持续攀升。李彦宏表示，“文心一言”并不完美，但市场需求必须推出，用户可以体验产品，并期待效果提升。国内多家大型机构已经发布或准备发布自研的类似模型，市场竞争将空前激烈。

这篇文章主要介绍了数学家陶哲轩使用ChatGPT辅助他进行数学研究的过程，并讨论了这个过程的优点和缺点。陶哲轩认为，尽管ChatGPT在处理特定数学问题时可能不够准确，但在其他方面具有优势，例如可以更灵活地处理输入、具有发散的思维方式等。此外，他还分享了他的一个研讨会，展示了机器学习如何帮助证明定理，并讨论了人工智能在解决实际问题方面的可能性。总的来说，这篇文章强调了AI在数学研究中的潜力和挑战。

微软新必应面临压力，其优势在于能处理多步推理和数学问题，以及即将推出的编码功能，而意大利已禁止ChatGPT，德国也有考虑。尽管谷歌在应对竞争时遭遇意外，但微软正通过推出聊天机器人和反击小型搜索引擎如DuckDuckGo等来提升市场份额。这些小引擎利用必应的搜索信息作为竞争优势，而微软试图通过使用其索引来限制他们。这一战斗揭示了互联网搜索领域的复杂性和小引擎的困境。