科技脉搏

AI · 软件 · 硬件 · 互联网 · 前沿科技
每天几条真正值得知道的技术动态。
订阅：https://t.me/readtechpulse

科技脉搏

  1. 科技脉搏

    Claude生成1.8亿行证明，发现数百个漏洞Anthropic称，Claude与Theorem合作，用数周为123个开源软件库的239个测试入口生成约1.8亿行形式化证明，并发现数百个此前难以通过模糊测试发现的漏洞

    Claude生成1.8亿行证明，发现数百个漏洞

    Anthropic称，Claude与Theorem合作，用数周为123个开源软件库的239个测试入口生成约1.8亿行形式化证明，并发现数百个此前难以通过模糊测试发现的漏洞。项目已开放部分证明和OSS Verify，但目前仅覆盖特定硬件、部分入口及内存安全等条件，证明成本仍高。

    来源：腾讯新闻

  2. 科技脉搏

    字节火山引擎发布Seedance 2.5 4K模型，面向影视级画面生成字节跳动旗下火山引擎发布Seedance 2.5 4K视频生成模型，支持480P样片与4K正片模式，提升人物表情、细节、色彩和参考素材一致性

    字节火山引擎发布Seedance 2.5 4K模型，面向影视级画面生成

    字节跳动旗下火山引擎发布Seedance 2.5 4K视频生成模型，支持480P样片与4K正片模式，提升人物表情、细节、色彩和参考素材一致性。目前仅供部分企业客户试用，后续或扩大开放。

    来源：IT之家

  3. 科技脉搏

    Anthropic为关键开源项目增加可选择加入的安全扫描Anthropic推出免费自愿加入的OSS Scanner，为关键开源项目提供模型生成的漏洞报告、复现程序和候选补丁，报告未经人工审核

    Anthropic为关键开源项目增加可选择加入的安全扫描

    Anthropic推出免费自愿加入的OSS Scanner，为关键开源项目提供模型生成的漏洞报告、复现程序和候选补丁，报告未经人工审核。早期测试发现多数高危漏洞有效，但部分存在重复、误报或严重性评估偏高问题；curl等项目已据此修复漏洞。

    来源：InfoQ

  4. 科技脉搏

    OpenClaw创始人称AI智能体上月Token成本约1000万美元OpenClaw创始人、OpenAI技术团队成员Peter Steinberger透露，他上月用于AI工作的Token费用达1000万美元，由投资者承担

    OpenClaw创始人称AI智能体上月Token成本约1000万美元

    OpenClaw创始人、OpenAI技术团队成员Peter Steinberger透露，他上月用于AI工作的Token费用达1000万美元，由投资者承担。他认为AI智能体基础设施、开源代码贡献方式及权限管理仍需改进，并预测未来人们可能拥有全天运行、主动提供帮助的智能助手。

    来源：IT之家

  5. 科技脉搏

    南京一家具身智能公司被曝欠薪数月，实控人失联南京无境未来动力科技有限公司被员工曝自8月起欠薪，涉及三四十人、金额近800万元，公司目前停工，实控人崔小飞疑似失联

    南京一家具身智能公司被曝欠薪数月，实控人失联

    南京无境未来动力科技有限公司被员工曝自8月起欠薪，涉及三四十人、金额近800万元，公司目前停工，实控人崔小飞疑似失联。该公司此前曾宣称获1.1亿元融资、近10亿元订单。上市公司骏创科技拟通过基金投资无境动力，但相关交易是否完成仍待核实。

    来源：腾讯新闻

  6. 科技脉搏

    软银持续投入千亿元押注机器人，尚未获得相应回报软银围绕“物理AI”加码机器人产业，拟通过收购ABB机器人业务、洽谈控股1X、投资思灵机器人和Skild AI，并布局OpenAI、算力及安保清洁等应用场景，整合身体、大脑与落地渠道

    软银持续投入千亿元押注机器人，尚未获得相应回报

    软银围绕“物理AI”加码机器人产业，拟通过收购ABB机器人业务、洽谈控股1X、投资思灵机器人和Skild AI，并布局OpenAI、算力及安保清洁等应用场景，整合身体、大脑与落地渠道。市场担忧相关收购资本强度高、机器人商业化尚不明确，软银股价一度大跌近10%。

    来源：腾讯新闻

  7. 科技脉搏

    消息称三星电子为美国泰勒首座晶圆厂追加设备采购，目标2027年下半年达产三星电子晶圆代工业务为美国得克萨斯州泰勒首座晶圆厂追加采购设备，对应每月6000片晶圆产能

    消息称三星电子为美国泰勒首座晶圆厂追加设备采购，目标2027年下半年达产

    三星电子晶圆代工业务为美国得克萨斯州泰勒首座晶圆厂追加采购设备，对应每月6000片晶圆产能。设备将于今年底起逐步引进，助力该厂预计在2027年下半年达到每月2万片设计产能；泰勒第二晶圆厂计划11月开工、2030年投产。

    来源：IT之家

  8. 科技脉搏

    美太空军“有点慌”：SpaceX退役猎鹰9号为“星舰”让路SpaceX正逐步退役猎鹰9号、转向星舰，但星舰的卫星部署方式和货舱设计与多数军用卫星不兼容，可能造成美国太空军发射瓶颈

    美太空军“有点慌”：SpaceX退役猎鹰9号为“星舰”让路

    SpaceX正逐步退役猎鹰9号、转向星舰，但星舰的卫星部署方式和货舱设计与多数军用卫星不兼容，可能造成美国太空军发射瓶颈。由于蓝色起源和联合发射联盟的火箭也存在故障，五角大楼短期内缺乏替代方案。

    来源：腾讯新闻

  9. 科技脉搏

    苹果首款折叠 iPhone Duo 今日开售，高管称门店有限量现货苹果首款折叠屏手机iPhone Duo今日正式开售

    苹果首款折叠 iPhone Duo 今日开售，高管称门店有限量现货

    苹果首款折叠屏手机iPhone Duo今日正式开售。尽管线上预购需求火爆、部分订单预计2027年1月发货，苹果高管称部分Apple Store仍提供有限现货，但热门版本可能迅速售罄。国行售价15999元起，每位顾客限购2部。

    来源：IT之家

  10. 科技脉搏

    Counterpoint：2026年Q3印度智能手机出货量跌至十年来最低水平，印度国产品牌AI+销量飙升306%Counterpoint数据显示，2026年第三季度印度智能手机出货量同比下降20%，创十年新低，内存涨价和需求疲软拖累平价市场

    Counterpoint：2026年Q3印度智能手机出货量跌至十年来最低水平，印度国产品牌AI+销量飙升306%

    Counterpoint数据显示，2026年第三季度印度智能手机出货量同比下降20%，创十年新低，内存涨价和需求疲软拖累平价市场。三星以17%份额重夺第一，国产品牌Ai+出货量同比增长306%；全年市场预计收缩约13%。

    来源：IT之家

  11. 科技脉搏

    PHP高危漏洞波及多款游戏：《最终幻想14》暂停登录，《赛马娘Pretty Derby》紧急停机本周发现的严重PHP安全漏洞波及多款游戏

    PHP高危漏洞波及多款游戏：《最终幻想14》暂停登录，《赛马娘Pretty Derby》紧急停机

    本周发现的严重PHP安全漏洞波及多款游戏。《最终幻想14》曾暂时停止新的登录请求并加固更新服务器，随后恢复登录；《赛马娘 Pretty Derby》日服和国际服均停机维护后恢复，并发放补偿；《泰坦之路》及官网暂停运营，最长或关闭3天。相关开发商均表示目前未发现数据泄露或漏洞遭利用。

    来源：IT之家

  12. 科技脉搏

    华为阔折叠手机出货量突破321万台，iPhone Duo预售6天，Pura X Max销量环比提升38%苹果首款折叠屏iPhone Duo正式预售后，华为Pura X Max于10月16日至21日销量环比增长38%

    华为阔折叠手机出货量突破321万台，iPhone Duo预售6天，Pura X Max销量环比提升38%

    苹果首款折叠屏iPhone Duo正式预售后，华为Pura X Max于10月16日至21日销量环比增长38%。截至10月21日，华为阔折叠累计出货量突破321万台，阔直板累计出货量突破84万台。

    来源：IT之家

  13. 科技脉搏

    微软测试Pantheon AI应用，定位Windows 11“第二大脑”微软据报正测试Windows 11 AI应用Project Pantheon，测试版名为Context Vault

    微软测试Pantheon AI应用，定位Windows 11“第二大脑”

    微软据报正测试Windows 11 AI应用Project Pantheon，测试版名为Context Vault。该应用不自动录屏，仅保存用户主动选择的网页、文件、截图、文本、音视频等内容，支持按主题整理并向AI提问，还可通过系统入口及MCP供第三方AI应用调用。

    来源：IT之家

本站内容来自 Telegram 频道，实时更新

订阅频道