「Gemini 3.6 Flash」共找到 2939 篇相关文章
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
别再只关注KV Cache了! LLM稀疏性新洞察：为何模型越深越稀疏？UNCOMP从矩阵熵给出答案
团队论文UNCOMP获EMNLP 2025主会接收，它提出高效推理框架，从截断矩阵熵视角解释LLM深层稀疏现象。还能识别关键结构、找到最优压缩策略，设计的UNCOMP框架优化KV Cache，实验效果佳。
被H-1B签证折磨10年，前微软科学家用AI「掀桌」
美国签证体系成本高、周期长、透明度低，前微软科学家Priyanka Kulkarni创办Casium，用AI改造签证服务，把材料准备时间大幅缩短，近期获500万美元种子轮融资。新规下，其服务更显重要。
国庆这8天，我发现和AI辩论才是最高效的学习方式。
作者国庆假期与AI辩论，以自身关于AI时代信息筛选的观点为例，阐述和AI辩论是高效学习方式。先提出观点，后与AI多轮交锋，过程虽痛苦但能促使人思考、完善观点，还给出与AI辩论三步法。
南昌博士造智驾芯片，公司市值8个月狂涨1000亿
南昌博士余凯创立的地平线，股价飞升，市值8个月涨约1000亿港元。其征程芯片出货破千万，获多家车企订单，上半年营收大增。余凯还布局Robotaxi新赛道，发力机器人业务，虽未盈利但前景广阔。
找ChatGPT谈恋爱多是“日久生情”？！MIT&哈佛正经研究
麻省理工和哈佛研究人员分析Reddit子版块r/MyBoyfriendIsAI帖子，揭露人们找“AI男友”动机与相处过程，发现人们多“日久生情”选ChatGPT，模型更新是噩梦，AI还能缓解心理问题。
晶晨股份全资收购无线通信芯片公司芯迈微
晶晨股份拟3.16亿全资收购芯迈微，核心是战略补强，借此获取研发团队与技术IP，补齐广域网连接短板，构建全栈解决方案能力，从单点技术竞争迈向平台生态竞争。
首发丨手机的『魔法挂件』，实测钉钉dingtalk A1，有用的好帮手
2025年基于大模型的AI硬件焕发生机，钉钉dingtalk A1是其中代表。它厚度仅3.8mm，使用方便，具备会议录音转写、纪要生成、通话分析等功能，还能用于学习和生活场景。
一文看懂“存算一体”
文章介绍存算一体概念，它因传统冯·诺伊曼架构在数据爆炸、AI崛起下暴露“存储墙”“功耗墙”问题而提出。阐述其发展历程、技术路线、存储介质、应用场景，也指出技术、生态、市场方面挑战，前景潜力大。
Google 推出超小杯 AI：Gemma 3 270M！可进手机和浏览器
Google发布Gemma 3家族最小版本Gemma 3 270M，2.7亿参数，能耗低，在同规模模型中表现突出。设计理念是“够用就行”，适合特定任务，已在多平台发布，开源策略效果好。