新年科技新闻汇总:苹果发布M3系列iPad、MacBook Air和iPhone 16e;AI领域的DeepSeek和Manus备受关注;OpenAI面临压力;Boom XB-1超音速飞机和飞行汽车Alef展示未来科技。
Boom Supersonic的XB-1原型机在第12次飞行中成功突破音速,达到Mach 1.1,标志着民用飞机首次超音速飞行,推动Boom朝2030年首飞更大客机的目标前进。
降阶建模技术利用自动编码器神经网络学习非线性动力系统的低维流形。提出了动力学感知成本函数和非线性投影框架构建计算高效的降阶模型的技术。案例研究涉及涡街现象。
本文介绍了Synchromesh框架,用于增强预训练语言模型在代码生成中的可靠性。该框架使用Target Similarity Tuning选择语义上相似的训练样例,并采用Constrained Semantic Decoding方法约束输出代码的合法性,提高了模型的实用性和运行效率。作者在SQL查询、Vega-Lite可视化和SMCalFlow编程语言中进行了实验,展示了CSD在约束语义、范围、类型规则和上下文逻辑等方面的有效性。
完成下面两步后,将自动完成登录并继续当前操作。