Google DeepMind가 다시 Nature를 출시하고 Alpha 시리즈 AI가 돌아오며 수학 수준이 비약적으로 향상됩니다.
AlphaGeometry, IMO 금메달 선수의 기하학 수준에 도달하기 위해 인간의 시연이 필요하지 않습니다.
그때 알파제로가 '사람이 모르는 바둑 마스터하기' 게임을 배운 것 같은 느낌이에요.
AlphaGeometry는 질문이 맞다는 것을 증명하는 IMO 난이도 기하학 정리 30개 중 25개를 얻었고, 평균 인간 금메달 선수는 25.9개를 맞았습니다. 또한 이전 SOTA 방법(1978년 Wu Wenjun 방법)은 10개만 정확하게 얻을 수 있었습니다.
IMO 금메달리스트 Evan Chen(Evan Chen)은 AI에서 생성된 답변을 평가하는 책임을 맡았습니다. 그는 다음과 같이 말했습니다.
AlphaGeometry의 출력은 인상적이며 신뢰할 수 있고 깨끗합니다. 과거의 AI 솔루션은 실패작이 많았기 때문에 때로는 수동 검토가 필요한 결과가 나왔습니다.
AlphaGeometry의 솔루션은 기계로 검증할 수 있고 인간이 이해할 수 있는 검증 가능한 구조를 가지고 있습니다. 학생들과 마찬가지로 각도 및 유사 삼각형과 같은 고전적인 기하학 규칙을 사용합니다.
이 연구에는 뛰어난 결과 외에도 업계의 주목을 받은 세 가지 핵심 사항이 있습니다.
- 사람의 시연이 필요하지 않습니다 즉, AI 합성 데이터 교육만 사용됩니다. , AlphaZero의 자체 학습 Go 방법을 계속합니다.
- 다른 AI 방법과 결합된 대형 모델, AlphaGo 및 OpenAI Q* 소문과 유사합니다.
- 이전의 많은 방법과 달리 AlphaGeometry는 사람이 읽을 수 있는 증명 프로세스를 생성할 수 있으며 모델과 코드가 모두 오픈 소스입니다.
팀은 AlphaGeometry가 고급 추론 기능을 달성하고 새로운 지식을 발견할 수 있는 잠재적인 프레임워크를 제공한다고 믿습니다.
이는 AGI 구축의 핵심 단계로 간주되는 인공 지능의 정리 증명을 발전시키는 데 도움이 될 수 있습니다.
또한, 저자 팀과의 커뮤니케이션 과정에서 Qubits는 AlphaGo가 인간 바둑 챔피언에게 도전한 것처럼 AlphaGeometry가 실제로 IMO 대회에 참가할 수 있는지 문의했습니다.
그들은 시스템 성능을 향상시키기 위해 열심히 노력하고 있으며 AI가 기하학을 넘어 더 넓은 범위의 수학적 문제를 해결할 수 있도록 해야 한다고 말했습니다.
AI는 기하학도 보조선을 그린다는 것을 증명합니다
이전에는 AI 시스템이 기하학 문제를 잘 풀지 못했고, 고품질의 훈련 데이터가 부족하여 정체되었습니다.
기하학을 배우는 인간은 이미지에 대한 기존 지식을 활용하여 종이와 펜의 도움으로 새롭고 더 복잡한 기하학적 특성과 관계를 발견할 수 있습니다.
이를 위해 Google 팀은 10억 개의 임의의 기하학적 객체 그래프와 점과 선 사이의 모든 관계를 생성하고 마침내 1억 개의 고유한 정리와 다양한 난이도의 증명을 선별해 냈습니다. AlphaGeometry는 처음부터 완전히 훈련되었습니다. 이 데이터.
시스템은 복잡한 기하학적 증명을 찾기 위해 함께 작동하는 두 개의 모듈로 구성됩니다.
- 언어 모델, 문제 해결에 사용할 수 있는 기하학 예측 (예: 보조선 추가) .
- 상징적 추론 엔진, 논리적 규칙을 사용하여 결론을 도출합니다.
제1저자 Trieu Trinh은 AlphaGeometry의 작동 과정이 인간의 두뇌가 빠른 것과 느린 두 가지 유형으로 나뉘는 것과 비슷하다고 소개했습니다.
이것은 노벨상 수상자 Daniel Kahneman의 베스트셀러 "Thinking Fast and Slow"에서 대중화된 "시스템 1, 시스템 2" 개념입니다.
시스템 1은 빠르고 직관적인 아이디어를 제공하고, 시스템 2는 보다 사려 깊고 합리적인 결정을 제공합니다.
한편, 언어 모델은 데이터의 패턴과 관계를 식별하는 데 능숙하고 잠재적으로 유용한 보조 구조를 신속하게 예측할 수 있지만 결정을 엄격하게 추론하거나 설명하는 능력이 부족한 경우가 많습니다.
반면, 기호 추론 엔진은 형식 논리를 기반으로 하며 명시적 규칙을 사용하여 결론을 도출합니다. 그들은 합리적이고 설명 가능하지만, 특히 크고 복잡한 문제를 혼자 다룰 때는 느리고 융통성이 없습니다.
예를 들어 IMO 2015 경쟁 문제를 풀 때 파란색 부분은 AlphaGeometry의 언어 모델이 추가한 보조 구조이고 녹색 부분은 총 109단계로 구성된 최종 증명의 간소화된 버전입니다.
문제를 해결하는 과정에서 AlphaGeometry는 2004년 IMO 경쟁 문제에서 사용되지 않은 전제 조건도 발견하여 더 넓은 버전의 정리를 발견했습니다.
O가 BC의 중점이라는 조건 없이 P, B, C가 동일선상에 있다는 것을 증명할 수 있습니다.
또한 연구에 따르면 인간 점수가 가장 낮은 세 가지 문제의 경우 AlphaGeometry가 해결하기 위해 매우 긴 증명 프로세스와 많은 보조 구조를 추가해야 한다는 사실도 밝혀졌습니다.
그러나 상대적으로 쉬운 질문에서는 인간의 평균 점수와 AI가 생성한 증명 기간 사이에 유의미한 상관관계가 없었습니다(p = −0.06).
한 가지 더
AlphaGeometry와 AlphaGo의 연결 및 차이점과 관련하여 팀과의 커뮤니케이션 과정에서 Google 과학자 Quoc Le는 다음과 같이 소개했습니다.
두 사람 모두 매우 복잡한 결정을 내리고 있습니다. 공간 검색을 수행하지만 AlphaGo의 방법은 더 전통적입니다 (참고: 신경망은 패턴 인식을 담당합니다) AlphaGeometry의 신경망은 취해야 할 다음 조치를 제안하고 검색 알고리즘이 올바른 방향으로 이동하도록 안내하는 역할을 합니다. 결정 공간에서.
이 결과는 알파 시리즈의 이름을 따서 명명되었으며 첫 번째 유닛도 Google DeepMind이지만 저자는 실제로 전 Google Brain 회원입니다.
Master Quoc Le는 소개가 필요 없습니다. 제1저자인 Trieu Trinh과 교신저자인 Thang Luong은 둘 다 Google에서 6~7년 동안 근무했습니다. 그 자신도 고등학교 시절 IMO 선수였습니다.
중국 작가 두 명 중 허허는 뉴욕대학교 조교수입니다. Wu Yuhuai는 이전에 Google의 대규모 수학적 모델 Minerva 연구에 참여했으며 현재 Google을 떠나 Musk 팀에 합류하여 xAI의 공동 창립자 중 한 명이 되었습니다.
논문 주소: https://www.nature.com/articles/s41586-023-06747-5.
참조 링크:
[1]https://www.nature.com/articles/d4186-024-00141-5.
[2]https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry.
위 내용은 Google Mathematical AI가 Nature에 기사 게재: Wu Wenjun의 1978년 법칙 정리를 넘어서 세계적 수준의 기하학적 수준 입증의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!

