Google DeepMind 新 AI 系统能在数学奥林匹克竞赛中取得银牌

2024-07-26 15:07 by 喀迈拉空间

Google DeepMind 新 AI 系统 AlphaProof 和 AlphaGeometry 2 能在 2024 年国际数学奥林匹克(IMO)竞赛获得银牌，解决了六道题中的四道，获得了 28/42 分，标志着 AI 在数学推理方面取得重大突破。IMO 是历史最悠久、规模最大、最负盛名的青年数学家竞赛，自 1959 年以来每年举办一次。选手要解决代数、组合学、几何和数论方面六个异常困难的问题。DeepMind 表示，IMO 的数学问题被人工翻译成数学语言，供系统理解。在正式比赛中，学生们分两次提交答案，每次 4.5 小时。而 AI 系统在几分钟内解决了一个问题，花了三天时间解决其他问题。基于强化学习的推理系统 AlphaProof 解决了两个代数问题和一个数论问题并被证明答案正确，这些问题包括今年 IMO 比赛中只有 5 名选手解决的最难的问题。AlphaGeometry 2 证明了几何问题，但两个组合问题仍未解决。

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
https://news.sciencenet.cn/htmlnews/2024/7/527125.shtm

#人工智能

via Solidot - Telegram Channel

苹果将采用拜登制定的自愿 AI 保障措施

苹果公司是最新一家同意拜登总统政府制定的一系列人工智能自愿保护措施的公司，拜登政府试图引导新兴技术的发展并鼓励企业保护消费者。苹果公司承诺测试其人工智能系统是否存在歧视倾向、安全漏洞或国家安全风险。这些原则要求公司向政府、民间社会和学术界透明地分享这些测试的结果，并报告任何漏洞。拜登去年签署了一项全面的行政命令，要求强大的人工智能系统在联邦政府采购之前必须接受测试。据白宫官员透露，拜登定于周五在椭圆形办公室听取关于其工作人员执行该指令进展情况的简报。

—— 彭博社

via 风向旗参考快讯 - Telegram Channel

Altman敦促美国采取行动在AI竞赛中击败中国😂

OpenAI联合创始人兼CEO Sam Altman在接受Axios采访时呼吁建立由美国主导的全球联盟，以确保民主愿景在AI领域占据主导地位。他强调，美国政府和各州需要更加紧迫地采取行动，特别是在基础安全、基础设施、商业外交和全球治理方面。Altman担心，如果中国在AI领域占据主导地位，将会强迫美国公司和其他国家分享用户数据，并利用技术进行监控和网络攻击。

Axios

☘️ 关注频道 @ZaiHuaPd
📮 投稿爆料 @ZaiHuabot

via 软件新闻频道📮投稿爆料 - Telegram Channel

AI 公司 Runway 或大规模抓取 YouTube 视频训练自己的模型，引发版权争议

估值 15 亿美元的人工智能公司 Runway 被曝在训练其备受赞誉的 AI 视频生成工具 Gen-3 时，秘密抓取了数千个来自 YouTube 创作者和知名品牌的视频，以及盗版电影内容。

根据一位前 Runway 员工的透露，公司使用开源软件 YouTube-DL 和代理服务器来抓取视频，以避免被 YouTube 封禁。电子表格显示，Runway 员工被分配不同的关键词任务，搜索和收集相关视频。他们寻找特定主题、摄影技巧和多样化人物的视频。

一些用户对 Gen-3 模型进行了测试，使用电子表格中提到的关键词和内容进行提示。结果显示，该模型能够生成与被抓取内容风格相似的视频。例如，使用 YouTube 美食博主 Mark Wiens 的名字作为提示，生成的视频展现了一个与 Wiens 视频风格相似的场景。

iois

☘️ 关注频道 @ZaiHuaPd
📮 投稿爆料 @ZaiHuabot

via 软件新闻频道📮投稿爆料 - Telegram Channel

Increased latency and error rates affecting GPT-4o mini

Jul 26, 04:21 PDT
Investigating - We're currently investigating increased API latency and error rates affecting gpt-4o-mini.

via OpenAI Status - Incident History

