ChatGPT推出已满一周年，目前每周活跃用户约1亿，超过92%的财富500强公司都在使用ChatGPT。但最近几周，OpenAI经历了过山车式的人事变动，首席执行官SamAltman被董事会罢免

2023-12-06 阅读全文

《通义灵码》是由阿里云推出的智能编码助手，它基于通义大模型，提供了代码智能生成和研发智能问答等功能。这个工具可以通过行级和函数级代码续写、单元测试生成、代码注释

2023-12-06 阅读全文

陶哲轩成功利用AI工具形式化了多项式Freiman-Ruzsa猜想的证明，这一成果引起了数学界的广泛关注。他在博文中详细记录了使用Blueprint在Lean4中形式化证明的过程。这一成果展

2023-12-06 阅读全文

Cisco的高级副总裁JeetuPatel在澳大利亚墨尔本举行的CiscoLive活动上表示，人工智能将改变信息安全领域，但用户最终需要为拥有这一二进制智能伙伴付费。攻击者只需一次成功

2023-12-06 阅读全文

首尔地铁正在积极测试一项创新的实时面对面AI翻译服务，以改善外国游客和地铁站工作人员之间的沟通，借助透明屏幕提供对13种语言的支持。该服务目前正在韩国首都的明洞站进

2023-12-06 阅读全文

今天小米公司正式宣布，将于12月7日晚7点举行小米澎湃OS体验沟通会，届时将针对新系统的体验方面进行详细发布和讲解。小米澎湃OS团队将全面分享如何基于先进架构进行系统重

2023-12-06 阅读全文

美国创业公司VisualElectric近日公开发布AI艺术生成器，旨在为企业用户提供更适合视觉创意的AI艺术、视觉设计和创造性工具。该公司的创始人兼首席执行官ColinDunn表示，他们

2023-12-06 阅读全文

法国制药技术公司Aqemia宣布已与行业巨头全球制药公司赛诺菲达成价值高达1.4亿美元的多年研究合作协议。图源备注：图片由AI生成，图片授权服务商Midjourney该合作旨在发现跨

2023-12-06 阅读全文

来自南加州大学、华盛顿大学、巴伊兰大学和谷歌研究团队的研究人员推出了DreamSync，这是一种新型人工智能框架，致力于解决扩散型文本到图像模型中对齐和审美吸引力的问题无

2023-12-06 阅读全文

Microsoft最近在Dev频道中发布了Windows11的预览版本，试图通过替换一个受欢迎的快捷方式来提升操作系统的人工智能功能。该预览版中的主要特性之一是Copilot的快捷方式，它

2023-12-06 阅读全文