AIGC动态
AIGC,AGI,人工智能
无需人工标注！AI自生成训练数据，靠「演绎-归纳-溯因」解锁推理能力
新加坡国立大学、清华大学和Salesforce AI Research的研究者提出了一种名为“元能力对齐”的训练框架，旨在提升大型推理模型在数学、编程和科学问题上的基本推...
首次解释LLM如何推理反思！西北大学谷歌新框架：引入贝叶斯自适应强化学习，数学推理全面提升
西北大学与Google、谷歌DeepMind团队提出了一种新的强化学习方法——贝叶斯自适应强化学习（BARL），旨在解决传统强化学习（RL）在反思探索方面的局限性。传统R...
硅谷今夜集体失眠！互联网女皇340页AI报告猛料刷屏，大佬熬夜头秃
互联网女皇Mary Meeker发布的《AI趋势报告2025》引发了广泛关注，报告长达340页，深入探讨了人工智能领域的变革与趋势。AI驱动的变革已经全面且不可逆转，既...
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩最近对形式化数学证明产生了浓厚兴趣，并在YouTube上开设了账号，上传了四段视频，专门介绍如何使用Lean进行形式化数学证明。其中，第三支视频尤为引人...
EDA被禁，商务部强硬回应
中国商务部发言人针对美方近期频繁指责中方违反中美日内瓦经贸会谈共识的言论进行了严正驳斥，强调相关指责毫无根据，严重背离事实。发言人指出，中方在5月12...
第一家因为“AI first”而被用户抛弃的公司出现了
2025年5月17日，Duolingo突然清空其TikTok和Instagram上的所有内容，引发了1000多万粉丝的困惑。这一举动并非黑客入侵，而是一次精心策划的营销策略，旨在转...
芯片巨头，奔赴印度
近年来，印度在全球半导体产业中的地位迅速提升，成为国际芯片巨头战略布局的核心坐标。从瑞萨电子宣布在印度启动3nm先进制程研发，到富士康与HCL集团合资建...
商汤官宣联合创始人徐冰将卸任执行董事、董事会秘书职务
商汤集团在端午节前夕发布公告，宣布其联合创始人徐冰将卸任执行董事及董事会秘书职务，专注于推动公司战略性新兴业务的发展，特别是AI芯片业务。徐冰的卸任...
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩近日宣布为其本科教材《Analysis I》创建了一个Lean配套项目，将书中的定义、定理和练习转换为Lean版本，为学生提供了一种新的学习方式。Lean是一种交...
微软再放LLM量化大招！原生4bit量化，成本暴减，性能几乎0损失
微软亚研院的研究团队近期发布了原生1bit精度的大模型BitNet b1.58 2B4T的升级版本——BitNet v2。这一新版本在性能几乎无损失的情况下，显著降低了内存占用和...
