←搜索结果

按匹配度 · 共 3434 条结果 清除搜索

星期六

  1. Yuchen Jin

    数学博士半年定理被 ChatGPT 秒破

    昨天看到一个视频: 一位数学博士和她的导师花了 6 个月证明一个定理。发表前,他们问了 ChatGPT。 AI 很快找到了一个更优雅的证明,用了他们从未考虑过的方法。 他们现在陷入了存在主义危机。 但数学家们不必绝望。我们在编程领域经历过这一切。现在我们离不开 AI 了。 深厚的领域专业知识 + 懂得如何利用 AI,是这个时代强大的护城河。

    Saw a video yesterday: A math PhD and her advisor spent 6 months proving a theorem. Before publishing, they asked ChatGPT. AI found a more elegant proof quickly, using an approach they'd never considered. They have an existential crisis now. But mathematicians shouldn't despair. We went through this in coding. Now we can't live without AI. Deep domain expertise + knowing how to leverage AI is a strong moat in this era.

    匹配字段正文

  2. Newcomer 新闻长文

    OpenAI 年化收入被指比报道低 200 亿美元,欧美开源模型挑战中国厂商

    《金融时报》报道称 OpenAI 向投资人展示的年化收入比此前广泛引用的 700 亿美元低 200 亿美元,原因是 OpenAI 使用净收入口径而 Anthropic 使用包含合作伙伴销售额的总收入口径;彭博社随后报道 OpenAI 预计到年底达到 700 亿美元年化收入。同期美国 Reflection 的 Beam、法国 Mistral 的 Large 4 和德国 Aleph Alpha 的 Kolibri 三款开源模型发布,均以 AI 主权为卖点对标 DeepSeek 等中国厂商,但受访投资人表示其被投企业大多并不在意开源模型的国家来源。GLM 5.3、Kimi K3、DeepSeek V4.1 等中国模型仍在 Baseten 和 Fireworks 等云平台上最受欢迎,DeepSeek 据彭博社报道接近完成由腾讯和宁德时代联合领投的 120 亿美元融资。

    Madeline Renbarger's avatar

    in Germany. All three startups were openly positioning their new models as the ones to pick if you’re concerned about AI sovereignty. Reflection’s new model enjoyed a blitz of coverage across Axios, Reuters, and Fortune, with the company press release explicitly saying it “advances the frontier for the Western open ecosystem.” Beam’s core claim is that it’s even more efficient on inference than Chinese model maker Z.ai’s highly touted GLM 5.2, though that isn’t Z.ai’s latest offering. Absent gov

    匹配字段正文

  3. a16z:News

    a16z 领投 TypeSafe AI:Jev 模型 3 天生成 1 万亿 tokens

    a16z 宣布领投 TypeSafe AI,其 Jev 模型发布 3 天即生成 1 万亿 tokens,成为其见过增长最快的模型。Jev 将模型决策以类型化数值直接交给代码,成本约为前沿模型的 1/100 至 1/500,分类任务速度提升 100 倍且精度相当,目前已有 25% 的财富 500 强企业接入。

    versation with Diogo, we found ourselves philosophically aligned with the mission behind this movement. Jev and TypeSafe as a company are much more aligned with developers ethos: pragmatic, composable, and deeply respectful of people who build. It’s a refreshing take in contrast to the rhetoric around the big labs about replacing software engineers and killing SaaS. TypeSafe believes AI is a tool that can make software more intelligent, and returns the power to the developers hands. The develope

    匹配字段正文

  4. Nathan Lambert

    Nathan Lambert:开放模型与网络安全

    @BenHayum 在 AI 出现之前也有过国家网络安全紧急事件。如果开放模型被禁,这类事件依然会有。关键在于创造合适的条件来鼓励适应,并同时给人们自我防御的工具。

    @BenHayum There have been national cyber emergencies before AI too. And there still would be if open models were banned. It’s about creating the right conditions for encouraging adaption and giving people the tools to defend themselves as well.

    匹配字段正文

