
AI参与数学难题证明引发数学家集体反对
AI 正在加速进入基础数学。它开始参与证明、构造例子和反例,也被用于尝试长期悬而未决的难题。与此同时,署名权、评价体系、人才培养和数学理解本身,都在受到冲击。 这场讨论邀请了四位数学研究者:北京大学谢俊逸,研究方向是算术动力系统和丢番图几何;复旦大学李志远,研究方向是代数几何;在...
国内 AI 热点新闻
这里直接汇总国内 AI 圈、科技圈的热点新闻,优先看最新动态、模型发布、公司动作和行业变化。
不用先翻一圈媒体站,先在这里看当天值得跟进的内容。
已收录资讯
47,917
正文图片
153,855
查看 47917 条资讯

AI 正在加速进入基础数学。它开始参与证明、构造例子和反例,也被用于尝试长期悬而未决的难题。与此同时,署名权、评价体系、人才培养和数学理解本身,都在受到冲击。 这场讨论邀请了四位数学研究者:北京大学谢俊逸,研究方向是算术动力系统和丢番图几何;复旦大学李志远,研究方向是代数几何;在...

凤凰网科技讯 9月22日,在2026云栖大会上,阿里巴巴CEO吴泳铭表示,当前客户AI需求强劲,阿里将全力投入AI基础设施建设,目标到2032年阿里云运营的全球数据中心规模超过20GW。 吴泳铭提出,机器动力已承担99.9%的物理工作,未来机器思考将以更快速度扩张,预期将承担99...

凤凰网科技讯 9月22日,据第一财经报道,2026云栖大会上,阿里发布新一代AI芯片真武V900,阿里巴巴CEO吴泳铭表示,这是目前真武算力性能最强的AI芯片,性能达到m890的三倍。据悉,平头哥AI芯片的年出货量将大幅提升。 目前,平头哥已对数据中心芯片进行全面布局,包括真武系...

AI最缺什么? 很多人的第一反应是GPU。 过去几年,从英伟达到HBM,从先进制程到高速互连,只要和AI服务器有关,价格、产能和供应链几乎都被重新审视了一遍。 但现在,涨价开始传导到一个看起来并不那么“先进”的角落——功率半导体。 据证券时报等媒体报道,今年以来,英飞凌、德州仪器...

9月22日,在2026杭州云栖大会上,阿里巴巴集团CEO吴泳铭表示,机器正在成为思考的主力,「思考」将像工业革命中的「动力」一样,成为规模化供给的商品。未来机器思考总量将是人类的1000倍,而今天这一比例不到3%,至少还有几万倍的增长空间。 吴泳铭认为,今天机器动力已经承担了99...

当你向AI提问并收到回复,这个看似瞬间完成的交互背后,是一套横跨计算、存储、内存与网络调度的复杂工业体系。 9月22日,研究机构SemiAnalysis发布深度技术报告,系统拆解了大模型推理服务的底层架构。从用户发出请求到AI生成每一个token,每个环节如何运作、哪里是瓶颈、什...

电力,始终是AI扩张最硬的天花板。 9月21日,据追风交易台消息,摩根士丹利最新研报显示,随着机架式AI架构加速普及,美国数据中心面临的电力缺口远比市场预期严峻。该行预计2026至2028年,美国数据中心累计电力需求达 97吉瓦(GW) 。扣除在建数据中心贡献的21吉瓦及可用电网...

对AI巨头的反垄断合围,过去几天仍在加码。四名付费用户把Anthropic、OpenAI、SpaceXAI和谷歌告上法庭,指控四家合谋放慢AI。欧盟日前确认收到OpenAI提交的智能体事件报告,加拿大不列颠哥伦比亚省总检察长也对OpenAI提起诉讼。 这些动作,和半个月前司法部对...

