【新智元导读】最近，陶哲轩向广大网友和数学爱好者发起了挑战:大众数学爱好者、证明助理、自动化助手和AI联合起来，是否可以证明扩展几个数量级的数学问题?想参加陶哲轩发起的「众包」数学研究项目吗?机会来了!AI辅助证明数学研究，越来越可行了在传统上，一个数学研究项目通常
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
谷歌正式推出新一代推理模型Gemini 3.0 Pro，在各大评测榜单表现优异：LMArena竞技场以1501分登顶，数学基准测试达23.4%远超同行，编程能力稳居第一梯队，视觉理解准确率高达72.7%达现有水平两倍。该模型基于自研TPU训练，配套发布Agentic编程平台Antigravity，支持多步骤复杂流程自主执行（如智能整理收件箱）。目前通过Gemini应用、AI Studio及API向各类用户开放。
近日，赛迪顾问发布《2025中国AI Infra平台市场研究报告》，全面梳理中国AI基础设施平台市场格局、技术趋势与竞争态势。报告显示，2024年中国AI Infra平台市场规模达345亿元，预计2025年将飙升至673亿元，同比增长95.1%。企业AI应用正从单点验证迈向嵌入核心业务流的深度阶段，对基础设施提出更高要求。科杰科技凭借Data&AI融合架构、湖仓一体引擎及企业级AI落地能力强势入选，位列“挑战者”象限，彰显其在Data&AI领域的领先地位。
香港企业在App研发中面临高昂人力成本与复杂技术栈挑战，导致测试效率低、交付缓慢。Testin云测通过AI驱动的自动化测试方案，整合云端资源与专业服务，实现降本增效：硬件投入优化50%，人力成本降低40%；AI脚本生成技术提升测试效率60%，支持跨平台复用；精准OCR识别助力迭代周期缩短50%。聚焦金融、政企、交通等重点行业，提供符合国际标准的安全测试保障，助力企业从人力密集型向技术密集型转型，以更高质量、更快速度赢得市场竞争。
随着AI技术发展，企业级存储需求激增。江波龙凭借全栈技术能力，深耕半导体存储领域，推出覆盖eSSD、内存模块等产品矩阵，以“大容量、高性能、低功耗”满足AI行业需求。通过PTM模式提供深度定制方案，并与产业链伙伴合作构建开放协同的AI存储生态，推动技术创新与产业升级，为AI发展提供坚实支撑。
2025年10月27-28日，AI驱动科学研讨会（AIAS 2025）在美国旧金山举行。陈天桥发表主题演讲，首次提出“发现式智能”概念，指出这是真正的通用人工智能，强调AI应帮助人类发现未知而非替代人类。他提出实现路径需结合规模路径与结构路径，并分析大脑时间结构包含神经动力学、长期记忆、因果推理、世界模型和元认知五大能力。会议宣布投入超十亿美元建设算力集群，支持年轻科学家探索智能本质。
11月12日，“95后AI天才少女”罗福莉宣布加入小米MiMo大模型团队。她曾因“雷军千万年薪挖角”话题引发热议，拥有丰富AI研发经历，先后在幻方量化和DeepSeek参与大模型研发。罗福莉表示，将与团队致力于推动AI从语言迈向物理世界，全力构建通用人工智能。她的加入将为小米AI研究注入新活力。
上海财经大学数字经研院近日发布《低空+发展研究报告（2025年）》。报告梳理我国低空经济发展现状，提出六要素发展框架，涵盖工业、测绘、物流、文旅、应急救援及城市治理等多元应用场景。报告指出低空经济正与各领域深度融合，成为继“互联网+”“AI+”后的新经济形态，但也面临空域管理改革滞后、基础设施薄弱、核心技术依赖度高、政策协同不足及商业模式不成熟等五大瓶颈。针对人工智能时代发展需求，报告建议加快低空领域改革、建立AI调度体系、突破关键技术、完善产业生态，预计到2035年市场规模将达4万亿元。
2025年建筑环境与能源应用技术交流大会在福州召开，聚焦智能化推动建筑节能降碳。海尔智慧楼宇分享的AI多联机方案引发关注：经全国30多个项目实测，平均节能约20%，相当于电费打八折。该产品首创MCU+NPU双芯设计，实现自主优化运行，在杭州南湖科技园对比测试中节能率达21.3%。其“五不四省”无感焕新方案已应用于200余项目，通过芯片级协同设计，无需云端指挥即可自主分析数据、优化运行，展现出强劲技术引领力。
在南京召开的轻工业科技创新大会上，海尔健康空气工程技术研究中心作为空调行业唯一入选单位，获评“优秀”等级。其凭借“水洗空气净化”技术升级至洗空气空调2.0，实现高效除尘除甲醛；通过声纹识别与大数据算法提供个性化服务，并首创Wi-Fi感控一体技术，实现主动送风与节能控制。这些创新技术经鉴定达国际领先水平，持续引领行业升级，将科技融入日常，为用户带来健康舒适体验。
第二十届中国医师协会皮肤科医师年会暨全国美容皮肤科学大会在重庆召开。YOUMAGIC舒立绯通过科技展台、设备拆解展示及四场技术课堂，呈现其单极射频抗衰技术优势：100ms闪脉冲降低痛感，动态调节实现个性化治疗，临床验证显示3个月有效率100%。产品依托清华基因与医研融合，构建“更舒适、高效、安全”的技术体系，为行业提供精准抗衰新范式。
