这是一个关于人工智能如何学会更好地思考的故事。想象一下，你在教一个聪明但有点"散漫"的孩子做数学题。这个孩子通常能猜对答案，但他的推理过程常常有漏洞——他会说"因为看起来对所以就对了"，而不是真正理解为什么。如今，来自香港科技大学、上海人工智能实验室、浙江大学和香港浸会大学的研究团队发现了一个巧妙的办法，让这个"散漫的孩子"学会了像数学家一样严谨地思考。这项研究发表于2026年1月，论文编号为ar ...

这项由加州大学河畔分校地球与行星科学系领导，联合多家印尼顶尖科研机构完成的研究发表于2025年1月的arXiv预印本服务器（论文编号：2601.12029v1），有兴趣深入了解的读者可以通过该编号查询完整论文。

研究团队也坦诚地讨论了方法的局限性。首先，集成形式化验证确实增加了计算成本——训练时间大约是标准方法的两倍。不过他们认为这个代价是值得的，因为数据效率的提升足以弥补这个成本。其次，将自然语言转换为形式化规范本身是个挑战，特别是对于那些描述模糊或涉及常 ...

研究团队开发的sangkuriang软件包采用了一种被称为"伪谱方法"的高级计算技术。这种方法就像是用一把极其精细的数学"显微镜"来观察波浪的每一个细微变化。传统的数值方法就像用粗糙的网格来捕捉波浪，而伪谱方法则使用傅里叶变换——一种能够将复杂波形分解成简单正弦波组合的数学工具——来实现极高的计算精度。

一项发表在 Science上的最新研究表明，当前爆火的氛围编码（Vibe Coding）可能会扩大人与人之间的技能与收入差距。 来自乌得勒支大学的研究团队通过机器学习方法，系统地分析了 160097 名开发者在 GitHub 上提交的超过 3000 ...