内容栏目

AI技术文章

分享不同 AI 工具、模型与相关技术的使用方法和实践文章。

45年数论猜想被GPT-5.2 Pro独立完成证明,陶哲轩:没犯任何错误

45年数论猜想被GPT-5.2 Pro独立完成证明,陶哲轩:没犯任何错误(在新窗口打开)

AI证明数学猜想,这次来真的了。 OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。 论证过程经菲尔兹奖得主陶哲轩验证成立,还被评价为“迄今为止最明确的第一类结果(AI主要贡献)”。 这道题是埃尔德什问题库中的第281号,由传奇数学家保罗·埃尔德什(Paul Erdős)与罗纳德·格雷厄姆(Ronald Graham)于1980年共同提出,涉及同余覆盖系统与自然密度的深层关系。 45年来,这道题一直静静躺在问题库里,等待解答。 直到2025年1月17日,一位名叫Neel Somani的研究者把这道题扔给了GPT-5.2 Pro。 证明只用到GPT 5.2 Pro 埃尔德

AI技术文章
0
Coze Skill 速通教程:一文学会 Skill 设计方法

Coze Skill 速通教程:一文学会 Skill 设计方法(在新窗口打开)

你可以卖自己的 Skills 了。 扣子 Coze 支持了 Skill 功能,用户可以在平台上自由创建并使用自己的 Skills。 还上线了技能商店,你做的 Skills 可以上架,让别人直接用。 可以选择免费对外,也可以设定收费,给 Skills 创作者新的变现机会。之前写 Agent Skills 文章时,还只能在本地电脑上用 Skills,现在也算有了新选择。 为了让更多人能上手创作 Skills,这篇文章将会为你带来: 1.以扣子技能商店为例,能想到做哪些 Skills? 2.Coze Skills 的差异:与 Claude Skills 的区别和适用场景 3.怎么设计一个好 Skil

AI技术文章
0
机器人终于「懂」家务了!伯克利MomaGraph让机器人像人一样做家务

机器人终于「懂」家务了!伯克利MomaGraph让机器人像人一样做家务(在新窗口打开)

想象这样一个日常画面:你吩咐家用机器人「烧壶开水」,它却当场卡壳——水壶在哪?该接自来水还是过滤水?先插电还是先按开关?水开了又该如何判断?这些对人类而言像呼吸一样自然的家务,对过去的机器人却是大大的难题:要么忘了插电,要么找不到水壶,甚至会把柜门把手错当成开关一通乱按。

AI技术文章
0
VerseCrafter:给视频世界模型装上4D方向盘,精准运镜控物

VerseCrafter:给视频世界模型装上4D方向盘,精准运镜控物(在新窗口打开)

视频世界模型领域又迎来了新的突破! 复旦大学与腾讯 PCG ARC Lab 等机构的研究者们提出了 VerseCrafter,这是一个通过显式 4D 几何控制(4D Geometric Control)实现的动态逼真视频世界模型。它不仅能像「导演」一样精准控制运镜,还能同时指挥场景中多个物体的 3D 运动轨迹,为视频生成引入了物理世界维度。 自 Sora 问世以来,视频世界模型(Video World Models)成为了 AI 领域最热门的研究方向之一。我们希望 AI 不仅能生成视频,更能理解和模拟真实的物理世界。然而,现有的视频模型往往面临一个核心困境:视频是在 2D 平面上播放的,但真实

AI技术文章
0
开源8300小时标注数据,新一代实时通用游戏AI Pixel2Play发布

开源8300小时标注数据,新一代实时通用游戏AI Pixel2Play发布(在新窗口打开)

来自 Player2 的研究员们提出了 Pixel2Play(P2P)模型,该模型以游戏画面和文本指令作为输入,直接输出对应的键盘与鼠标操作信号。在消费级显卡 RTX 5090 上,P2P 可以实现超过 20Hz 的端到端推理速度,从而能够真正像人类一样和游戏进行实时交互。P2P 作为通用游戏基座模型,在超过 40 款游戏、总计 8300 + 小时的游戏数据上进行了训练,

AI技术文章
0

参与交流

查看 AINRK 交流群说明

了解加入交流群的方式,阅读内容无需登录。

查看交流群说明(在新窗口打开)