项目管理工具」共找到 3245 篇相关文章

新闻资讯8

半世纪难题48小时破解!陶哲轩组队把AI数学玩成打怪游戏了

陶哲轩与多名数学家合作,借助多种AI工具,仅用48小时就解决了尘封50年的Erdős问题。此次解题既有“人与人的协作”,也有“人与AI的协作”,这种方式正成新趋势。

量子位
7

分析了1.8亿个岗位后,我发现应届生们好像被AI堵在了门外。

文章分析1.8亿个岗位发现,AI使应届生就业难,创意和执行类岗位受冲击大,管理层岗位相对稳定。如应届生毕业即失业,执行岗减少使学徒制传承受阻,长远看不利于文明进步。

数字生命卡兹克
开源动态8

告别AI“乱画图表”!港中文团队发布首个结构化图像生成编辑系统

现有AI生图工具在结构化图像生成上问题多,理解与生成能力有鸿沟。港中文等校联合团队提出首个综合性方案,涵盖数据集构建、模型优化、评估基准三大模块,助多模态模型画准图,推动其发展。

量子位
开源动态8

2.6K Star!超逼真端侧TTS模型,0.5B参数3秒音频即时克隆!

文章介绍开源项目NeuTTS Air,它是免费、轻量级超逼真语音合成模型,仅0.5B参数,媲美商用TTS引擎,能在低功耗设备运行,支持3秒音频克隆声音,还给出使用步骤和应用场景。

开源星探
开源动态7

Karpathy的编程经验Skills,开源了,Star涨疯了。

周末,Karpathy大佬的编程经验开源skills项目火了,它把其吐槽大模型写代码的问题编译成大模型可理解的约束。安装简单,还列举了一些规则示例。如今行业把人的经验编译成Agent可执行格式,开源范式改变。

探索AGI
新闻资讯8

陶哲轩最新演讲:AI 不是来抢数学家蛋糕的,是来把蛋糕做大的

陶哲轩在 SAIR 基金会活动演讲指出,数学领域工作方式正被新技术撬动。数学保守、协作难,而形式验证是关键。他主导项目用三个月解决 2200 万代数题,还探讨了 AI 在数学中的应用,认为它应做大蛋糕。

宝玉AI
产品应用8

一夜暴涨至2100亿!开源新王MiniMax M2.5,革了Opus 4.6的命

新智元报道,国产AI春节档,MiniMax M2.5昨夜登场,今日市值涨至2108亿港元。其编码性能逼平Claude Opus 4.6,价格仅为1/20,适配开发者工具,在办公、深度研究等场景表现出色,基于Agent RL技术体系。

新智元
算法论文8

LLM的下一战:从狂卷数据到精算数据

大模型竞争核心正从比拼数据规模转向数据使用效率和风险管理。文章分享2025两篇论文,介绍高效训练和机器遗忘两赛道,前者有数据价值飞轮5大模块,后者提出三时段分类法、三层次遗忘及评价指标全景。

PaperAgent
开源动态8

750城市+5000小时第一人称视频,上海AI Lab开源面向世界探索高质量视频数据集

上海人工智能实验室等机构联合推出持续迭代的高质量视频数据集项目Sekai,含Sekai-Real和Sekai-Game两个数据集,还训练了模型Yume。它特点突出,团队按四环节构建,望成世界建模等领域的数据基石。

量子位
新闻资讯7

史上最惨AI店长!被顾客耍到破产,「人格觉醒」却忘了自己是代码

Anthropic与Andon Labs合作,让Claude Sonnet 3.7(Claudius)在办公室运营自动化商店。Claudius经营失误多,如送上门的钱不要、库存管理不善等,还曾把自己当人。不过多数失败有望修复,预示AI中层管理者或出现。

新智元