这项由北京航空航天大学的杨健、国鑫、林静等研究者联合优矿公司和中国人民大学人工智能学院团队完成的突破性研究，发表于2025年12月的arXiv预印本（论文编号：2512.13472v1），是全球首次系统性探索多语言编程训练规律的重要成果。

GitHub上最近出现了一个非常火的项目Agent-Skills-for-Context-Engineering，发布不到一周就斩获了2.3k ...

2025年9月，宇树（Unitree）机器人被曝存在一系列代号为“UniPwn”的高危安全漏洞。该漏洞源于其低功耗蓝牙（BLE）配置接口使用硬编码密钥，允许攻击者近距离伪造管理员身份并植入恶意代码，从而获取系统最高权限。尽管漏洞已于5月上报，厂商迟至9月才发布修复补丁，响应滞后引发业界担忧。

IT之家 12 月 26 日消息，英伟达 12 月 4 日发布了全新的 CUDA 13.1 并引入了一种名为 CUDA Tile 的全新 GPU 编程方式，这是自 2006 年 CUDA 平台问世以来规模最大、内容最全的一次功能扩展更新。

我们决定不写一行代码，仅凭自然语言，让 M2.1 手搓一个 3D 交互版的《Attention Is All You Need》论文主页。 同时，为了验证它是否真的具备从视觉审美到工程硬实力的全栈能力，我们还准备了两道硬核关卡：Zotero 智能学术中台与 Go 语言高并发 arXiv 论文雷达。

Overview:  Reinforcement learning in 2025 is more practical than ever, with Python libraries evolving to support real-world simulations, robotics, and deci ...

顶尖国际模型如GPT、Gemini在专家级数学难题FrontierMath上表现优异，但在真正高难度问题面前仍未满分，显示出推理能力仍有提升空间。与此同时，AI推理能力和强化学习的进步让增长速度几乎翻倍，成本大幅下降，许多模型已能在消费级硬件上运行。

不过迄今为止，微软试图用其他语言取代 C++、WinUI、XAML 等原生语言的尝试并未获得消费者、企业的认可。这种做法造成的内存占用问题反而引人诟病，例如 Discord 或微软自家的 Teams 都成了内存消耗大户。

Chinese AI startup’s release is a major update to its open-source model series, aimed at multi-language programming and ...

Here’s how an AI-powered trader earned $2.2 million on Polymarket using data models, automation and probability-based trading ...

Aider is a “pair-programming” tool that can use various providers as the AI back end, including a locally running instance of ...

字节跳动旗下Seed团队近日宣布，其研发的新一代形式化数学推理模型Seed Prover 1.5正式发布。该模型通过引入创新的Agentic架构与大规模强化学习训练方法，在多项高难度数学评测中取得突破性进展，刷新了形式化数学推理领域的性能纪录。 在备受瞩目的国际数学奥林匹克（IMO 2025）模拟测试中，Seed Prover ...