新闻动态
-
202312-16
- 陶哲轩采用大型模型的证明助手Lean，展
- 「我预计，如果使用得当，到2026年，AI将成为数学研究和许多其他领域值得信赖的合著者。」数学家陶哲轩在之前的一篇博客中说道。陶哲轩这样说了，也这样做了。他最近...
-
202312-01
- openKylin推出AI框架安装助手，
- 根据IT之家12月1日的消息，据openKylin官方公众号透露，openKylin社区的AI4OSSIG组目前已经开发了AI框架安装助手，据称该助手可以帮助相...
-
202311-29
- 亚马逊 AWS 推出 AI 聊天机器人
- IT之家11月29日消息，亚马逊在公司一年一度的AWSReinvent大会上推出了名为AmazonQ的新型聊天机器人，它旨在帮助企业和员工更好地利用亚马逊网络服...
-
202310-13
- 微软针对 Bing AI 启动 Bug
- IT之家10月13日消息，微软安全响应中心今天发布新闻稿，宣布启动新一轮BUG悬赏计划，不过本次悬赏的重点是以BingAI为主的AI产品，最高赏金为15000美...
-
202310-03
- 令人不安的是，机器狗已经具备这种能力了
- 使用单一的神经网络实现操纵，是四足机器人领域的一项重大技术突破跑酷是一项极限运动，需要参与者以高度动态的方式跨越障碍，对于大多数时候「笨手笨脚」的机器人来说，这...
-
202309-22
- 国内推出全新语音对话大模型：李开复领衔，
- 首个中英双语的语音对话开源大模型来了！这几天，一篇关于语音-文本多模态大模型的论文出现在arXiv上，署名公司中出现了李开复旗下大模型公司01.ai——零一万物...
-
202309-20
- 用火山引擎，大模型将数据飞轮「点燃」
- 在大模型对千行百业的改造进程中，火山引擎率先交出了一份数据行业的个性化答案。9月19日，在上海举办的“数据飞轮・V-Tech数据驱动科技峰会...
-
202309-19
- 程序员 AI 助手新竞品，蚂蚁集团宣布开
- 9月8日消息，目前市面上已经有不少能够辅助写代码的AI产品了，在今日的外滩大会分论坛上，蚂蚁集团首次开源了代码大模型CodeFuse，加入这一市场竞争中。据介绍...
