如何增强大语言模型的推理能力将时间转换为准确性一直是业内研究的重点，数学能力是比较好实现通过自动结果判断从而让语言模型自我进化的一个方向。
deepmind 上周推出了 alphageometry，这是一款能够解决复杂几何问题的人工智能系统，其表现水平可媲美人类奥林匹克数学竞赛的金牌得主。 在一个包含 30 个奥林匹克级几何问题的基准测试中，alphageometry 在规定的时间限制内成功解决了 25 个问题，超越了之前解决这些问题中 10 个的最先进系统。 相比之下，人类金牌得主平均能解决 25.9 个问题。
alphageometry 结合了神经语言模型的预测功能和基于规则的推理引擎来找出凯发k8娱乐官方网址的解决方案。 它还采用了一种生成大量合成训练数据的方法——1亿个独特实例，使其能够在不依赖任何人类示范的情况下进行训练。 这解决了人工智能系统在处理几何和数学等复杂问题时常遇到的数据短缺问题，这些问题由于缺乏推理能力和训练数据而难以解决。
原创文章，作者：校长，如若转载，请注明出处：https://www.yundongfang.com/yun277700.html
微信扫一扫不于多少！
支付宝扫一扫礼轻情意重
https://u.jd.com/dabbyyr https://u.jd.com/d67yrpi openai o1 可以通过复杂的任务进行推理，并解决比以前的科学、编码和数学模…
unriddle：ai 论文写作工具 y combinator 支持的研究工具，旨在加速研究人员和学生阅读和撰写研究论文的过程，提供 ai 辅助的信息检索、内容理解和写作功能，支持…
clockwise：基于 ai 的日历工具 clockwise 是一个基于 ai 的时间管理日历工具，旨在通过智能调度帮助个人和团队更高效地管理时间。 它能够像魔术一样工作，为团队…
tolan：人格化的 chatbot 一个友好的小外星人，你可以和他谈论任何事情，他甚至可以帮助你想象你的想法。看起来支持类似实时语音能力，小外星人的形象也可以自定义非常可爱
阿里开源支持视频理解的多模态 llm qwen2-vl 国内现在还没有特别好的多模态闭源模型尤其是支持视频理解的，阿里这就开源了。不过最大的qwen2-vl 72b 没有开源，只开…
一亿上下文长度的 llm：ltm-2-mini magic 发布了一个具有 1 亿 token 上下文的模型 ltm-2-mini。1 亿 token相当于大约 1000 万行代码…
open ai 新的推理模型已经训练完成 高质量合成数据的重要性再一次被证明。 open ai 的逻辑是使用一个足够庞大且非常不经济的推理模型（strawberry）生产优质合成数…
packpack：保存和收集内容 ai 整理 packpack是一个为用户提供一键保存网页内容的浏览器扩展插件。用户可以通过扩展按钮快速保存页面、捕获帖子、通过悬停图片气泡保存图片…
meta 如何微调： 关注有效数据集 meta ai 团队关于如何微调 llm 的第三篇文章，主要探讨如何通过精细化数据集来提高大型语言模型（llms）的性能，包括全参数精细化（f…
polymet ：ai 生成前端界面 yc 投了一个类似v0 的前端代码生成项目 polymet。 这个比 v0 多了很多很实用的功能对设计的还原也很好。 自定义主题色、字体、圆角…
advancedliveportrait：自定义面部表情动画 live portrait 被玩出花了。advancedliveportrait 这个插件可以让你手动编辑人脸图片的表…
fluxgym：flux lora 训练工具 fluxgym：一个非常简单的傻瓜式 flux lora 训练工具。最低只需要12g显存就可以训练。后端还是用的kohya脚本。使用方…
replit 发布了 ai 编程工具 replit agent replit 发布了 ai 编程工具 replit agent。这玩意太强了，对于编程零基础的人非常有用。 clua…
project sid：1000 个 agent 组成的社会 这玩意太强了。一千个 agent 在《我的世界》游戏里自主运行和发展： 会根据领导人的不同发展出不同的社会政策。 发现…
我们非常高兴地宣布，广告意向条状标签这一最新的意向驱动型搜索广告格式即将发布。继广告意向链接和广告意向锚点链接获得成功之后，广告意向条状标签的推出让您有更多方式来展示与用户高度相关…
vmware虚拟机保姆级部署fnnas飞牛私有云 准备下载： 1、https://support.broadcom.com/group/ecx/productdownloads?s…
respired：社交媒体批量管理 一个针对初创企业的 ai 驱动的社交媒体管理平台，通过分析、内容创建、多渠道调度和性能分析等功能，帮助企业高效地管理社交媒体， 多渠道社交媒体管…
morphic studio：为创建受控视频做的 ai 视频平台 morphic studio 包括 canvas 和 compose 功能，canvas 是一个全面的故事板和生成…
deep live cam：单图实现实时直播换脸 前几天引起人们对 ai 写实能力警惕的另一个项目，只需要一张图片就可以实现实时的直播换脸。 从演示来看角度大的话还是会穿帮，另外换…
figure 发布 figure 02 人形机器人 figure 上周发布了 figure 02 人形机器人，他们说这是世界上最先进的 ai 硬件。2023 年 2 月他们就完成了…
flux 的周边生态发展迅速 前段时间由于 sd3 的问题，开源的图片生态发展一度停滞，值得关注的新项目和模型几乎没有。 flux 上周发布后这个态势被快速改变了，由于其优秀的图片…
napkin：文本转换为信息图表 napkin ai 是一个将文本内容转换为视觉图像的工具，旨在通过生成图表、流程图等视觉元素来加速和提高业务故事讲述的效果。 使用 napkin …
trellis ai：从非结构化内容中提取数据 trellis ai 引擎能够将复杂的数据源，如金融文档、电话和邮件，高效地转换成结构化的 sql 格式，以便数据和运营团队使用。 …
sparkle：用 ai 自动整理文件 使用 ai 创建独特的文件夹系统，并将每个新文件（以及所有旧文件）整理到正确的位置。它可以管理您的下载、桌面和文档文件夹。 &…
clapper app：ai 剪辑工具 非常强的网页端 ai 生成和视频剪辑工具。接入了 ai 视频需要的各种 api，包括图片生成、llm、语音生成、音乐生成、视频生成。时间轴直…
