AI学科教育

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

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