近期，arXiv 上陆续出现了大模型自动优化约束求解器的论文，一个是当下热门的 AI 方向，一个是比较传统的算法研究方向，它们的碰撞会擦出怎样的火花？ 求解器，是工业软件的核心计算引擎，它在芯片设计、工业调度、智能制造等多个领域都有重要应用。

中国科学院软件研究所研究员蔡少伟带领的团队长期研究约束求解器，近三年来该团队在结合大模型和约束求解的方向上持续耕耘，在 arXiv 上陆续公开了相关论文。蔡少伟认为，在大模型的加持下，求解器领域即将发生一次伟大的变革。求解器的研发周期和 ...

AI 开发复杂软件的时代即将到来？ 近年来，以 Google 的 AlphaEvolve 为代表的研究已经证明，AI 智能体可以通过迭代来优化算法，甚至在某些小型、独立的编程任务上超越人类。然而，这些工作大多局限于几百行代码的「算法内核」或单个文件。 但现实世界的软件 ...

利益相关声明：作者与文中产品有直接的利益相关（开发者、自家产品等） 疫情期间让人们线上办公需求激增，进而刺激了平板市场的繁荣发展。从最开始 Android 平板厂商推出敷衍品以匆忙应战到现在每个厂商都各具特色，Android 平板似乎也终于摆脱了“敷衍 ...

SNAIDERO创始于1946年，作为世界顶级橱柜品牌的SNAIDERO一直引领着欧洲乃至世界厨房家具的发展。SNAIDERO集团是欧洲最大的意大利橱柜生产商，七十年来SNAIDERO的产品不仅被社会各界名流和成功人士所追逐，更已成为纽约现代艺术博物馆收藏之珍品。SNAIDERO在意大利 ...