AI与数学

数学家陶哲轩尝试使用ChatGPT辅助解决数学问题，发现尽管其解答不完全正确，但接近答案且能通过搜索引擎快速找到线索，这使得AI在某些数学研究中作为工具具有灵活性和发散思维的优点。他的做法引发了学术界对AI在数学领域的应用和影响的讨论，也展示了AI在证明定理和自动形式化方面的新进展。

谷歌发布了名为Bard的新AI助手，其用户无需等待长时间即可申请候补名单。经过实测，Bard在情绪表达、事实性及部分数理能力上表现出色，甚至能超越GPT-4早期版本。谷歌CEO皮猜哥迅速上线Bard以获取用户反馈并改进产品。尽管Bard存在可能因信息偏见而产生不准确回答的问题，它展示了多轮对话和创造力潜力，且是Google搜索引擎的补充而非替代品。有兴趣者可访问官网体验。

北京大学数学学院研究员韦东奕挑选了国际数学奥林匹克竞赛中的三份标准答案，其中两名大学生的解答获得认可，这表明年轻人在解决难题上展现潜力。尽管有学生在比赛中遇到困难，专家田刚也提到人类大脑在特定任务上有优势，但AI的进步引发对这一领域未来发展的讨论，年轻一代将承担探索之责。

微软评估GPT-4影响，关注其对人工智能及人类的影响。通过研究，GPT-4展示了强大的通用智能能力，如高阶推理、创造力和专业知识应用，但数学运算存在局限性。OpenAI的研究显示，AI可能重塑大量职业领域，降低劳动成本并创造新的就业机会。微软认为这标志着计算机科学范式转变，但也强调其早期版本并不完美。ChatGPT的兴起引发了对AI未来趋势的深入探讨。