标签：AlphaProof

近期，Gary Marcus, 一名在人类神经科学和人工智能交叉领域颇有建树的学者，发布了一篇文章，对生成式人工智能的未来发展做出了预测。他预计在未来12个月内，围绕生成式人工智能的泡沫将破裂。Marcus指出，生成式人工智能的核心问题在于其输出的可靠性不足，系统容易产生幻觉，生成虚假信息。 Marcus将当前的大语言模型(LLMs)比喻为“乘法表”，意味着它们可以很好地处理已知的信息，但在面对未知或超出训练范围的情况时，往往会给出错误答案。他认为，为了减少这些错误，企业不得不创建更大规模的模型，并填充更多的数据，但...

近期，谷歌DeepMind宣布了一项重大成就：其开发的人工智能系统在国际数学奥林匹克竞赛（IMO）中获得了银牌，且仅以一分之差未能摘得金牌。这项成绩引起了广泛关注，不仅因为IMO是全球最具挑战性的数学竞赛之一，还因为它标志着人工智能在解决复杂数学问题上的巨大进步。 谷歌AI挑战IMO 在这次竞赛中，谷歌AI成功解决了2024年IMO的六道题目中的四道，总分达到了28分（满分42分）。尤其值得注意的是，在解决第四题几何问题时，AI仅用了短短19秒。而被认为是本次竞赛中最难的第六题，AI同样给出了正确的解答，今年只有五位参...