新闻中心 
-
05-06开发者福音！GitHub 推出AI原生开发环境Copilot Workspace，4大核心功能，预览版已发布！编译|伊风出品|51CTO技术栈（微信号：blog51cto）AI编程界又有新神器了？GitHub推出了人工智能原生开发环境CopilotWorkspace。旨...
-
05-03跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。费马大定理是一个非常复杂的数学...
-
04-30GitHub版Devin上线，会打字就能开发应用，微软CEO：重新定义IDE微软的“GitHub版Devin”——CopilotWorkSpace，终于上线了！WorkSpace是一种“Copilot原生”的全新开发环境，目的是让所有开...
-
04-28阿里智能体“组装工厂”开源！0经验搞定上万Agent并发让多智能体开发就像搭积木，阿里巴巴通义实验室开源多智能体编程框架与开发平台AgentScope。该平台专门为多智能体应用开发者打造，旨在提供高易用的编程体验、稳...
-
04-25仅需Llama3 1/17的训练成本，Snowflake开源128x3B MoE模型Snowflake加入LLM混战。Snowflake发布高「企业智能」模型Arctic，专注于企业内部应用。刚刚，数据管理和仓库提供商Snowflake宣布加入...
-
04-23加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化LeanCopilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？就在刚刚，加州理工教授AnimaAnandkumar宣布，团队发布了L...
