文末送书活动
大家好呀,我是小猿。最近发现小的众职求小程序,专注于IT领域的工作机会,Java 、C++、Go、算法、前端、测试、运维、运营等都有岗位,支持按照岗位城市薪资进行筛选~ 所有功能免费使用!
这两天,来自马斯克的 AI 初创公司 xAI 的工程师 Hieu Pham 在社交媒体 Twitter 上发布了一则令人震惊的消息:他们开发的第三代 AI 模型 Grok-3 已经成功证明了数学界长久以来悬而未决的黎曼猜想。
黎曼猜想由德国数学家波恩哈德·黎曼于 1859 年提出,它是数学中一个重要而著名的未解决问题,被誉为 “猜想界皇冠”,多年来吸引了许多杰出数学家的关注和努力。黎曼猜想的内容如下:
德国数学家戴维·希尔伯特在第二届国际数学家大会上提出了 20 世纪数学家应当努力解决的 23 个数学问题,黎曼猜想便是其中之一。目前,克雷数学研究所悬赏的世界七大数学难题中也包括了黎曼猜想。
xAI 公司为了验证这一重大发现,决定暂时停止 Grok-3 的训练进程。如果证明是正确的,他们将不会重启训练,因为担心 Grok-3 的智能水平可能已经超出了人类的控制范围,从而对人类社会构成潜在威胁。
据马斯克透露,Grok-3 将使用 10 万块英伟达 H100 GPU 进行训练,并预计于今年年底发布。英伟达 H100 芯片是专为处理 LLM 数据而设计的 AI 芯片,每块的价格大约在 3-4 万美元之间。按照每块 H100 售价 3 万美元计算,xAI 公司仅在芯片上的投入就预计接近 30 亿美元。这样大规模的投入,展示了 xAI 在 AI 领域的雄心壮志,他们期望 Grok-3 在性能和能力上实现重大飞跃。
xAI 已经发布了 Grok-1 和 Grok-2 模型。Grok-1 拥有 3140 亿参数,是当时开源模型中参数量最大的一个。Grok-2 则具备了文本和视觉理解功能,并集成了来自社交平台 X 的实时信息。预计 Grok-3 将在这些基础上进一步提升模型的性能和功能。
关于 Grok-3 是否能够证明黎曼猜想,究竟是炒作还是确有其事,我们还需拭目以待。很多网友也对这件事发表了自己的看法。
关于 AI 对人类的威胁,许多人都曾提出警告。2024 年诺贝尔物理学奖得主,“AI 教父” Geoffrey Hinton 就曾多次强烈警告,他的发现所带来的技术可能导致危险。
Hinton 曾表示:“我看不到一条保证安全的路径。我们正在进入一个充满不确定性的时期。我们要面对的是以前从未处理过的事情。”
Hinton 认为,人类对 AI 的了解还远远不够,这非常可怕,而且机器可能会变得比人类更聪明。他的担忧主要源于此。在接受 NPR(全国公共广播电台)采访时,他表示:“机器可能会变得比人类更聪明,并且可能决定接管这个世界,现在我们需要担心的是如何阻止这种情况发生。”
Hinton 对 AI 的进步速度感到担忧。他在去年接受《纽约时报》采访时表示:“看看五年前的情况,再看看现在。对比一下前后差异,并请对外宣传。这太可怕了。”
2023 年,Hinton 从谷歌离职的主要原因之一,就是希望能更自由地讨论与 AI 相关的风险问题。在他的社交媒体 X 上最新一条帖子就与呼吁通过争议性的加州 AI 法案 SB 1047 有关。
该法案要求对功能强大的前沿 AI 模型进行安全测试,以保护公众利益免受伤害。遗憾的是,当地时间 9 月 30 日,加州州长 Gavin Newsom 正式否决了这一法案,认为该法案可能过于宽泛,会给 AI 公司带来负担。
-END-
送书福利
赠送新书《GPTs与GPT Store应用开发详解》共3本,这是一本计算机AI书籍,刚刚上架!由「 北京大学出版社」赞助提供 ,感兴趣的朋友推荐入手一本。
本书从理论到实战,由浅入深,对创建定制化GPTs的方法与技术进行了全方位的介绍,为希望深入了解并应用这一前沿技术的专业人士、开发者和爱好者提供了全面的学习指导。从而根据自己的需求定制和优化GPTs。
本书分四篇,共13章,包括ChatGPT介绍、定制化GPTs基础知识、GPTs使用场景介绍、GPTs创建步骤、使用GPTs的高级定制、使用Zapier完成自动作业、搭建LOGO制作助手GPT、搭建数学学习助手GPT、搭建邮件助手GPT、搭建插图助手GPT、搭建足球比赛查询GPT、GPT Store介绍、GPT Store上架实战。
本次活动时间到 2024.11.23 20:00
参与方式
关注公众号 AI工具迷
回复关键词:抽奖