搜索
在软件工程顶会ESEC/FSE上，来自马萨诸塞大学、谷歌和伊利诺伊大学厄巴纳-香槟分校（UIUC）的研究人员发表了新的成果，使用LLM解决自动化定理证明问题。
2月2日，巨人网络正式完成了游戏AI大模型Giant GPT的备案。即日起，Giant GPT可以正式开展相关业务。
·美国联邦通信委员会将在未来几周内表决，是否将使用AI生成的语音拨打机器人电话（robocall）定为非法。委员们将在未来几周内对该提案进行表决。
本文讲述了社交媒体上越来越多的美女和型男账号实际上是由AI生成的，让年轻人们陷入了AI侦探的游戏中。文章介绍了网友们辨别AI账号的方法，以及AI账号背后的商业利益和对人类社会关系的影响。
一周前，OpenAI 给广大用户发放福利，在下场修复 GPT-4 变懒的问题后，还顺道上新了 5 个新模型，其中就包括更小且高效的 text-embedding-3-small 嵌入模型。
一直以来，让 AI 成为手机操作助手都是一项颇具挑战性的任务。在该场景下，AI 需要根据用户的要求自动操作手机，逐步完成任务。
今天小雷想带大伙体验的，就是这款能够让你无压力对线亲朋好友，充分考验自己「孝心」的聊天小游戏——《决战拜年之巅》。
在大模型技术的带动下，微软成为唯一一家营收增速还有明显上涨的云厂商
微软研究院上线了面向全球研究界的全新线上系列活动 Microsoft Research Forum，旨在共同探讨人工智能时代的最新研究进展、大胆新颖的想法以及全球研究界关注的重要议题。来自微软研究院全球各地的研究人员将分享他们的研究洞见，并与大家进行在线讨论，希望碰撞出更多新的思想火花。
由香港科技大学（港科大）领导的一支国际研究团队，以人工智能技术（AI）研发出一个机器学习模型，能有效促进全球农田的氨减排。