谷歌三件套指的是:1、google play商店,即下载各种应用程序的平台,类似于移动助手,安卓用户可以在商店下载免费或付费的游戏和软件;2、Google Play服务,用于更新Google本家的应用和Google Play提供的其他第三方应用;3、谷歌服务框架(GMS),是系统软件里面可以删除的一个APK程序,通过谷歌平台上架的应用和游戏都需要框架的支持。

中国不卖google手机的原因:谷歌已经全面退出中国市场了,所以不能在中国销售,在国内是没有合法途径销售。在中国消费市场中,消费者大都倾向于物美价廉以及功能实用的产品,所以竞争实力本就因政治因素大打折扣的谷歌手机主体市场一直不在中国大陆。

虽然谷歌早在2020年,就在自家的数据中心上部署了当时最强的AI芯片——TPU v4。但直到今年的4月4日,谷歌才首次公布了这台AI超算的技术细节。论文地址:https://arxiv.org/abs/2304.01433相比于TPU v3,TPU v4的性能要高出2.1倍,而在整合4096个芯片之后,超算的性能更是提升了10倍。另外,谷歌还声称,自家芯片要比英伟达A100更快、更节能。与A100对打,速度快1.7倍论文中,谷歌表示,对于规模相当的系统,TPU v4可以提供比英伟达A100强1.