TypeSafe创始人兼CEO迪奥戈·阿尔梅达。图片经由AI处理 文丨博阳 编辑丨徐青阳 AI已经能解决数学领域极其困难的问题,却仍然很难自动化大量基础工作。 在美国AI初创公司TypeSafe创始人兼CEO迪奥戈·阿尔梅达(Diogo Almeida)看来,问题可能并不在AI“...
每经AI快讯,腾讯混元官微9月22日消息,腾讯混元正式发布混元图像3.5预览版(HyImage3.5preview)。据介绍,这是一款高性价比的专业级生图模型。HyImage3.5preview模型支持文生图和图生图,单次最多可上传5张图作为参考,并支持多种尺寸比例输出,能实现最...

财联社9月22日讯(编辑胡家荣) 今日港股核心科技股今日集体走强。其中,腾讯控股盘中刷新8月12日以来的阶段新高。 截至发稿,腾讯控股(00700.HK)涨6.93%,腾讯音乐-SW(01698.HK)涨6.74%,阿里巴巴-SW(09988.HK)涨3.91%,百度集团-W(0...

C114讯 9月22日消息(九九)在今天举行的2026云栖大会主论坛上,阿里巴巴集团CEO吴泳铭表示,AI模型、AI芯片和AI云是机器智能时代的三大基石,阿里巴巴将坚定投入这三项基础设施建设,这是阿里的长期战略选择。 吴泳铭在演讲中提到,今天,我们很少注意到电网本身。在任何地方,...
财联社9月22日讯(编辑 卞纯) 据媒体援引知情人士报道,Anthropic和OpenAI曾考虑签署一份具有法律约束力的协议,以相互对对方的大模型进行压力测试。 报道称, 今年早些时候,这两家公司及其律师团队曾就此计划展开讨论。在该计划中,竞争对手公司可以对彼此最新可用模型进行深...
爱尔兰数据保护委员会9月21日宣布,对美国谷歌公司处以4.03亿欧元罚款,原因是该公司在处理用户位置数据时违反欧盟《通用数据保护条例》。这是爱尔兰数据保护机构开出的金额较高的罚单之一。 爱尔兰数据保护委员会当天表示,此次处罚源于大约6年前启动的一项调查。调查涉及谷歌“网络与应用活...
中新经纬9月22日电 据彭博社21日报道,花旗集团首席执行官范洁恩(Jane Fraser)在纽约举行的卡塔尔经济论坛(Qatar Economic Forum)上表示,人工智能模型越来越强大,随时可能引发网络攻击,各大企业正争相加强防御。范洁恩称:“目前,各家公司都在争分夺秒地...
今日港股互联网板块走强,AI应用正从办公生产力延伸至个人生活服务。拥有高频用户入口、丰富服务场景和成熟商业生态的平台,有望将模型能力转化为用户黏性与收入增量。 Meta Muse走红,个人Agent打开C端空间。隔夜Meta收涨11.4%。据Apptopia估算,Muse上线首1...

9月22日,腾讯混元正式发布图像3.5(Hy Image3.5preview)预览版。新版本在画质、排版、修图等核心能力上全面升级,同时大幅降低使用成本,主打"便宜又好用"。 据官方介绍,Hy Image3.5preview相比上一代能力提升了约30%。在画字能力上,模型对文字内...

RSI,彻底火了。 从硅谷一路烧到国内, 「让模型参与训练下一版自己」 几乎一夜之间成了AI圈最热的叙事。 不过热闹归热闹,目前真正拿模型交卷的还屈指可数。 而就在这一当口,「港股AGI第一股」云知声正式发布U2-Flash,率先交出一份国产RSI早期答卷 。 △图源:云知声 在...

9月22日消息,昨日晚间,小米创始人、董事长兼CEO雷军在户外露营地进行了一场直播,雷军亲自完成帐篷搭建,实景演示了澎程N90 Max探索版的升顶舱、一键成床、对外放电等户外功能。 回应试驾事故:车主次日锁单,称“挺不好意思” 直播中,雷军正面回应了此前引发关注的澎程试驾事故。9...

IT之家 9 月 22 日消息,据韩媒 ZDNET Korea 当地时间 21 日报道,韩国 AI 半导体初创企业 FuriosaAI 昨日公布了其第三代 AI 推理加速器的技术细节。 该加速器由 FuriosaAI 与 Broadcom(博通)合作开发, 拥有 2 颗“光罩极限...