AI代码审查成程序员新痛点

随着AI编程工具普及，产品经理、设计师等非开发人员也能轻松生成代码并提交PR，但开发者发现审查这些代码比审查人类代码更费力。Stack Overflow 2025开发者调查显示，AI输出“几乎正确但不够精确”是最常见问题；Sonar 2026报告指出96%开发者不完全信任AI代码，38%认为审查更费时。LinearB基准测试显示AI生成的PR等待审查时间比人类长4.6倍，被拒绝率更高；METR研究发现早期AI工具让资深开发效率降低19%。开发者指出，AI虽能快速写出代码，但无法保证可信任与可扩展性，表面修复往往隐藏技术债务，真正的软件开发在于判断变更的影响而非单纯打字。 #AI编程 #代码审查 #开发者 #软件工程 #技术债务 #AI信任 #效率 #科技新闻

确定性包络驯化SGLD

研究人员提出一种名为“”的新方法，旨在解耦随机梯度噪声与局部化驯化过程。该工作通过设计确定性包络，有效分离了随机梯度下降中的噪声干扰，同时将驯化机制局部化，提升了优化算法的稳定性和效率。相关论文已在arXiv预印本平台发布，由Yiwei Zhou与Ziheng Chen共同撰写，展示了在随机优化领域的理论创新。 #机器学习 #优化算法 #随机梯度下降 #学术论文 #AI研究

华为云发布Agentic AI系列新品，定义智能基础设施新范式

6月5日，华为云在上海INSPIRE创想者大会上正式提出Agentic Infra新范式，并发布一系列Agentic AI新品，涵盖通智一体化基础设施、模型训推平台及企业级智能体平台。新品包括：AICS灵衢智算集群，支持10万卡级规模、200EFLOPS算力，Token生成时延低于10毫秒；AMS记忆存储解决方案，实现PB级空间与天级长程任务；CCE VolcanoNext调度引擎，资源利用率提升30%以上；以及AgentSphere安全运行环境。同时，“行业AI梦工厂”上线智慧医疗、具身智能、智能制造、科学计算四大专区，旨在用AI解决行业难题，加速数智化生态发展。 #华为云 #AgenticAI #人工智能 #智能计算 #行业AI #科技新闻 #基础设施

稀疏函数奇异值分解实现纵向数据双聚类与三聚类

近日，学术论文《Sparse Functional Singular Value Decomposition for Biclustering and Triclustering Longitudinal Data》在arXiv预印本平台发布。该研究由Yue Zhao等学者提出一种稀疏函数奇异值分解方法，专门用于纵向数据的双聚类与三聚类分析。论文通过引入稀疏性约束和函数型数据处理技术，有效捕捉高维纵向数据中的潜在结构，提升了聚类结果的解释性和稳健性。该方法有望在生物医学、经济学等需要分析重复测量数据的领域发挥重要作用。 #arXiv #论文 #数据科学 #聚类分析 #纵向数据 #函数型数据分析 #机器学习

华为云发布Agentic AI系列新品，打造智能时代“硅基黑土地”

华为云在近期发布Agentic AI系列新品，旨在构建智能时代的“硅基黑土地”基础设施。该系列产品聚焦于AI代理（Agent）技术的落地，提供从算力、模型到应用的全栈能力，帮助企业加速智能化转型。华为云表示，通过开放的生态和强大的算力平台，将推动AI在千行百业中规模化应用，降低AI开发门槛，提升生产效率。此次新品发布标志着华为云在AI原生云服务方向的深入布局，进一步巩固其作为行业数字化底座的角色。 #华为云 #AgenticAI #人工智能 #硅基黑土地 #科技新闻 #AI基础设施

扩散模型仅观察梯度

一篇题为《扩散模型仅观察梯度：分数匹配误差的几何视角》的论文在arXiv上预印发布。该研究由Nail B. Khelifa等人完成，从几何角度深入分析了扩散模型中分数匹配误差的本质。论文指出，扩散模型在训练过程中实际上只利用了梯度信息，而非完整的函数值，这一发现为理解模型行为提供了新视角。研究通过几何框架重新审视分数匹配的误差来源，揭示了现有方法在低数据密度区域的潜在缺陷，并提出了改进方向。该工作对提升扩散模型的生成质量和稳定性具有理论指导意义，有望推动图像生成、科学计算等领域的应用发展。 #扩散模型 #分数匹配 #几何视角 #机器学习 #AI研究 #arXiv #论文

AI营养应用Nouri

