「AI 数学发现」共找到 10395 篇相关文章
刚刚，OpenAI前CTO Mira Murati公司Thinking Machines Lab发文，揭开了大模型不确定性的真相
OpenAI前CTO Mira Murati创立的Thinking Machines Lab推出研究博客Connectionism，首篇文章聚焦LLM推理的非确定性问题。研究发现真正原因是批次不变性缺失，提出实现批次不变内核的方案，实验效果显著。
Android Studio 新功能上线，Compose 预览可调，开发者：终于不用盯着屏幕傻调尺寸了
最新发布的 Android Studio Narwhal 3 Feature Drop 带来功能增强，有可调整大小的 Compose 预览、新备份恢复工具等。支持 AGENTS.md 文件定制 Gemini 行为，还有图片附件和 @File Context 特性，提升 AI 集成与协同能力。
三大核心创新公开，快手开源多模态Keye-VL 1.5拿下视频理解SOTA，8B力压GPT-4o！
快手开源多模态Keye-VL 1.5，为8B视频理解大模型，公开3大核心创新技术。靠Slow - Fast视频编码等，在20 + 基准屠榜。它能精确视频定位，实验显示通用、视频理解和数学推理表现佳。
美国政府变身英特尔最大股东，能帮它重新崛起吗？
路透社消息，美国政府与英特尔达成协议，将掏89亿美元买其4.333亿股普通股，占股9.9%，加上之前拨款，总投资达111亿美元。此交易引发各方争议，美国政府意在提升本土芯片制造能力。
EMNLP2025 | 揭开LLM训练数据中的中文污染真相，有比“您好”高2.6倍的token？
近年来，大型语言模型虽成功，但训练数据易混入不良内容。论文《Speculating LLMs' Chinese Training Data Pollution from Their Tokens》探索此问题，定义PoC Token，开发PoCDetect和PoCTrace工具，揭示LLMs训练数据污染情况。
GPT-5“变笨”实锤，退休教授出了道井字棋送分题，结果它真送了
退休经济学教授用井字棋简单问题测试GPT - 5，其表现拉胯，与“博士级AI”宣传不符。后续操作离谱，或因OpenAI策略调整。此外，OpenAI在测ChatGPT新功能，奥特曼开始炒GPT - 6。
阿里开源Mobile-Agent-v3：多模态GUI智能体，实现跨平台自动化突破！
全新自动化时代，GUI智能体融入日常。阿里巴巴通义实验室推出GUI - Owl与Mobile - Agent - v3，实现跨平台自动化突破。文章解析其发展历程、技术创新，且项目开源，商业化潜力引关注。
ICLR 2026史上最严新规：论文用LLM不报，直接拒稿！
ICLR 2026官方组委会发布「LLM使用新政」，规定用LLM写论文、审稿须明示，作者和审稿人对内容负全责，违规者直接拒稿。还举例说明LLM在不同场景使用的后果。
小扎高薪挖来的人又跳回OpenAI了！首席科学家赵晟佳也要回去
扎克伯格高薪挖人组建Meta超级智能实验室，对标OpenAI和Google DeepMind。但刚挖来的人有回流，老员工也出走，涵盖多岗位。重组致管理混乱，华尔街质疑720亿美元AI投资回报。
LLM-based Reranker效果到底如何？一项关于SoTA模型的全面分析
在信息爆炸时代，重排序是信息检索系统核心。论文对22种重排序方法实证研究，构建无污染数据集FutureQueryEval。结果显示LLM重排序器泛化能力被高估，轻量级模型有优势，为研究和应用提供指南。