陶哲轩用AI证明数学猜想实乃误读，但数学界仍大受震动
陶哲轩用AI证明数学猜想实乃误读，但数学界仍大受震动著名数学家陶哲轩刚刚结束了一项持续了近两年之久的、重要又艰辛的工作——彻底解答高维空间里的单瓷砖平移周期性覆盖的问题——一个关联数理逻辑（图灵机）和高维离散几何的难题。
来自主题: AI资讯
3985 点击 2024-01-10 14:30
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
著名数学家陶哲轩刚刚结束了一项持续了近两年之久的、重要又艰辛的工作——彻底解答高维空间里的单瓷砖平移周期性覆盖的问题——一个关联数理逻辑（图灵机）和高维离散几何的难题。
实话说，“Ajax”没有“AppleGPT”好听。1950年，计算机科学之父艾伦·麦席森·图灵首次提出了“机器思维”的相关概念，正式引出人与AI这段复杂关系。
2023探索大会上，产学界领军人物汇聚一堂围绕数字技术赋能社会经济发展、AI大模型前沿趋势展开了一场深刻的探讨。
这两天，有关开源的话题又火了起来。有人表示，「没有开源，AI 将一无所有，继续保持 AI 开放。」这个观点得到了很多人的赞同，其中包括图灵奖得主、Meta 首席科学家 Yann LeCun。
开源模型正展现着它们蓬勃的生命力，不仅数量激增，性能更是愈发优秀。图灵奖获得者 Yann LeCun 也发出了这样的感叹：「开源人工智能模型正走在超越专有模型的路上。
GPT-4无法通过图灵测试！UCSD团队研究证明60年前AI在测试中打败了ChatGPT，更有趣的是人类在测试中的胜率仅有63%。
专门为AI设立的IMO国际奥林匹克数学竞赛来了—
本文讨论了人工智能的进展速度，并认为进展速度并不快，而是比较慢。作者提到图灵测试2.0的重要性以及人工智能在商业领域的应用挑战。文章还讨论了人工智能发展对经济体系和个人生活的影响。
自从AI诞生，它对人类的赋能和其对社会危害的讨论一直是并行的，正是因其双刃性，科技圈的各种大佬对AI的态度也是大相径庭，甚至可以说，AI成为了有史以来让科技圈态度最为割裂的话题之一。
关于「AI灭绝论」引发的一系列争论，各路大佬们又吵起来了。这次加入争吵的是著名人工智能学者、斯坦福大学计算机科学系教授吴恩达。