OpenAI 推出 SearchGPT 与 Google 直接竞争

2024-07-26 14:15 by 继位之争

OpenAI 推出了直接挑战 Google 的搜索工具 SearchGPT。作为一种实验性产品，SearchGPT 没有开放使用，而是从周四开始开放给加入等候名单的 1 万名用户进行测试。它不同于 ChatGPT 生成一个答案，而是类似搜索引擎提供了一系列链接，允许用户点击进入外部网站。OpenAI 表示，SearchGPT 将提供来自 Web 的最新信息，同时提供相关来源的明确链接。即使网站选择不允许 OpenAI 抓取内容训练其 AI 模型，新的搜索工具将仍然能访问网站。

https://openai.com/index/searchgpt-prototype/

#人工智能

via Solidot - Telegram Channel

用 AI 生成的数据集训练模型可能导致模型崩溃

2024-07-26 12:54 by 银色金属恋人

根据发表在《自然》期刊上的一项研究，Google DeepMind 和牛津大学的研究人员发现，用 AI 生成的数据集训练 AI 模型可能导致模型崩溃，即在数代之后产生无意义的输出。举例来说，模型从中世纪建筑文本开始，到第九代输出了毫不相干的长耳大野兔。研究人员发现，AI 难以掌握训练数据集中不常见的文本行，后续在此输出上的训练无法延续这些微妙差异。以这种方式基于早期模型的输出训练新模型最终会陷入递归循环。以生成狗图像的模型为例，AI 模型倾向于重新创造训练数据中最常见的犬种，金毛猎犬相比贝吉格里芬凡丁犬（Petit Basset Griffon Vendeen）更常见，因此金毛猎犬会被过度代表。如果用过度代表金毛猎犬的数据集训练后续模型，问题将会愈发严重，后续模型将会忘记贝吉格里芬凡丁犬不知名犬种的存在，它将只会生成金毛猎犬的图像。最终模型将会崩溃，无法生成有意义的内容。

https://www.nature.com/articles/d41586-024-02420-7
https://tech.slashdot.org/story/24/07/26/0016252/ai-models-face-collapse-if-they-overdose-on-their-own-output

#人工智能

via Solidot - Telegram Channel

📱 苹果在中国失去市场份额，国内竞争对手迅速崛起

苹果首次在四年内跌出中国智能手机销量前五名，市场份额被华为等国内品牌蚕食。尽管2024年第二季度，中国智能手机市场同比增长了8.9%，但苹果却经历了3.1%的下滑。尽管如此，苹果在中国的市场份额仍高于2020年的水平，为13.6%，而当时为8.3%。

小米、Vivo、Oppo和荣耀现在占据了前五名的位置，小米的销量因其首款电动车的推出而得到提升。关于竞争和政府监管的问题一直是苹果在中国面临的持续挑战。

虽然与第一季度相比，苹果的同比下降“略有改善”，分析师认为如果华为不尽快推出人工智能功能，其威胁可能会减弱。预计苹果将在下周四公布6月季度的财报，投资者期待看到全球iPhone销售激增的迹象。

(FT)

via 老裕泰 - Telegram Channel

智谱AI发布人工智能生成视频模型清影

7月26日消息，智谱AI 今日宣布，人工智能生成视频模型清影 (Ying) 正式上线智谱清言，30秒的时间可生成6秒视频，免费不限次数。据介绍，清影底座的视频生成模型是 CogVideoX，采用新型 DiT 架构，可更高效压缩视频信息，以更好融合文本和视频内容，加强其复杂指令遵从能力、内容连贯性、大幅的画面调度等，相比前代 (CogVideo) 推理速度提升了6倍。

清影 PC 端：链接 清影移动端：链接

—— 界面新闻

via 风向旗参考快讯 - Telegram Channel

360推出AI弹窗过滤器可以屏蔽自家弹窗 30元/月

360 在测试新功能名为 AI 弹窗过滤器，可以拦截用户电脑上包括但不限于360 自家的弹窗广告。

原来的360弹窗过滤器无法过滤360自家的弹窗广告。此功能包含在360AI大会员中，30元每月。

