陶哲轩成功用AI工具形式化多项式Freiman-Ruzsa猜想的证明，标志着数学研究中人工智能的广泛应用，引发了数学界的震动。他在博文中详细记录了使用Blueprint在Lean4中形式化证明的过程。…

微软发布Windows 11预览版，Copilot取代经典“显示桌面”按钮，以提升人工智能功能。用户可手动启用“显示桌面”功能，Microsoft正在测试是否将引入正式Windows版本。

维基媒体基金会发布的数据显示，2023年英语维基百科最受欢迎的页面竟然是关于ChatGPT的。该人工智能聊天机器人在一年多的时间里迅速崛起，但编辑们对其可能导致的问题表示担忧。维基百科创始人吉米·威尔…

巴西南部城市Porto Alegre最近通过ChatGPT完全起草的法案，引起社会广泛关注。议员Ramiro Rosário承认使用ChatGPT起草法案，未在提案前告知议会，但法案成功通过。Rosá…

AMD计划在Advancing AI活动上揭晓最新的MI300芯片，与英伟达竞争加剧。新芯片将推动人工智能系统发展。AMD与AI硬件和软件合作伙伴日益增长的势头。预计MI300在2024年将产生销售额…

微软宣布向英国投资32亿美元，创下历史新高。计划扩大数据中心规模，为100多万人提供培训，加强对英国研究人员支持。投资旨在推动英国人工智能行业，培训人才，加强基础设施，标志着微软40年来在英国的最大一…

OpenAI 公布了公司在安全方面的举措。OpenAI 表示，其安全系统团队处于确保当今现实世界中人工智能模型安全性和可靠性的最前沿。安全系统团队致力于确保人工智能模型及其在现实世界中的部署的安全性、…

根据Infosys知识研究院的最新研究，欧洲企业计划在未来一年内增加115%的生成式人工智能投资，达到28亿美元。法国和德国领先，支出预计将分别翻倍至7.3亿和6.1亿美元。欧洲企业关注伦理和偏见问题…

过去一年，GPT-4未通过图灵测试，GPT-3.5在与60年前AI系统ELIZA的对话中失利。研究聚焦图灵测试，探讨人工智能人性化特征。调查员判断主要基于语言风格和情感特征，教育程度对检测人工智能无显…

特朗普周一指责林肯项目使用人工智能贬低他的形象，实际未采用。林肯项目是共和党政治倡导组织，通过广告批评特朗普。指控或为特朗普转移注意力，试图贬低对手的攻击广告。林肯项目否认使用人工智能，可能是特朗普对…

新加坡启动5,200万美元国家多模态大语言模型计划，旨在填补西方语言模型的空白。合作伙伴包括IMDA、AI Singapore和Agency for Science，计划引入区域性语境基础模型，提高人…

新加坡副总理黄循财宣布国家人工智能战略，计划培养15,000名机器学习科学家和工程师。产业合作包括与芯片制造商和云服务提供商的合作，提升计算资源，服务科技巨头亚洲总部。新加坡承诺政府激励措施，支持人工…

澳大利亚政府针对人工智能与版权问题成立专注小组，关注使用受版权保护的材料进行AI模型训练。生成式AI技术的快速增长引发了多起诉讼，政府迫切需要制定应对策略。澳大利亚政府与利益相关方合作，努力平衡AI发…

OpenAI首次公布用户自定义GPT和GPT商店，但ChatGPT被发现存在隐私泄露风险。研究人员揭示，重复要求ChatGPT可能暴露用户个人信息，导致该聊天机器人拒绝以前允许的某些请求。此外，Ope…

阿里巴巴智能计算研究所推出Animate Anyone技术，将静态图像转为逼真动态视频。技术进步解决幻觉问题，但在眼睛和手部动作处理上仍有挑战。引发滥用担忧，可用个人照片制作虚假视频，可能导致虚假信息…

谷歌子公司DeepMind推出突破性人工智能代理系统，可通过文化传递的模仿学习形式直接向人类学习任务。研究强调了不依赖大型数据集，解决了隐私问题的优势。该创新方法对培训机器人和提供个性化客户服务具有重…

英国政府提出了新的在线安全法案，旨在保护儿童免受在线色情内容的侵害。其中一项引起争议的提议是使用人工智能技术判断用户是否达到合法观看色情内容的年龄。拟议中的方法包括面部年龄估计、照片身份匹配、信用查验…

戴尔技术的全球首席技术官约翰・罗斯预测，在未来五年内，量子计算和生成式人工智能将实现交汇。人工智能将推动其他新兴技术在先进硬件、边缘设备和网络安全领域协同发展，促进业务转型。生成式人工智能将从构建培训…

英国教育部发布研究报告，指出受过高形式教育的工作更容易被AI替代，管理顾问、财务经理最危险。电话销售员、律师、心理学家最有可能被聊天机器人取代。体育运动员、屋顶工人等需要复杂技术和体力劳动的工作最不容…

OpenAI在中国积极申请GPT-6和GPT-7商标，展现全球化视野。1万亿参数的GPT-4引发期待，公司在审查中持续改进大型语言模型。首席执行官Sam Altman关注GPT-5研发，寻求微软资金，…

Larry Summers是OpenAI新董事，他在采访中强调公司必须与政府合作解决监管和国家安全问题。Summers强调OpenAI的工作非凡，并主张以社会责任感的方式运作。他对公司治理安全性的看法…

四大会计师事务所安永最近在其英国审计客户的账目上测试了一种旨在识别欺诈的人工智能系统，并成功检测到两宗可疑活动。这一早期成功展示了人工智能在提高审计质量和减轻工作量方面的潜力，但审计师对其依赖程度存在…

OpenAI宣布将GPT商店发布时间推迟至2024年初，此举发生在公司内部动荡的背景下。首席执行官更迭、员工威胁罢工后，公司致力于改进GPT，以满足用户需求。商店预计让用户个性化定制GPT，同时通过用…

根据2023年Skyscanner Horizons报告，超过48%的旅行者在规划航空旅行前使用手机进行目的地研究，近47%的人在比较航班后再做决定。报告还显示了22%的旅行者使用AI聊天机器人帮助研…