新闻中心 
-
05-16ICML 2025 | 大语言模型预训练新前沿：「最佳适配打包」重塑文档处理标准AIxiv专栏是本站发布学术、技术内容的栏目。过去数年，本站AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术交流与传...
-
05-03跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。费马大定理是一个非常复杂的数学...
-
04-03国内首个AI程序员入职阿里云：专属工号AI001，KPI是一人写完公司20%代码你肯定听过一句话：学计算机要从娃娃抓起。在过去的很多年，学习编程都曾经是一件时髦的事，但随着生成式AI技术的发展，科技圈对此的态度似乎有些转向。英伟达CEO黄仁...
-
04-01一文搞懂如何基于 GenAI 提升编码效能Hellofolks，我是Luga，今天我们来聊一下人工智能(AI)生态领域相关的技术-GenAI。面对日新月异的技术创新以及差异化的业务场景挑战，传统的编码方...
-
04-01GPT-4单项仅得7.1分，揭露大模型代码能力三大短板，最新基准测试来了首个AI软件工程师Devin正式亮相，立即引爆了整个技术界。Devin虽然不能够轻松解决编码任务，但可以自主完成软件开发的整个周期——从项目规划到部署。他尽力挖...
-
03-29大佬出走后首个发布！Stability官宣代码模型Stable Code Instruct 3B大佬出走后，第一个模型来了！就在今天，StabilityAI官宣了新的代码模型StableCodeInstruct3B。图片Stability是非常重要的，首席...