星期五

  1. AWS Machine Learning

    Postman 如何在 Amazon Bedrock 上为 4000 万开发者运行 Agent Mode

    Postman 在 Amazon Bedrock 上运行 Agent Mode,为 4000 万开发者提供覆盖 API 测试、文档、发现与实现的 AI 原生工作方式。其架构将 170 多个工具按任务动态筛选至约 15 个,因为测试显示可见工具超过约 40 个后工具选择错误率上升。Agent Mode 借助 Amazon Bedrock 实现模型选择灵活性、跨区域推理、模型相关的零数据保留和多层提示词缓存,并在修改应用状态前要求用户批准。

    Postman Agent Mode opening a pull request and proposing next steps directly in the application

    luding how proactive Agent Mode should be, how it communicates uncertainty, and what baseline product knowledge it carries; A knowledge base uses a Retrieval Augmented Generation (RAG) approach. Postman has a large product surface that includes multiple request protocols, mock servers, monitors, documentation, the API Network, workspace governance, variables, helpers, code generation, request settings, and collection runs Encoding all of this in static prompts was not feasible, and most of it is

    匹配字段正文

  2. Hugging Face

    Ai2 如何为 GPU 集群设计有影响力的调度系统

    Ai2 管理着数千块 NVIDIA H100、B200、B300 GPU,集群规模从 88 到 1024 块不等,但待处理请求始终是可用算力的 2-3 倍。其原有优先级调度器导致 GPU 占坑、优先级通胀等问题,于是改为按 GPU 时间预算的层级分配机制:每个请求必须由预算资助,否则不受抢占保护,让抢占调度器按预算比例分配算力。

    on-call engineers spent a majority of their ticket response time negotiating the organized shutdown of non-preemptable workloads running on hosts with known maintenance problems. Tragedy of the commons When these problems emerged, we were slow to identify their root causes. Our initial attempts to ensure the most important work received GPU time were focused on tighter control of how priorities were set, and, ultimately, working around the priority-based scheduler by explicitly assigning GPU mon

    匹配字段正文

  3. Ai2 Blog

    Ai2 如何为 GPU 集群设计高影响力调度系统

    Ai2 用包含 GPU 时间预算、分层公平分配和时间切片契约的新系统替换了原有的优先级调度器,把各研究项目该分多少 GPU 时间的争论从逐案运维转为透明的预算流程。Ai2 管理着数千块 NVIDIA H100、B200 和 B300 GPU,集群规模从 88 到 1024 块不等,服务约 150 名内部研究员,待处理请求常达可用 GPU 的 2-3 倍。

    on-call engineers spent a majority of their ticket response time negotiating the organized shutdown of non-preemptable workloads running on hosts with known maintenance problems. Tragedy of the commons When these problems emerged, we were slow to identify their root causes. Our initial attempts to ensure the most important work received GPU time were focused on tighter control of how priorities were set, and, ultimately, working around the priority-based scheduler by explicitly assigning GPU mon

    匹配字段正文

  4. The Verge AI

    特朗普强推“super intelligence”改名,AI行业术语之争升温

    特朗普签署行政令,要求尽可能避免使用“AI”一词,改称“super intelligence”,并将坚持使用“Artificial Intelligence”的人称为“THE ENEMY”。美国AI标准与创新中心(CAISI)已更名为CAISSI,司法部新闻稿也改用该说法。文章指出,“superintelligence”一词由 Nick Bostrom 在2014年同名书中普及,本指可能超越人类思维的高级AI,而非整个AI类别,强行推广反而削弱企业用该词宣传新产品的能力,且国会与现有法律仍在使用“artificial intelligence”。

    overblown and US companies need to speed up development, including by building more data centers, which he insists contrary to polling data will be “very popular.” On top of discouraging industry self-regulation, he’s decided AI needs a rebrand by fiat. Trump declared in a rambling United Nations speech last month that “the use of the word artificial makes intelligence fake” and promised to rename the technology “super intelligence.” He then followed through with an executive order last week, fo

    匹配字段正文

  5. Figma AI / Agent / Make

    Figma Sightlines 第 3 期:如何提升团队使用 AI 的标准

    Figma 发布 Sightlines 第 3 期,聚焦如何弥合 AI 承诺与实际落地效果之间的差距。文章提出领导者不应只要求团队用 AI 更快交付,而应鼓励探索更多方向、提前处理边缘情况并打磨细节;同时建议通过同伴培训、把 AI 融入现有工作流、分享失败实验等方式推动全团队采用 AI。

    Bright blue abstract collage with organic forms, geometric blocks, and scattered dots.

    rning and experimentation a shared practice. Here are a few ways to make that happen: Create dedicated spaces for peer-led training; Bringing AI into existing team workflows; Encourage product builders to share what they’re trying, including experiments that didn’t work; Get hands-on with the tools and show your own work in progress Go deeper: The guide to building an AI-native org Worth repeating Across Leadership Collective events, here are a couple of lines that stuck with us this month: “Whe

    匹配字段正文

  6. The New Stack

    Amazon ECS 现可自动修复故障 GPU 与实例,对 SRE 意味着什么

    Amazon ECS 新增 GPU 健康监控与 Auto Repair 能力,可自动检测并替换出现硬件故障的实例。它通过集成 NVIDIA 的 Data Center GPU Manager(DCGM)识别真实硬件错误,并监控 EC2 状态检查、ECS agent 与容器运行时;在 Fargate 和 Managed Instances 上,持续失去 agent 连接的实例也会被判定为受损并回收。

    gs: a GPU throwing hardware faults that fail the tasks on an instance, an Availability Zone having a networking event, or a logging backend you depend on slowing down and quietly dragging your application with it. None of this is unusual, and none of it waits for a convenient time. What matters is what happens next, and how much of it falls to you. “Infrastructure fails; dependencies slow down, and networks partition, not as rare exceptions but as a normal condition of running at scale.” On Amaz

    匹配字段正文

  7. BBC Technology

    Anthropic 更新使用政策,禁止用户持续辱骂其 AI

    Anthropic 于周四更新使用政策,将“持续且无必要”的辱骂行为列入禁止清单,允许其工具在用户表现出“残忍”时终止对话,此前这类处理只在“罕见”情况下发生。该政策仅适用于反复辱骂的“极端情况”,不涉及常见的用户不满、反驳、黑暗创作主题或模型测试与研究,但 Anthropic 如何界定“辱骂或残忍行为”仍不明确。更新还禁止将 Claude 用于“欺骗性活动”,并明确其不得被用来“欺骗选民或扰乱选举”。

    was, external "tens of millions of dollars well spent - you never know". The Collins Dictionary meanwhile last November highlighted the re-emergence of the term "clanker" for disparagingly referring to AI tools. Used to describe robots in Star Wars games and movies since the mid 2000s, the term made its shortlist of words reflecting the mood of 2025 after last July saw many take to TikTok to share their frustrations with AI-powered machines. Some experts have also posited that being rude to AI c

    匹配字段正文

  8. The Rundown AI

    三名被解雇的 OpenAI 安全研究员公开反驳公司说法

    被 OpenAI 以不当处理敏感信息为由解雇的三名安全研究员 Tomek Korbak、Jasmine Wang 和 Mikita Balesni 发表公开信,否认相关指控,并警告此次解雇正在冷却 OpenAI 的安全文化。他们表示自己的行为均在职责范围内,其中 Wang 称其访问高管邮箱系招聘授权,并在数分钟内上报了误开的一封敏感邮件。OpenAI 对 TechCrunch 回应称解雇与提出安全关切无关,涉事者存在一系列不当行为。

    interactive dashboards and prompts into editable, animated explainers. Anthropic also launched OSS Scanner, a free service that uses its strongest models, Mythos included, to scan open-source projects for vulnerabilities and suggest fixes. The Association for Human Mathematics condemned OAI’s 700+ mathematical documents as a show of “power,” urging researchers to stop working with the company. 🎓 Highlights: News, Guides & Events That's it for today! ⭐️⭐️⭐️⭐️⭐️ Nailed it; ⭐️⭐️⭐️ Average; ⭐️ Fail

    匹配字段正文

  9. LlamaIndex 产品、工程与评测

    2026 年开发者最佳 OCR 库怎么选:Tesseract、PaddleOCR、Surya 与 LLM 方案对比

    LlamaIndex 发布 2026 年开发者 OCR 库选型指南,提出按真实输入准确率、集成复杂度和失败表现三条标准评估,而非只看干净文档上的排名。文章对比了 Tesseract(100+ 语言)、PaddleOCR(PP-OCRv4)、Surya(90+ 语言)、EasyOCR(80+ 语言)、docTR,以及 Mistral OCR、olmOCR、Qwen2.5-VL 等基于视觉语言模型的方案,并指出后者在结构化数据上存在幻觉与非确定性输出风险。

    pages across 50+ file formats, LlamaParse handles document types with mixed content without requiring retraining or a custom pipeline for each new document format. A page with a paragraph of text, an embedded chart, and a footnote table gets each element routed to the right model automatically. Where open source OCR libraries require developers to build around their limitations (preprocessing, error handling, table extraction logic), agentic OCR handles that orchestration automatically. Multiple

    匹配字段正文

  10. LlamaIndex 产品、工程与评测

    LlamaIndex 解读 Agentic Document Workflows:企业如何落地 ADW

    LlamaIndex 提出 Agentic Document Workflow(ADW)参考架构,用 Pydantic 等类型化消息连接四个阶段,让企业从“与文档对话”的原型走向全自动流程。ADW 由 VLM 原生解析引擎、知识层、Agent 编排和动作连接器四部分组成,并支持 human in the loop。合同风险分析案例中,系统夜间审查供应商合同、标记高风险条款并在合同生命周期管理系统中创建任务。

    ou do implement ADW, and when should you do so? Explore our free and paid plans today. Learn more What is ADW? 2025 is the year of agents. Since 2023, we’ve been saying that naive RAG by itself isn’t sufficient to meet enterprise needs, so we don’t need to make that case again. Instead, we want to lay out a positive vision of what real-world agentic applications look like, especially when tasked with tackling the challenges of enterprise data. Enterprise working patterns are dominated by file fo

    匹配字段正文

  11. LlamaIndex 产品、工程与评测

    2026 年最佳多语言 OCR 软件盘点:LlamaParse、Google Document AI、Azure AI Document Intelligence、PaddleOCR 与 Tesseract 对比

    LlamaIndex 发布 2026 年最佳多语言 OCR 软件盘点,对比 LlamaParse、Google Document AI、Azure AI Document Intelligence、PaddleOCR 和 Tesseract。文章指出多数 OCR 软件基于英文文档训练和评测,厂商公布的准确率往往只反映干净的拉丁字母印刷文档,转向其他语言、其他文字系统或同页混排多语言的文档时性能会明显下降。评估多语言 OCR 需关注真正的多文字系统支持、跨文档惯例的版面感知、混合语言文档处理、按语言和字段的置信度评分以及格式灵活性。

    ich is enough to run your actual multilingual documents through the pipeline and validate accuracy before committing. Google Document AI Google Document AI has strong language coverage and reliable accuracy on standard document types. It handles over 60 languages well, scales without infrastructure management, and integrates cleanly into existing Google Cloud workflows. For organizations already in the Google ecosystem processing standard forms, invoices, and identity documents in major world la

    匹配字段正文

  12. LlamaIndex 产品、工程与评测

    LlamaIndex 谈 Agent 设计模式:Workflows 如何平衡自主性与结构

    LlamaIndex 分享其对 Agent 设计模式的看法,主张在完全自主的智能体与刚性 DAG 结构之间取混合路线,并用其 Python 和 TypeScript 框架中的 Workflows 事件系统实现链、分支、循环与 fan-out 等模式。Workflows 允许由 LLM、传统命令式编程或两者结合决定控制流,并支持子智能体与 human-in-the-loop,带来可预测执行路径、更清晰的错误处理与调试等六项收益。

    , but we have some basic guidelines and examples to help: When to define structure When to provide autonomy Agentic patterns are the future We agree with all three authors that a pragmatic approach to agent design is the best one: use structure where it helps, provide autonomy where it shines. We think Workflows are the best option in the current marketplace of frameworks to easily implement such hybrid systems, and we encourage you to try them today! Of course, we also offer LlamaParse, our ent

    匹配字段正文

  13. LlamaIndex 产品、工程与评测

    文档提取指南:Zephyr 7B + LlamaIndex

    LlamaIndex 发布文档提取指南,介绍将 Zephyr 7B LLM 与 LlamaIndex 结合,用于从图像文档中提取信息。该方案针对传统 OCR 在复杂版式、低质量图像、手写体和多语言文档上的局限,借助机器学习、上下文理解和自适应图像处理提升提取准确率。文中给出安装库、加载模型、存储索引、查询转换和读取收据等实现步骤。

    om intricate document layouts. 3. Adaptive Image Processing: The fusion with LlamaIndex amplifies Zephyr 7b LLM’s ability to handle images of varying resolutions or qualities. Leveraging adaptive image processing techniques, it rectifies distortions, enhances clarity, and optimizes images for meticulous OCR analysis. 4. Multilingual Proficiency: Zephyr 7b LLM surpasses language barriers. Its multilingual proficiency facilitates seamless content extraction from documents in various languages, ext

    匹配字段正文

  14. LlamaIndex 产品、工程与评测

    MyMagic AI 批量推理集成 LlamaIndex:使用指南

    MyMagic AI 的批量推理 API 已集成进 LlamaIndex,支持 Llama 70B、Mistral 7B、Mixtral 8x7B、CodeLlama70b 及 Embedding 模型,可处理数据提取、摘要、分类、情感分析、训练数据生成和嵌入等任务。用户将文件放入 AWS S3 或 GCS 的 session 文件夹后,通过 LlamaIndex 封装发起请求,可动态指定 prompt、模型和 max_tokens;官方建议尽量使用异步 acomplete 接口,目前不支持 chat/achat 方法。其训练数据生成速度相比 GPT-3.5 可提升 5-10 倍。

    t: The llamaIndex library is a wrapper around MyMagic AI’s API. What it does under the hood is simple: it sends a POST request to the MyMagic AI API while specifying the model, storage provider, bucket name, session name, and other necessary details. python We have designed the integration to allow the user to set up the bucket and data together with the system prompt when instantiating the llm object. Other inputs, e.g. question (i.e. your prompt), model and max tokens are dynamic requirements

    匹配字段正文

  15. LlamaIndex 产品、工程与评测

    LlamaIndex 指南:用文档智能体实现发票处理自动化

    LlamaIndex 发布面向财务团队的发票处理自动化指南,主张用基于 LLM 的文档智能体替代传统 OCR 和规则系统,完成提取、校验、审批路由、ERP 集成与异常处理。方案依托 LlamaParse 的多模态解析和 LlamaExtract 的 schema 驱动抽取,支持 JSON 或 Pydantic 自定义 schema、嵌套结构最深 3-4 层,并提供 invoice、resume、10K 等预置 schema。

    ExtractBench Pro: common patterns give way to exceptional cases in a dotted long-tail distribution.

    ; Compliance risks: Inconsistent processing creates audit vulnerabilities and regulatory exposure What Makes Document Agents Different Contextual Understanding Document agents leverage large language models to understand not just what data to extract, but what it means in context. They can identify vendor information, match purchase orders, validate line items, and flag discrepancies, all while adapting to new invoice formats automatically. End-to-End Workflow Execution Unlike traditional invoic

    匹配字段正文

星期四

  1. The Rundown AI

    Minerva Humanoids 推出 VR 遥控排爆人形机器人 Roger

    旧金山机器人初创公司 Minerva Humanoids 结束隐身状态,获 General Catalyst 领投的约 1000 万美元 pre-seed 融资,并推出 VR 遥控人形机器人 Roger,用于排爆、危化品处置和海上钻井平台作业。操作员佩戴 VR 头显通过 Roger 的视角进行精细操作,平衡、导航与跌倒恢复由自研 AI 负责,原型机在德国制造,从概念到可行走原型耗时五个月。今年秋季将在能源与爆炸物处理领域启动付费试点。

    dle attachments. Kawasaki unveiled a four-legged robot prototype that climbs ship hulls, bringing its ambitions for AI-powered welding to one of manufacturing’s toughest workplaces. University of Stuttgart is developing autonomous cranes and robot swarms to assemble timber buildings, aiming to speed up construction and reduce waste. 🎓 Highlights: News, Guides & Events That's it for today! 🤖🤖🤖🤖🤖 Nailed it; 🤖🤖🤖 Average; 🤖 Fail Rowan, Zach, Shubham, Jennifer, and Nate — The Rundown’s editorial team

    匹配字段正文