2015 年,谷歌大脑开放了一个名为「TensorFlow」的研究项目,这款产品迅速流行起来,成为人工智能业界的主流深度学习框架,塑造了现代机器学习的生态系统。从那时起,成千上万的开源贡献者以及众多的开发人员、社区组织者、研究人员和教育工作者等都投入到这一开源软件库上。然而七年后的今天,故事的走向已经完全不同:谷歌的 TensorFlow 失去了开发者的拥护。因为 TensorFlow 用户已经开始转向 Meta 推出的另一款框架 PyTorch。众多开发者都认为 TensorFlow 已经输掉

前几天,谷歌差点遭遇一场公关危机,Bert一作、已跳槽OpenAI的前员工Jacob Devlin曝出,Bard竟是用ChatGPT的数据训练的。随后,谷歌火速否认。而这场争议,也牵出了一场大讨论:为什么越来越多Google顶尖研究员跳槽OpenAI?这场LLM战役它还能打赢吗?知友回复莱斯大学博士、知友「一堆废纸」表示,其实谷歌和OpenAI的差距,是数据的差距。「OpenAI对LLM有强大的执念,这是Google这类公司完全比不上的。当然人的差距只是一个方面,数据的差距以及对待数据的态度才

由于可以做一些没训练过的事情,大型语言模型似乎具有某种魔力,也因此成为了媒体和研究员炒作和关注的焦点。当扩展大型语言模型时,偶尔会出现一些较小模型没有的新能力,这种类似于「创造力」的属性被称作「突现」能力,代表我们向通用人工智能迈进了一大步。如今,来自谷歌、斯坦福、Deepmind和北卡罗来纳大学的研究人员,正在探索大型语言模型中的「突现」能力。解码器提示的 DALL-E神奇的「突现」能力自然语言处理(NLP)已经被基于大量文本数据训练的语言模型彻底改变。扩大语言模型的规模通常会提高一系列下游N

让一位乒乓球爱好者和机器人对打,按照机器人的发展趋势来看,谁输谁赢还真说不准。机器人拥有灵巧的可操作性、腿部运动灵活、抓握能力出色…… 已被广泛应用于各种挑战任务。但在与人类互动紧密的任务中,机器人的表现又如何呢?就拿乒乓球来说,这需要双方高度配合,并且球的运动非常快速,这对算法提出了重大挑战。在乒乓球比赛中,首要的就是速度和精度,这对学习算法提出了很高的要求。同时,这项运动具有高度结构化(具有固定的、可预测的环境)和多智能体协作(机器人可以与人类或其他机器人一起对打)两大特点,使其成为研究人

ChatGPT在手,有问必答。你可知,与它每次对话的计算成本简直让人泪目。此前,分析师称ChatGPT回复一次,需要2美分。要知道,人工智能聊天机器人所需的算力背后烧的可是GPU。这恰恰让像英伟达这样的芯片公司豪赚了一把。2月23日,英伟达股价飙升,使其市值增加了700多亿美元,总市值超5800亿美元,大约是英特尔的5倍。在英伟达之外,AMD可以称得上是图形处理器行业的第二大厂商,市场份额约为20%。而英特尔持有不到1%的市场份额。ChatGPT在跑,英伟达在赚随着ChatGPT解锁潜在的应用案


핫 AI 도구

Undresser.AI Undress
사실적인 누드 사진을 만들기 위한 AI 기반 앱

AI Clothes Remover
사진에서 옷을 제거하는 온라인 AI 도구입니다.

Undress AI Tool
무료로 이미지를 벗다

Clothoff.io
AI 옷 제거제

AI Hentai Generator
AI Hentai를 무료로 생성하십시오.

인기 기사

뜨거운 도구

스튜디오 13.0.1 보내기
강력한 PHP 통합 개발 환경

SublimeText3 중국어 버전
중국어 버전, 사용하기 매우 쉽습니다.

SublimeText3 Linux 새 버전
SublimeText3 Linux 최신 버전

메모장++7.3.1
사용하기 쉬운 무료 코드 편집기

드림위버 CS6
시각적 웹 개발 도구
