新闻中心 
-
10-23陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向尝鲜GPT-4之后，陶哲轩又用上了GithubCopilot。这一次，他的试用场景是学习Lean语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算...
-
10-23220亿晶体管，IBM机器学习专用处理器NorthPole，能效25倍提升IBM再度发力。随着AI系统的飞速发展，其能源需求也在不断增加。训练新系统需要大量的数据集和处理器时间，因此能耗极高。在某些情况下，执行一些训练好的系统，智能手...
-
10-232025世界物联网博览会召开，友道智途前沿技术实践推动行业发展10月20日至23日，以“智联世界融合赋能”为主题的2023世界物联网博览会在江苏无锡正式召开。在10月22日举办的智能传感技术应用发展论坛上，友道智途智能驾驶...
-
10-23你的GPU能跑Llama 2等大模型吗？用这个开源项目上手测一测在算力为王的时代，你的GPU可以顺畅的运行大模型（LLM）吗？对于这一问题，很多人都难以给出确切的回答，不知该如何计算GPU内存。因为查看GPU可以处理哪些LL...
-
10-23AIGC时代的视频扩散模型，复旦等团队发布领域首篇综述AI生成内容已经成为当前人工智能领域的最热门话题之一，也代表着该领域的前沿技术。近年来，随着StableDiffusion、DALL-E3、ControlNet...
-
10-23让大模型看图比打字管用！NeurIPS 2025新研究提出多模态查询方法，准确率提升7.8%大模型“识图”能力都这么强了，为啥还老找错东西？例如，把长得不太像的蝙蝠和拍子搞混，又或是认不出一些数据集中的稀有鱼类……这是因为，我们让大模型“找东西”时，往...