并且暂时还不清楚能否彻底拦截 360 全家桶的所有弹窗广告。

蓝点网

☘️ 关注频道 @ZaiHuaPd
📮 投稿爆料 @ZaiHuabot

via 软件新闻频道📮投稿爆料 - Telegram Channel

🆔 网站名称：AI Image Extender

⭐️ 网站功能：AI图像扩展

📁 网站简介：一个利用人工智能技术扩展图像的工具，用户可以通过简单的点击和拖动操作，轻松将图像扩展到原始边界之外，调整背景和长宽比，提升图像的整体效果。

可以通过点击和拖动操作，将图像扩展到原始边界之外，适用于优化社交媒体图像、创建宽屏壁纸或去除不需要的元素。

🌐 网站网址：点击打开
📢 频道 ✈️ 群聊 📬 投稿 💵 商务

via AI绘画｜AI视频 - Telegram Channel

🆔 网站名称：Recompressor

⭐️ 网站功能：图像优化

📁 网站简介：一个免费且无广告的在线图像优化工具，所有图像处理均在用户浏览器内完成，确保图像的安全性。

支持拖放或选择图像进行压缩，并提供多种重新压缩选项，以找到最优的文件尺寸和质量。

🌐 网站网址：点击打开
📢 频道 ✈️ 群聊 📬 投稿 💵 商务

via AI绘画｜AI视频 - Telegram Channel

CLASI ：字节跳动开发的端到端语音同步翻译系统 模拟专业的人类翻译

via XiaoHu.AI学院 (author: 小互)

Telegraph

CLASI ：字节跳动开发的端到端语音同步翻译系统 模拟专业的人类翻译

CLASI是由字节跳动开发的一个高质量的同时语音翻译系统，类似于专业的人类译员。它能实时翻译语音内容，保持高翻译质量和低延迟。CLASI利用先进的数据策略和多模态检索技术来处理复杂的术语和不清晰的语音信息。 CLASI会根据当前的音频内容，结合外部知识库和历史上下文，生成准确且容错的翻译。它在各种测试数据集上的表现都非常出色，能够传达更多有效信息。 翻译策略：CLASI采用了一种创新的策略来平衡翻译的准确性和速度，确保翻译快速且准确。 系统架构：系统会处理当前的音频数据，检索相关信息，加载历史上下文，然…

美国电子游戏演员将罢工 寻求与人工智能相关的保护措施

美国电子游戏配音演员将于26日凌晨00:01开始罢工，因为未能就行业内人工智能的使用达成一致。代表工人的美国演员工会表示，其已与微软旗下的动视制作公司、艺电制作公司、迪士尼角色配音公司和华纳兄弟游戏公司等视频游戏工作室进行了18个月的谈判。美国演员工会主席弗朗·德雷舍在声明中表示：“我们不会同意允许公司滥用人工智能损害我们成员利益的合同。”游戏公司的发言人奥德丽·库林表示，游戏公司和配音演员已经就25项提议中的24项达成共识，其中包括“历史性”的薪酬增长和额外的安全条款。在使用 AI 时，也会征求演员同意，并公平补偿他们。“我们对工会在即将达成协议的时候选择退出感到失望，我们仍准备恢复谈判。”

—— 彭博社

via 风向旗参考快讯 - Telegram Channel

Google DeepMind的 AI 在国际数学奥林匹克竞赛中达到银牌标准

via XiaoHu.AI学院 (author: 小互)

Telegraph

Google DeepMind的 AI 在国际数学奥林匹克竞赛中达到银牌标准

DeepMind的突破性模型AlphaProof和AlphaGeometry 2解决了高级数学推理问题，在今年的国际数学奥林匹克竞赛（IMO）中达到银牌水平。AlphaProof基于强化学习进行形式化数学推理，而AlphaGeometry 2则是改进版几何问题解决系统。这些系统解决了本年度竞赛的六道题中的四道，得分28分，与银牌标准相当。 AlphaProof是一种基于强化学习的形式化数学推理系统，能够证明数学陈述的正确性。它结合了预训练语言模型和AlphaZero强化学习算法，使用形式语言Lean进行训练和推理。…