「CS146S」共找到 207 篇相关文章
全球直播！Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
本文报道OpenAI发布数学难题挑战后，人类研究者联合开源社区AI智能体蜂群，仅24小时就将OpenAI第109号整数乘法下界难题的核心参数实现数亿倍突破，展现了人+AI协作的去中心化科研新范式。
三分之一arXiv沦陷！CS论文65%被判「AI味」，数学仅0.7%
一份unslop研究显示，过去一年arXiv计算机科学领域65%新论文被检测器标红，但可能只是闻起来像AI。数学论文仅0.7%，或因检测器只认文字。研究有局限性，真实用AI比例可能更高。
清华大学AI4S研究新进展：让科学智能体发现公式、探索机理
清华大学电子工程系团队在AI for Science领域取得两项新进展，提出可复用的智能体符号回归运行时框架SRHarness，构建机制发现评测基准MechBench，推动AI科学发现从拟合观测走向理解机制。
蚂蚁集团扩散大语言模型新突破：超800Token/s，速度与质量兼得
蚂蚁集团将LLaDA更新到2.1，通过引入“草稿 - 编辑”机制，打破扩散模型推理速度与质量的对立僵局。它有极速和质量两种模式，还采用混合训练流程及强化学习，在多基准测试中表现出色。
上交大 × 华为小艺推出LoPA：7B扩散语言模型单样例1000+ tokens/s！
上海交通大学DENG Lab联合华为小艺团队提出无需训练的解码算法LoPA，配合自研的LoPA - Dist分布式推理系统，显著提升扩散大语言模型（dLLMs）的推理并行度和吞吐量，将推理效率推向新高度。
AI4S回归白盒符号主义，清华等联合发布SR-LLM：自主发现科学知识
清华大学等多所高校联合发布SR - LLM，这是融合大语言模型与深度强化学习的符号回归框架。它从数据生成可解释数学模型，在跟车行为建模等任务表现优，为机器自主科学发现开辟新路径。
投85份简历0 Offer！CS研究生心态崩了，亲历20年最猛裁员潮
今年美国裁员破百万，十月裁员规模创2003年来同期新高，AI成背后推手。一机器学习研究生狂投85份简历无果，微软等巨头也加入裁员潮，却仍能实现收益递增，出现“无就业增长的繁荣”。
奇绩创坛 2025 春季路演：Agent、具身、Infra、AI4S，57 个项目完整介绍
奇绩创坛2025年春季创业营路演日，57家公司参与。项目集中在场景智能、空间/具身智能等方向，覆盖AI Agent、智能硬件等赛道，还展示了前沿科研和创业项目。文章介绍了各项目的一句话介绍、简介和团队情况。
首个千万美金ARR的AI4S公司，完成AI设计新分子商业应用
2026 年初，AI 从「单一工具赋能」转向「场景深度共生」。MetaNovas 携 Agentic AI 先进材料发现平台亮相，以创新模式打破传统研发瓶颈，完成从「AI 设计」到「AI 落地」跨越，实现千万美金 ARR。
哈佛CS博士月入4000，抢GPU搞科研！硅谷百万年薪挖人，学界疯狂逃离
AI人才大战使学术界陷入危机，博士生津贴低、抢显卡搞科研，面对硅谷百万年薪和大厂千亿算力投入诱惑，加速流向产业。教授担心学生跳槽，高校补救难，产业还推出“折中方案”，学术界考验才刚开始。