AI 攻克数学难题
2026年5月20日，OpenAI 宣布其内部AI模型成功为数学家保罗·埃尔德什于1946年提出的“单位距离问题”构造出反例，这是首个由AI完成的历史性数学证明。尽管结果并非最终定论，人类数学家数周内便大幅改进，但该模型创新性地引入了此前无人成功应用的数学分支思想，并在数天内催生了其他重要问题的解法。同年8月1日，OpenAI 又宣布其未发布模型Astra取得10项数学进展，包括解决另外三个埃尔德什问题。普林斯顿大学数学家诺加·阿隆评价称，这些突破标志着AI数学能力的“相变”，正深刻改变数学研究方式。埃尔德什生前提出数千个猜想，常以小额奖金悬赏求解，如今这些难题成为科技巨头展示AI实力的竞技场。 #AI #数学 #埃尔德什 #OpenAI #人工智能 #数学证明 #科技突破
2026年5月20日，OpenAI 宣布其内部AI模型成功为数学家保罗·埃尔德什于1946年提出的“单位距离问题”构造出反例，这是首个由AI完成的历史性数学证明。尽管结果并非最终定论，人类数学家数周内便大幅改进，但该模型创新性地引入了此前无人成功应用的数学分支思想，并在数天内催生了其他重要问题的解法。同年8月1日，OpenAI 又宣布其未发布模型Astra取得10项数学进展，包括解决另外三个埃尔德什问题。普林斯顿大学数学家诺加·阿隆评价称，这些突破标志着AI数学能力的“相变”，正深刻改变数学研究方式。埃尔德什生前提出数千个猜想，常以小额奖金悬赏求解，如今这些难题成为科技巨头展示AI实力的竞技场。 #AI #数学 #埃尔德什 #OpenAI #人工智能 #数学证明 #科技突破
美国FTC禁止进口外国机器人，AI保护主义延伸至机器人领域
美国联邦贸易委员会（FTC）近日发布全面禁令，禁止进口包括人形机器人在内的外国先进机器人，理由涉及国家安全和供应链保护。目前人形机器人行业仍处于早期阶段，常见于病毒视频而非实际应用。FTC指出，外国机器人可能收集敏感数据，且美国企业需要免受中国竞争以建立更安全的国内供应链。此举被视为特朗普政府将AI保护主义从软件模型扩展到硬件领域的标志。然而，禁令引发争议：美国机器人公司和学术实验室严重依赖廉价的中国机器人进行研究，禁令可能阻碍创新。支持者认为这能加强网络安全，但批评者指出消费者将面临更高成本，且美国企业难以快速替代进口产品。 #美国 #FTC #机器人 #AI #保护主义 #人形机器人 #贸易 #科技政策
美国联邦贸易委员会（FTC）近日发布全面禁令，禁止进口包括人形机器人在内的外国先进机器人，理由涉及国家安全和供应链保护。目前人形机器人行业仍处于早期阶段，常见于病毒视频而非实际应用。FTC指出，外国机器人可能收集敏感数据，且美国企业需要免受中国竞争以建立更安全的国内供应链。此举被视为特朗普政府将AI保护主义从软件模型扩展到硬件领域的标志。然而，禁令引发争议：美国机器人公司和学术实验室严重依赖廉价的中国机器人进行研究，禁令可能阻碍创新。支持者认为这能加强网络安全，但批评者指出消费者将面临更高成本，且美国企业难以快速替代进口产品。 #美国 #FTC #机器人 #AI #保护主义 #人形机器人 #贸易 #科技政策
F1 携手 AWS 构建 Agentic AI 方案，数据接入从数周缩至分钟
一级方程式赛车（F1）的营销技术平台 Customer 360 负责整合票务、流媒体、社交媒体等全渠道数据，以驱动个性化与商业策略。然而，每接入一个新数据源需 6 至 8 周的手动工程，导致长达 18 个月的积压。为提升效率与数据质量，F1 与 AWS 合作开发了 Data Accelerator，基于 Amazon Bedrock AgentCore 的代理式 AI，将数据源接入流程从手动变为自动化。该方案将接入时间缩短至约 40 分钟代码生成加数小时部署，并能自动识别和修复生产中的数据异常，同时提供端到端的数据血缘与根因分析，使工程、分析、科学团队得以高效协作。F1 IT 总监表示，这是首次实现整个 MarTech 平台的全面可见性。 #F1 #AWS #AgenticAI #数据运营 #人工智能 #云计算 #MarTech #自动化
一级方程式赛车（F1）的营销技术平台 Customer 360 负责整合票务、流媒体、社交媒体等全渠道数据，以驱动个性化与商业策略。然而，每接入一个新数据源需 6 至 8 周的手动工程，导致长达 18 个月的积压。为提升效率与数据质量，F1 与 AWS 合作开发了 Data Accelerator，基于 Amazon Bedrock AgentCore 的代理式 AI，将数据源接入流程从手动变为自动化。该方案将接入时间缩短至约 40 分钟代码生成加数小时部署，并能自动识别和修复生产中的数据异常，同时提供端到端的数据血缘与根因分析，使工程、分析、科学团队得以高效协作。F1 IT 总监表示，这是首次实现整个 MarTech 平台的全面可见性。 #F1 #AWS #AgenticAI #数据运营 #人工智能 #云计算 #MarTech #自动化
开发者工具必须开源
近日，开发者社区网站 发布了一篇题为“Devtools must be open source”的博客文章，鲜明提出开发者工具必须开源的主张。文章同时回顾了近期多项相关动态：Stateless MCP 项目重新引起作者兴趣，并催生了 mcp-explorer 和 datasette-mcp 两个新工具；OpenAI 对 Hugging Face 的意外网络攻击事件被形容为“已成现实的科幻小说”；此外，文章还记录了与 Claude Code 团队成员的炉边谈话内容。这些案例共同支撑了开源对于开发者工具生态重要性的论述。 #开源 #开发者工具 #Devtools #OpenAI #HuggingFace #ClaudeCode #MCP
近日，开发者社区网站 发布了一篇题为“Devtools must be open source”的博客文章，鲜明提出开发者工具必须开源的主张。文章同时回顾了近期多项相关动态：Stateless MCP 项目重新引起作者兴趣，并催生了 mcp-explorer 和 datasette-mcp 两个新工具；OpenAI 对 Hugging Face 的意外网络攻击事件被形容为“已成现实的科幻小说”；此外，文章还记录了与 Claude Code 团队成员的炉边谈话内容。这些案例共同支撑了开源对于开发者工具生态重要性的论述。 #开源 #开发者工具 #Devtools #OpenAI #HuggingFace #ClaudeCode #MCP
HP与Xero调查：新西兰小企业纷纷尝试AI，但多数仍在“摸着石头过河”
科技公司HP和Xero的最新调查显示，新西兰小企业正积极尝试人工智能（AI），但多数仍处于边学边试阶段。Xero研究发现，近三分之二的中小企业已在用AI，其中64%称节省了时间，平均约一个工作日。然而，企业对隐私、安全性、答案准确性以及工具设置时间仍有担忧。Xero技术研究倡导总经理James Bergin表示，使用AI的企业已报告生产率提升，但需更多实用指导。HP新西兰总经理Shannon Harris指出，企业无需冗长的政策文件，但需覆盖安全、治理和适当使用的简单规则，尤其涉及敏感客户或财务信息时。Bergin强调，企业需理解不同AI工具的限制，有些工具提供的是“可能答案”而非核实事实，因此最终决策仍需所有者或顾问负责。两家公司认为，在生产率长期困扰新西兰经济的背景下，正确规则和培训至关重要，下一步挑战不是获取更多AI能力，而是将现有工具转化为实际应用，助力企业增长。 #AI #小企业 #新西兰 #生产率 #HP #Xero #数字化转型 #人工智能 #商业科技
科技公司HP和Xero的最新调查显示，新西兰小企业正积极尝试人工智能（AI），但多数仍处于边学边试阶段。Xero研究发现，近三分之二的中小企业已在用AI，其中64%称节省了时间，平均约一个工作日。然而，企业对隐私、安全性、答案准确性以及工具设置时间仍有担忧。Xero技术研究倡导总经理James Bergin表示，使用AI的企业已报告生产率提升，但需更多实用指导。HP新西兰总经理Shannon Harris指出，企业无需冗长的政策文件，但需覆盖安全、治理和适当使用的简单规则，尤其涉及敏感客户或财务信息时。Bergin强调，企业需理解不同AI工具的限制，有些工具提供的是“可能答案”而非核实事实，因此最终决策仍需所有者或顾问负责。两家公司认为，在生产率长期困扰新西兰经济的背景下，正确规则和培训至关重要，下一步挑战不是获取更多AI能力，而是将现有工具转化为实际应用，助力企业增长。 #AI #小企业 #新西兰 #生产率 #HP #Xero #数字化转型 #人工智能 #商业科技
Telnyx 推出边缘计算平台，在 LLM、TTS 和电话侧运行智能体代码
Telnyx 公司发布其 Edge Compute 边缘计算平台，允许开发者将智能体代码部署在 LLM、TTS 和电话呼叫运行的同一网络边缘。平台提供容器级函数计算（非沙箱），支持真实运行时、依赖项和长期服务器。其 StatefulActor 模式为每个实体保留持久实例，平台自动序列化调用，状态在重启后持续存在。此外，还包含 S3 兼容对象存储、低延迟 KV 存储、可挂载的 POSIX 文件系统以及无服务器 SQL 数据库。该平台无需注册即可直接体验在线演示，旨在将计算与通信基础设施深度融合，提升实时交互场景的性能与可靠性。 #边缘计算 #Telnyx #AI #LLM #TTS #通信 #云原生 #实时计算 #开发者平台
Telnyx 公司发布其 Edge Compute 边缘计算平台，允许开发者将智能体代码部署在 LLM、TTS 和电话呼叫运行的同一网络边缘。平台提供容器级函数计算（非沙箱），支持真实运行时、依赖项和长期服务器。其 StatefulActor 模式为每个实体保留持久实例，平台自动序列化调用，状态在重启后持续存在。此外，还包含 S3 兼容对象存储、低延迟 KV 存储、可挂载的 POSIX 文件系统以及无服务器 SQL 数据库。该平台无需注册即可直接体验在线演示，旨在将计算与通信基础设施深度融合，提升实时交互场景的性能与可靠性。 #边缘计算 #Telnyx #AI #LLM #TTS #通信 #云原生 #实时计算 #开发者平台
AI泡沫危机或由纳税人接盘
前OpenAI员工、24岁创始人利奥波德·阿申布伦纳管理的对冲基金Situational Awareness，去年7月净值暴跌67%，此前年内曾暴涨439%。该基金重仓AI相关公司，其亏损折射出AI行业泡沫风险。文章指出，AI行业与股市深度绑定，一旦投资者信心动摇可能引发市场崩盘。更危险的是，私人信贷机构向AI数据中心大量放贷，随着建设延迟和AI前景存疑，这些贷款可能大规模违约。而私人信贷公司大多持有寿险公司资产，一旦寿险公司破产，最终将由州担保基金（即纳税人）买单。目前，美国已有530多个地方司法管辖区限制或禁止数据中心建设，AI行业盈利前景黯淡。 #AI泡沫 #金融风险 #私人信贷 #寿险 #纳税人 #对冲基金 #OpenAI #数据中心 #美股
前OpenAI员工、24岁创始人利奥波德·阿申布伦纳管理的对冲基金Situational Awareness，去年7月净值暴跌67%，此前年内曾暴涨439%。该基金重仓AI相关公司，其亏损折射出AI行业泡沫风险。文章指出，AI行业与股市深度绑定，一旦投资者信心动摇可能引发市场崩盘。更危险的是，私人信贷机构向AI数据中心大量放贷，随着建设延迟和AI前景存疑，这些贷款可能大规模违约。而私人信贷公司大多持有寿险公司资产，一旦寿险公司破产，最终将由州担保基金（即纳税人）买单。目前，美国已有530多个地方司法管辖区限制或禁止数据中心建设，AI行业盈利前景黯淡。 #AI泡沫 #金融风险 #私人信贷 #寿险 #纳税人 #对冲基金 #OpenAI #数据中心 #美股
AI 系统 Locus 自动后训练模型，性能超越人类调优的 Qwen3
Locus 是一个自动化 AI 研究系统，在 PostTrainBench 上达到当前最优水平。该系统能够对 Qwen3 基础模型进行后训练，使其性能超越人类后训练的 Qwen3 官方版本。研究团队进一步推出 PostTrainBench+，大幅扩展计算预算（数千 H100 小时），以更清晰地区分不同方法的自动化后训练能力。在此设置下，Locus 后训练的 Qwen3 1.7B 模型集体超越了官方人类后训练的同一模型。此外，Locus 被部署到所有活跃的 Kaggle 竞赛中，16 天后在所有参赛者中平均排名第四。目前，由 Locus 端到端后训练的大语言模型已投入生产，服务数百万用户。 #AI #自动化 #后训练 #Qwen3 #Locus #Kaggle #机器学习 #大模型
Locus 是一个自动化 AI 研究系统，在 PostTrainBench 上达到当前最优水平。该系统能够对 Qwen3 基础模型进行后训练，使其性能超越人类后训练的 Qwen3 官方版本。研究团队进一步推出 PostTrainBench+，大幅扩展计算预算（数千 H100 小时），以更清晰地区分不同方法的自动化后训练能力。在此设置下，Locus 后训练的 Qwen3 1.7B 模型集体超越了官方人类后训练的同一模型。此外，Locus 被部署到所有活跃的 Kaggle 竞赛中，16 天后在所有参赛者中平均排名第四。目前，由 Locus 端到端后训练的大语言模型已投入生产，服务数百万用户。 #AI #自动化 #后训练 #Qwen3 #Locus #Kaggle #机器学习 #大模型
AI生成的虚假漏洞污染CVE管道，安全专家警告
据安全公司JFrog报告，一批声称SQLite数据库存在严重漏洞的CVE条目被证实为虚假，极有可能由AI生成。这些漏洞在NVD中发布并获得了CISA的补充，但实际测试无法复现：其中一则漏洞引用了不存在的函数，另一则引用不相关的代码行，PoC执行后无任何内存泄漏。该虚假漏洞来自一个可疑的GitHub仓库，共发布55个CVE，除一条外其余均属伪造。MITRE已拒绝全部申请。事件暴露了CVE流程的缺陷：CNAs依赖申请者诚信，而NIST因积压严重（截至2025年底超2.7万个未处理CVE）且资金使用效率低下，无法及时审核。专家警告，AI生成的虚假漏洞将加剧管道污染，威胁软件供应链安全。 #AI #虚假漏洞 #CVE #网络安全 #NIST #NVD #SQLite #信息安全
据安全公司JFrog报告，一批声称SQLite数据库存在严重漏洞的CVE条目被证实为虚假，极有可能由AI生成。这些漏洞在NVD中发布并获得了CISA的补充，但实际测试无法复现：其中一则漏洞引用了不存在的函数，另一则引用不相关的代码行，PoC执行后无任何内存泄漏。该虚假漏洞来自一个可疑的GitHub仓库，共发布55个CVE，除一条外其余均属伪造。MITRE已拒绝全部申请。事件暴露了CVE流程的缺陷：CNAs依赖申请者诚信，而NIST因积压严重（截至2025年底超2.7万个未处理CVE）且资金使用效率低下，无法及时审核。专家警告，AI生成的虚假漏洞将加剧管道污染，威胁软件供应链安全。 #AI #虚假漏洞 #CVE #网络安全 #NIST #NVD #SQLite #信息安全