谷歌推数学几何模型Alpha Geometry 解题能力接近奥数金牌选手
站长网2024-01-18 14:39:421阅
谷歌推出了新的面向数学几何领域的模型 Alpha Geometry,数学几何能力已接近人类奥林匹克金牌选手的水平。特别值得一提的是:它的训练是基于合成数据而不是现有的数据。
它训练的方式很有特别:先初始生成了十亿个随机几何图形,并全面分析了每个图形中点和线的所有关系。AlphaGeometry 找出了每个图形中所有的证明,并反向追溯出为得到这些证明所需添加的额外几何元素(如果有的话)。
按照谷歌的说法,AlphaGeometry 结合了神经语言模型和符号演绎引擎的优势,形成了一个神经符号系统。这个系统能够共同工作,为复杂的几何定理找到证明。就像“快速思考和慢速思考”理论中所述,一个系统快速提供“直觉”式的想法,而另一个则负责更谨慎、理性的决策。
语言模型擅长快速识别数据中的常规模式和关系,能够迅速预测可能有用的结构,但它们通常缺乏严谨的推理能力和解释决策的能力。而符号演绎引擎则基于正规逻辑,使用明确的规则来得出结论。这些引擎是理性的、可解释的,但在单独处理大型复杂问题时可能显得“慢”且不够灵活。
简单来说就是大语言模型快速思考提出各种可能(包括幻觉)——大胆假设,推理引擎负责慢思考对快速思考的结果进行推理验证——小心求证。
具体到下图这样的一个几何题的例子,大语言模型提出方案,推理引擎验证,验证不通过就继续改进方案或者提出新方案,直到找到最终解决方案。
这无疑将为未来人工智能的发展,尤其是对于解决大语言模型幻觉和语料不足的问题提供新的思路。
0001
评论列表
共(0)条相关推荐
Adobe Firefly正式公测 可一键生成艺术文字
Adobe此前推出的人工智能绘画工具Firefly(萤火虫)已经正式开放公测了。Firefly是Adobe推出的一种人工智能绘画工具,它包含全新的创意生成AI绘画模式,可以生成图像和艺术字体效果,用户可以用它创作出独特、令人惊叹的艺术作品,如插图、海报、标志、字体等等。Firefly的功能非常强大且灵活,能够为用户提供更多的创意想法,并以更高的效率实现用户的创作梦想。站长网2023-05-24 10:17:160003Midjourney最新V6版本引争议 生成画作被指涉嫌版权侵权
概要:-Midjourney最新版本更新引发用户抱怨,称其文本生成结果过于相似于已知版权艺术品。-描述了艺术家ReidSouthen通过指定关键词测试后,发现生成的图像与多部电影中的场景几乎一模一样,并因此遭到Midjourney的封禁。-争议引起AI研究者GaryMarcus的关注,他表示Midjourney可能使用高分辨率的版权图像进行训练,但公司尚未回应。0000OPPO:基于AndesGPT大模型的新小布1.0公测开启
今天,OPPO宣布启动基于AndesGPT大模型的全新小布助手的第一轮公开测试。新的AndesGPT大模型通过4位量化技术,可以在不影响精度的前提下,实现在端侧的逐步部署和性能优化。AndesGPT大模型是由OPPO旗下的安第斯智能云团队打造,是一种基于混合云架构的生成式大语言模型。它融合了中文对话数据的持续学习、指令精调、人类反馈强化学习和知识增强等关键技术。站长网2023-10-11 17:16:390000ResumeBuilder:91% 的公司希望雇用懂得 ChatGPT 的员工
根据ResumeBuilder最新的研究,91%的公司想要雇用了解ChatGPT的工作者。企业领导人表示,这个AI聊天机器人可以提高生产力,节省资源并提供支持。站长网2023-05-12 20:27:020000微信整治短视频信息内容导向不良问题 严重违规将从严处置
微信发文称,为贯彻落实中央网信办统一部署,进一步促进短视频领域规范发展,自即日起,微信将开展为期一个月的“清朗·整治短视频信息内容导向不良问题”专项行动。专项行动期间,平台将重点治理短视频传播虚假信息、错误观念,展示不当行为等突出问题,对于问题严重的违规不良信息及账号,将依据相关法律法规、平台规则从严处置。0000