AI与数学

这篇文章由Pine梦晨发表于量子位公众号，主要讨论了一位名为陶哲轩的数学家使用ChatGPT辅助解决数学问题的经历和发现。陶哲轩利用ChatGPT进行求解，并发现尽管其结果不完美但接近正确答案，这使得他能够通过AI生成的提示轻松找到传统搜索引擎的答案。陶哲轩认为AI在处理数学研究中的灵活性和发散性思维使其成为工具而非替代传统搜索引擎。他的观察引起了学术界的讨论，并促使人们思考AI如何影响论文阅读和同行评审。此外，文章还提到了AI在证明定理和自动形式化方面的发展，以及陶哲轩将机器学习应用于实际问题的尝试。

文章讲述了微软新必应面临的压力，其聊天机器人Bard在多步推理和数学问题上的优势以及意大利和德国对ChatGPT的限制，微软正通过推出聊天机器人功能反击。与此同时，小搜索引擎如DuckDuckGo、You.com等纷纷推出聊天机器人以抢占市场，尽管必应在访问量上取得增长，但与谷歌的市场份额差距仍然大。文章还指出，小引擎在索引和成本问题上处于劣势，部分转向使用微软的搜索结果，这使得微软有机会通过合作来遏制竞争对手的影响力。

Google's new language AI model, Bard, has impressed with its fast rollout and impressive capabilities. It outperforms ChatGPT-4 in emotional and factual understanding, as well as in certain numerical tasks. Google is seeking user feedback to improve it rapidly. However, the model's reliance on large language...

本文讲述了微软CEO比尔·盖茨与CTO凯文·斯科特关于ChatGPT的讨论，强调了其强大功能如撰写大学申请和重写独立宣言，但也指出其缺乏理解上下文的能力，特别是在处理数学问题时存在局限性，特别是数字问题。盖茨对人工智能自动化可能引发的失业持有乐观态度，认为这将带来生产力的提高，并促进人性化参与。