hotai.news
AI 快讯 / 日期归档

2026-08-17
AI 快讯日报.

2026-08-17 收录的 20 条 AI 快讯,按采集时的来源记录回看。消息仍需核对原始发布页。

这期内容仍需回到原始发布页核对。

03快讯

AI video market has bounced back from Sora's false start

AI production companies like Promise are setting up shop around Hollywood's historic studios, using real-time backgrounds and other AI tools to cut film costs. Netflix already uses AI in 300 of its 1,000 titles, and the startup Higgsfield now carries a $5.4 billion valuation. What was once a tech demo has grown into its own industry, complete with valuations, job titles, and fights over who gets a cut.

来源链接可在原站核对查看原文 ↗
07快讯

MathCode:内置数学形式化引擎的终端 AI 编程助手

MathCode is a terminal AI coding assistant with a built-in math formalization engine. Give it a math problem in plain language and it will automatically convert it into a Lean 4 theorem and attempt a formal proof — with a persistent Lean REPL, reusable theorem and axiom libraries, agentic proving, and an Obsidian knowledge graph.

来源链接可在原站核对查看原文 ↗
14快讯

DeepSeek 发布 DeepSeek Harness 开发者预览版:MIT 许可的智能体框架,一切皆插件

DeepSeek released DeepSeek Harness v0.1 in developer preview and published the full source code under the MIT license. The project ships as dsh at deepseek-ai/deepseek-harness. A harness is the layer between a model and the environment it acts in — the tools, files, sandboxes, and control loop that let an agent keep working. DeepSeek frames it as Agent = Model + Harness. Most harnesses hard-code that layer: the agent loop, the tool registry, and the session store are fixed, and extension happens only at whatever hooks the authors exposed. Harne

来源链接可在原站核对查看原文 ↗
16快讯

豆包"工作任务"模式上新:支持手机远程操作电脑

据介绍,完成授权后,用户在豆包手机端也能远程接管电脑,执行桌面端未完成的任务,或是启动新任务,并实时接收进度提醒。另外,豆包会在本地电脑环境中获取文件上下文,处理文档、图片、代码、表格等资料,并完成更复杂的电脑操作。

来源链接可在原站核对查看原文 ↗