AI与数学

7 月 21 日，深圳市互联网学会举办第 23 期走访活动，考察了微品致远信息科技有限公司。公司展示了大数据、人工智能等先进技术，并介绍了 ChatGPT 前传·数据中台掘金方案。参与者纷纷表示有意向合作，讨论深入。活动得到了多家媒体和单位的支持与赞助。

本文主要介绍了斯蒂芬·沃尔弗拉姆，一位 physics、math 和 computer science 三栖天才，同时也是软件工程师和企业老板，其创办的 Wolfram Research 软件公司研发出了 Mathematica，被视为现代科技计算的起点。沃尔弗拉姆是元胞自动机的开创者和人工智能领域的先驱之一，其创立的 WolframAlpha 被誉为“谷歌杀手”。他还获得了麦克阿瑟“天才人物”奖，是最年轻的获奖者之一。ChatGPT是当今最有影响力的人工智能助手，它基于神经网络和大量文本数据，能够生成高质量的自然语言文本，甚至能理解并回答问题。然而，ChatGPT仍有局限性，例如无法保证全局的正确性和避免重复计算。

这几天，被 OpenAI 藏了几个月的大招终于被放了出来，那就是 “Code interpreter” ，代码解释器。 差友们一看这个名字，可能会觉得有点嗤之以鼻，不就是一个帮助写代码的东西嘛，类似的插件都到处都是了，你现在出来有啥用啊？ 欸！虽然它的名字是叫代码解释器，但它做的事情可不是帮你写代码。 简单来说，它相当于你和 AI 的翻译器，能把你的需求通过自然语言，翻译成可通过程序解决的具体方案。而且还给你提供了一个 100MB 大小的可上传文件空间，用来上传你需要处理的文件。 在几个月前， Code interpreter 就开放给部分的开发者试用了，其中就有博主在试用了一段时间后，发现使用了 Code interpreter 后， ChatGPT 有了质的飞升，比如现在的 ChatGPT 可以去解决非常复杂的数学问题，胡言乱语的发生率也降低了，并且更加擅长于解决实际的应用等等。 所以世超也很迫不及待的，马上登上了快一个月没上的 OpenAI 官网，看看这个代码解释器到底有多厉害。 试用代码解释器的第一步，咱们先得在 “ 设置 ” —— “Beta features” 中，打开 Code interpreter 。 然后在 GPT-4 的选择框下，选用 Code Interpreter ，这样就能顺利试用上了。 世超平时也会剪辑视频，所以在用上这个功能的第一时刻，就是让它给我剪一段视频。 世超先是上传了一段...

这篇文章介绍了计算机科学家Stephen Wolfram如何通过结合自己的知识引擎Wolfram Alpha解决人工智能助手ChatGPT在解数学题上的短板。Wolfram认为，将ChatGPT与Wolfram Alpha结合使用是最根本的解决方法，因为Wolfram Alpha本身具有强大的结构化计算能力和理解自然语言的能力。通过这种结合，人们可以更有效地利用计算机资源，实现各种目标。