17岁高中生一战封神!推翻40年数学猜想,起因竟是一道选做题 新智元报道 编辑:KingHZ 17 岁女孩 Hannah Cairo,用反例颠覆数学界数十年的信仰!这一困扰了学者几十年的问题,居然被这位高中生「顺手解决」了? 40 多年来,数学界相信 Mizohata-Takeuchi 猜想是对的。 虽然这从来没有被证明,但大家愿意相信它是对的:这样能自动推导 新闻分类:国内新闻 浏览:4188 阅读全文
荣耀背水一战 文 | 伯虎财经,作者 | 路费 最近,今年二季度以激活量为标准的中国手机市场销量排名出炉,荣耀坐 Others 那一桌。如果算上一季度,荣耀已经半年没能回到 top5 的位置。 虽然滑落到 Others 的窘境其他家也遭受过,但此刻荣耀面临的压力会更大些: 一方面,荣耀正站在上市的紧要关口:中国证 新闻分类:国内新闻 浏览:4517 阅读全文
阿里达摩院多癌早筛AI全球推广,已服务9个国家地区2000万人次 当地时间 7 月 9 日,在瑞士日内瓦召开的联合国 AI for Good 峰会上,阿里达摩院受邀分享多癌早筛 AI 的最新进展。据了解,该技术已覆盖全球 9 个国家和地区,服务 2000 万人次,推动 AI 成为人类社会抗击癌症的重要工具。 新闻分类:国内新闻 浏览:4825 阅读全文
颠覆搜索引擎,下一代Agentic Deep Research!12家顶尖学术机构联手提出 新智元报道 编辑:LRST 在信息爆炸的时代,传统关键词搜索已难以满足复杂知识需求。最新研究提出 Agentic Deep Research,由大语言模型驱动,可自动规划检索路径、多轮迭代获取证据、逻辑推理指导搜索决策并输出研究报告级答案,可能彻底颠覆传统搜索范式。 在信息爆炸的时代,我们每一天都在 新闻分类:国内新闻 浏览:1175 阅读全文
Karpathy力荐必读博客:代码功底,决定AI「开挂」倍数! 新智元报道 编辑:英智 Atharva 博客揭示,AI 是工程师能力的放大器。扎实的编程基础搭配精准提示,能让 AI 助你打造出极致产品。想知道如何用 AI 加速开发、少踩坑?快来看高手的秘诀! 最近,Karpathy 在 YC AI 创业学校演讲中推荐了一篇博客。 这篇博客中,Atharva 表示 新闻分类:国内新闻 浏览:4534 阅读全文
比亚迪:率先实现媲美 L4 级智能泊车 7 月 9 日,比亚迪发文宣布,其在智能泊车场景取得关键突破,在全球率先实现媲美 L4 级的智能泊车。 比亚迪还称,在天神之眼智能泊车辅助场景下的安全及依法由本车承担的损失,不用走保险流程,直接联系比亚迪售后处理即可。这意味着比亚迪在智能泊车场景实现了类 L4 级别方案,更为用户明确智驾权责归属。 新闻分类:国内新闻 浏览:1723 阅读全文
新方法延长量子电池“寿命”千倍 科技日报北京 7 月 9 日电 (记者刘霞)澳大利亚科学家团队在量子电池领域取得重大突破。由皇家墨尔本理工大学和澳大利亚联邦科学与工业研究组织科学家组成的联合团队,开发出一种能显著延长量子电池寿命的创新方法。实验数据显示,新型量子电池的储能时间比此前纪录提升了 1000 倍。相关研究成果发表于新一期 新闻分类:国内新闻 浏览:3244 阅读全文
.NET Nupkg 包深度解析与高级应用技巧 一、引言 在 .NET 开发的广阔天地中,Nupkg 包(NuGet 包)如同璀璨的明珠,扮演着举足轻重的角色。它不仅是代码复用和依赖管理的基石,更是加速项目开发、提升代码质量的关键利器。本文将深入剖析 Nupkg 包的底层原理、高级特性,并分享一些实用的开发和安全管理技巧。 二、Nupkg 包的底 新闻分类:国内新闻 浏览:3050 阅读全文
阿里云获评AI云市场“领导者”,国内唯一 7 月 8 日,国际市场研究机构 Omdia 发布最新生成式 AI 报告,报告显示,阿里云获评 AI 云市场“领导者”,是唯一入选的中国科技公司。Omdia 报告指出,阿里云在模型能力、AI 基础设施、开发平台、开发者生态等 7 大维度获评最高的“先进(Advanced)”等级,凭借通义千问大模型及 新闻分类:国内新闻 浏览:3434 阅读全文
蔚来新ET5、新ET5T、新EC6冠军纪念版上市,售价31.6万元起 2025 年 7 月 4 日,为纪念品牌 Formula E 夺冠十周年,蔚来正式发布冠军纪念版系列车型,包含新 ET5、新 ET5T 和新 EC6 三款车型,用户皆可选择升级。新 ET5、新 ET5T 冠军纪念版整车起售价为 31.6 万元,采用 BaaS 电池租用方式购买,起售价为 24.6 万 新闻分类:国内新闻 浏览:4095 阅读全文
忘掉 Manus 的华人背景 文 | 山上,作者|何简,编辑|张文 几个月前掀起国内自媒体沸腾高潮的 AI 初创公司 Manus 传出裁员消息。消息指 Manus 裁撤中国区业务,原本约 120 人的国内团队,除 40 余名核心技术人员保留并迁往新加坡外,其余员工均遭裁员。 Manus 在对外回应中未否认裁员,仅表示“基于公司自 新闻分类:国内新闻 浏览:1314 阅读全文
董宇辉兰知春序备案官网域名 天眼查 App 显示,近日,兰知春序(西安)科技有限公司新增一则网站备案信息,域名为“lanzhicx.com”,审核日期为 6 月 23 日。目前,该网站暂时无法打开。 兰知春序(西安)科技有限公司成立于 2024 年 12 月,法定代表人、董事兼总经理为董宇辉,注册资本 500 万人民币,经营范 新闻分类:国内新闻 浏览:2866 阅读全文
Meta投资1200万英镑在剑桥设立音频研究实验室 7 月 9 日消息,美国科技巨头 Meta 宣布在英国剑桥设立一座全新的音频研究实验室,投资金额高达 1200 万英镑(IT 之家注:现汇率约合 1.17 亿元人民币)。该实验室旨在提升 Meta 旗下增强现实(AR)和人工智能(AI)眼镜产品的音频性能,包括已上市的 Ray-Ban Meta 智能 新闻分类:国内新闻 浏览:4671 阅读全文
高德地图上线AR打卡功能,以AI重构探索体验 “每个角落都有故事”,怀揣着这样的愿景,阿里巴巴集团旗下高德地图正式推出 AR 打卡功能,通过 AI 技术与地图服务的深度融合,打造虚实结合的沉浸式打卡体验,推动地图导航服务向世界探索与生活记录领域进阶。用户借助 AR 技术,可轻松链接真实世界,记录城市每个角落背后的独特故事,定格专属记忆瞬间。 ( 新闻分类:国内新闻 浏览:3208 阅读全文
刚刚,为对抗哥大退学生开发的AI作弊器,哥大学生造了个AI照妖镜 机器之心报道 编辑:Panda Cluely 和 Roy Lee,想必大家对这两个名字已经不陌生了。 简单来说,后者与 Neel Shanmugam 共同创办了名为 Cluely 的创业公司,而他们目前的主要业务就是一款堪称「人生作弊器」的同样名为「Cluely」的 AI 工具 —— 这是一款 AI 新闻分类:国内新闻 浏览:4213 阅读全文
爆火的AI4Research,被哈工大车万翔团队讲明白了 “跨学科 AI 是学术界一个非常令人兴奋的领域,尤其是在科学发现方面。” 在 AI 教母、斯坦福大学教授李飞飞看来,由大语言模型(LLM)等主导的 AI 范式能够与众多学科交叉,帮助人类发现、解决一些真正根本性的问题。 那么,AI 在科学研究中的潜力究竟如何?特别是在推动跨学科科学研究方面,其衍生出 新闻分类:国内新闻 浏览:1483 阅读全文
Meta (META.US)加码AI眼镜领域,向全球最大眼镜制造商投资35亿美元 智通财经 APP 获悉,据知情人士透露,Meta (META.US)收购了全球最大眼镜制造商依视路陆逊梯卡(EssilorLuxottica SA)的少数股权,此举标志着这家美国科技巨头对快速增长智能眼镜行业的资金投入加码。 知情人士表示,Facebook 母公司 Meta 以当前市价购入雷朋制造商 新闻分类:国内新闻 浏览:1745 阅读全文
拒绝被取代!美国老师拿OpenAI微软的钱,学怎么"驯化"AI 7 月 9 日消息,据 CBS 报道,美国教师联合会(American Federation of Teachers,简称 AFT)周二宣布,将于今秋启动“全国 AI 教学学院(National Academy for AI Instruction)”项目。该项目总投资达 2300 万美元,资金由 新闻分类:国内新闻 浏览:4470 阅读全文
Intel被曝开始大规模裁员:晶圆厂、汽车、市场营销成重灾区 7 月 8 日消息,陈立武就任 Intel CEO 之后,采取了一系列变革措施,并且据说 4 月份就提醒员工将会大裁员,但一直没有公布裁员计划,只有一些坊间传闻。根据最新曝料,Intel 本周起已经低调开始了大规模裁员,单独通知被裁的员工,沟通相关事宜。本次裁员会在未来几周内全面铺开,有的员工将会被 新闻分类:国内新闻 浏览:1542 阅读全文
抖音回应花费9位数与周杰伦签约传言:消息不实,为谣言 7 月 8 日,歌手周杰伦将入驻抖音平台的消息在网络引起热议,网传签约金额高达 9 位数。据媒体报道,针对网传的“抖音花费 9 位数与周杰伦签约”传言,抖音相关负责人予以否认,称消息不实,为谣言。 日前,“周杰伦歌迷会负责”发朋友圈称已经与抖音官方确认,目前已有周杰伦私密账号。主页显示,私密账号 I 新闻分类:国内新闻 浏览:3643 阅读全文