FireView
FIREVIEW NEWSROOM

市场快讯

追踪加密资产、全球股票、宏观与政策变化,只保留来源可核验的中文资讯。

PPANews

孙宇晨设立“Justin Sun Prize”数学奖,强调机器验证与链上透明

PANews 9月16日消息,TRON创始人孙宇晨宣布设立“Justin Sun Prize”,以数学为核心奖励机制,面向解决重要数学难题的证明者与将证明形式化为机器可验证代码的“formalizer”。该奖项不设年龄与年度名额限制,仅以“机器从首行到末行完整验证通过”为唯一发放条件,奖金资金池已锁定在区块链地址上,只能追加、不可撤回。每个问题仅能新增、不能删除,若题目表述有误也仍按约定支付赏金,并重新挂单。孙称自己不参与具体评审,仅负责确定问题清单及对应悬赏金额,目标是在AI与形式化验证时代,为纯理论数学与链上公开激励之间建立长期机制。

科技
PPANews

欧盟委员会主席冯德莱恩:将邀请主要前沿实验室讨论行业在前沿领域的努力

PANews 9月16日消息,据金十数据,欧盟委员会主席冯德莱恩表示:我们希望充分利用人工智能。我相信,如果我们做对了,人工智能有潜力造福人类。随着前沿模型变得越来越强大,风险也在不断增加。欧盟人工智能规则可以影响全球应对人工智能风险的努力。欧盟将与加拿大、英国等志同道合的伙伴在此问题上加大努力。将邀请主要前沿实验室讨论行业在前沿领域的努力。我们不需要成为开发前沿技术的那一方,就能从中受益。

科技
PPANews

起售价5499元的豆包手机努比亚NaviX Ultra正式发布,采用长鑫存储产品

PANews 9月16日消息,据人民财讯报道,努比亚NaviX Ultra今日正式发布,搭载豆包手机助手消费者版,起售价5499元,中兴通讯AI智能体手机由工程样机进入量产商用阶段。该机采用第五代骁龙8至尊版移动平台,并使用长鑫、三星等LPDDR5X存储产品,配备指纹AI按键支持一键唤醒。系统已支持闽南语、客家话、上海话、粤语等十余种方言及英语等多语种交互,可一句话生成代码、文档、表格和PPT,并按指令代发飞书消息、预约会议、总结群消息、查看代办、转发文档等;同时记录用户偏好与习惯,构建个人记忆库。

科技
PPANews

字节跳动创始人张一鸣晋升亚洲首富,财富净值突破1050亿美元

PANews 9月16日消息,据界面新闻报道,随着与人工智能相关的财富飙升,传统行业的亿万富翁被超越,字节跳动的张一鸣首次成为了亚洲首富,现年43岁的张一鸣如今净值已突破1050亿美元。根据彭博亿万富豪指数,他的身家已超过印度富豪高塔姆·阿达尼。与2019年3月彭博首次追踪时记录的130亿美元相比,张一鸣的财富增长了约七倍。张一鸣本就是中国首富,这归功于火遍全球的TikTok以及字节跳动在AI领域的布局,包括热门AI聊天机器人豆包和视频生成模型Seedance。

科技
PPANews

TypeSafe AI推出结构化决策模型Jev,不具备文本生成能力

PANews 9月16日消息,据TypeSafe AI博客,该公司发布首个"System One模型"Jev,输出类型安全的结构化数值而非文本,用于分类、路由与信息抽取。公司称其端到端响应时间为70至500毫秒,同等任务下前沿LLM为3至329秒;输入价格为每百万token 0.042美元,输出免费。训练方法称为RLCD(面向校准决策的强化学习)。局限包括不处理图像、选择字段基数上限255,且评测基于自有业务自动化工作流而非MMLU等公开基准。创始人Diogo Almeida曾在OpenAI参与InstructGPT研究。

科技
PPANews

SK海力士与英特尔洽谈合作,拟首次在美生产存储芯片

PANews 9月16日消息,据路透社报道,知情人士称,韩国SK海力士正与英特尔(INTC.O)洽谈一项交易,拟首次在美国本土生产存储芯片。其中一种可能方案是SK海力士租用英特尔在俄亥俄州筹划已久的芯片制造设施的一部分;另一种方案是与英特尔及急于锁定存储芯片供应的主要云服务公司成立合资企业。交易将缓解英特尔的压力,并成为特朗普政府的一大胜利。但消息人士称,韩国方面的潜在反对可能是一大障碍,因为这些技术被视为敏感。一名消息人士称谈判尚属探索性,强调尚未作出决定。若达成协议,SK海力士可能在俄亥俄州生产何种芯片也尚不清楚。

科技
PPANews

智谱以“小股大债”的结构完成总额50亿美元的再融资

PANews 9月16日消息,智谱(02513.HK)在面向分析师和投资人的电话交流会中表示,公司刚以“小股大债”的结构完成总额50亿美元的再融资,此次融资是出于算力扩容要求。智谱在2月GLM-5发布后,模型调用需求量暴增10倍,几乎是发布的当周公司的算力储备就消耗殆尽,只好停售主力产品Coding plan。对此,智谱积极应对,7月完成40亿美元再融资,终于在算力扩容方面进行了大规模布局;9月11日再次融资50亿美元后,再次坚定地扩大算力布局,此次扩容后,智谱的算力初具规模,已经能支撑公司的业务高速增长和更大规模模型的持续研发。

科技
PPANews

Cloudflare推新功能:网站可保留搜索流量同时拒绝AI训练

PANews 9月16日消息,据Cloudflare博客,其已向全部客户开放"禁止AI训练"设置,站点可在保留搜索收录的同时拒绝内容用于AI模型训练,以解决搜索与训练由同一爬虫承担带来的取舍难题。Cloudflare同时设立"负责任"爬虫运营方认定,要求提供训练退出机制与AI摘要退出选项、披露URL级收录情况,并承诺退出训练不影响搜索排名,苹果、谷歌、微软、亚马逊、Anthropic、Meta与OpenAI获此认定。Cloudflare称约17%的站点已启用某种屏蔽训练的机制,屏蔽搜索爬虫的则不足1%。

科技
PPANews

马斯克转发DHH观点:AI“丰裕场景”比“毁灭风险”更值得讨论

PANews 9月16日消息,Ruby on Rails 创始人 DHH 发文称,关于 AI “p(doom)”(毁灭概率)的讨论占据了大部分舆论与头条,但“p(abundance)”(丰裕概率)情景在现实中更可能发生,却远未获得应有关注。他援引乔治·奥威尔观点指出,人类对“地狱式失败”的想象往往具体而生动,而对“天堂式成功”的愿景则模糊抽象,导致恐惧叙事更易主导公共讨论。 马斯克随后转发并仅以“True”表示认同。

科技
PPANews

报告:美国闭源前沿模型与中国开源权重模型之间的性能差距已缩小至约4.4个月

PANews 9月16日消息,据Ars Technica报道,Mozilla最新《State of Open Source AI》称,美国闭源前沿模型与中国开源权重模型之间的性能差距已缩小至约4.4个月。以Moonshot AI的Kimi K3为代表的开源模型,在Artificial Analysis Intelligence Index综合得分上仅落后Anthropic Fable 5三个点,但成本仅为其约30%。METR测算显示,最强闭源模型可稳定完成时长约12小时的人类专家任务,而最强开源模型目前可靠完成约7小时任务,预计约4个月后开源模型将追上当前闭源水平。

科技