Nouri是一款集食物扫描、AI餐食计划、智能锻炼和餐馆推荐于一体的健康应用。用户只需拍摄食物、条形码或菜单，即可瞬间获得营养成分、健康评分和Nouri评分。AI每周根据用户目标、饮食需求和上周实际摄入生成个性化餐食计划。锻炼计划会根据营养摄入自动调整，例如在营养不足时建议休息日，蛋白质达标时安排力量训练。附近餐馆也会根据用户资料获得匹配评分，帮用户提前选择合适菜品。Nouri采用PWA技术，无需下载应用商店，在手机浏览器访问并添加至主屏幕即可使用，支持离线模式。提供14天免费试用，无需信用卡。付费方案分为Pro（9美元/月）和家庭版（19美元/月，最多5人），包括无限扫描、完整AI餐食计划、锻炼程序、健康报告导出等功能。已有超过1万名用户使用并反馈体重减轻、训练表现提升等积极效果。 #AI营养 #食物扫描 #个性化健康 #智能健身 #数字健康 #PWA #健康生活 #科技应用

Telegram必备的搜索引擎，极搜JISOU帮你精准找到，想要的群组、频道、视频、音乐

👉 t.me/jisou2?start=a_8247614025

函数空间先验下的贝叶斯神经常微分方程及其在船舶轨迹预测中的应用

该论文提出了一种基于函数空间先验的贝叶斯神经常微分方程（Neural ODE）方法，并将其应用于船舶轨迹预测任务。传统贝叶斯Neural ODE在参数空间施加先验，而该方法在函数空间直接定义先验，从而更好地刻画轨迹的连续动力学特性并量化不确定性。实验表明，与参数空间先验相比，函数空间先验显著提升了预测精度和鲁棒性，尤其适用于复杂海况下的长时程轨迹推断。 #贝叶斯推断 #神经常微分方程 #函数空间先验 #轨迹预测 #船舶 #机器学习 #不确定性量化

保形风险共享

该研究提出了一种基于保形预测框架的风险共享与成本分配方法，旨在为多方参与的合作系统提供数学上的参与保证和风险认证。传统成本分配机制往往依赖假设或近似，难以保证个体参与者的风险边界。通过引入保形不确定性量化技术，该方法能够在有限样本下为每个参与方提供经验验证的置信区间，确保分配结果在概率意义上满足预设的公平性和稳健性要求。论文从理论层面证明了该方法的覆盖率和成本上限的统计保证，并讨论了其在联合学习、保险定价及共享经济等场景中的潜在应用。该工作为低成本、高可信度的成本分摊问题提供了新的可解释工具。 #保形预测 #风险共享 #成本分配 #机器学习理论 #统计保证 #AI安全 #公平性

深度神经网络统一收敛中维度灾难的缓解

近日，一篇题为《通过平滑激活函数缓解深度神经网络统一收敛中的维度灾难》的论文在arXiv预印本平台发布。该研究由Yizhe Ding等人完成，聚焦于深度神经网络的收敛理论。在高维数据场景下，神经网络面临“维度灾难”的挑战，即随着输入维度的增加，收敛速度急剧下降。该论文提出采用平滑激活函数来缓解这一问题，证明了在适当的平滑条件下，神经网络能够实现与维度无关的收敛速率。这一发现为深度学习的理论基础提供了重要补充，有助于设计更高效的高维数据建模方法。论文目前可在arXiv上获取全文。 #深度神经网络 #维度灾难 #平滑激活函数 #收敛理论 #arXiv #机器学习 #AI研究 #高维数据

PAC-Bayesian 对抗鲁棒泛化用于消息传递图神经网络

该论文针对消息传递图神经网络（MPGNNs）在对抗性攻击下的鲁棒泛化问题展开研究。作者引入 PAC-Bayesian 框架，通过敏感性分析推导出新的泛化界，揭示了模型参数扰动与对抗鲁棒性之间的内在联系。实验表明，所提出的方法能有效评估并提升 MPGNN 在对抗环境下的泛化性能，为图结构数据的鲁棒学习提供了理论支持。该工作对提升图神经网络在安全敏感应用中的可靠性具有指导意义。 #图神经网络 #对抗鲁棒性 #PAC-Bayesian #泛化理论 #机器学习 #AI安全 #科研论文

Meta元老员工谈AI、就业与老板扎克伯格

在Meta（原Facebook）工作近20年的娜奥米·格莱特，是公司第29号员工，如今担任产品主管。她近日接受BBC专访，回忆当初母亲曾希望她入职已破产的雷曼兄弟。格莱特承认Meta经历过隐私丑闻、选举干预等风波，但认为外界对扎克伯格“冷漠机器人”的标签有失公允，称他是出色的丈夫、父亲和领导者。谈及AI，格莱特透露Meta正将AI代理整合到WhatsApp中，计划向企业（尤其是小企业）收费，让AI全天候代运营客户聊天并分析业务数据。她认为AI无疑将改变劳动力市场，但乐观相信会催生新岗位，就像产品经理这一职位在互联网出现前并不存在。尽管Meta近期持续裁员，她仍坚信技术变革带来的机遇。 #Meta #AI #扎克伯格 #WhatsApp #就业 #人工智能 #科技新闻