기술 주변기기 일체 포함 인공지능이 수학에 혁명을 일으킬 수 있는 이유

인공지능이 수학에 혁명을 일으킬 수 있는 이유

Jun 02, 2024 pm 02:47 PM
이론

인공지능이 수학에 혁명을 일으킬 수 있는 이유

Editor | 양배추 잎

"사실이라고 의심되지만 명확한 증거가 필요한 명제인 추측을 제안하는 것은 수학자에게 신성한 영감의 순간과 같습니다. 그러나 수학적 추측은 단지 반직관적으로 존재하는 것이 아닙니다. 런던 수리과학 연구소 소장인 토마스 핑크(Thomas Fink)는 이것이 기계 지능의 가장 혁신적인 영역이라고 생각합니다.

인공지능이 수학에 혁명을 일으킬 수 있는 이유

2017년 런던 수리과학연구소 연구원들은 취미로 수학 데이터에 머신러닝을 적용하기 시작했습니다. 코로나19 팬데믹 기간 동안 그들은 간단한 인공지능(AI) 분류기가 타원 곡선의 순위, 즉 복잡성을 측정하는 방법을 예측할 수 있다는 사실을 발견했습니다.

인공지능이 수학에 혁명을 일으킬 수 있는 이유

논문 링크: https://arxiv.org/abs/2204.10140

타원 곡선은 숫자 이론의 기초입니다. 기본 통계를 이해하는 것은 7천년 문제 중 하나를 해결하는 핵심 단계입니다. 7개의 주요 퍼즐은 로드 아일랜드 프로비던스의 클레이 수학 연구소(Clay Mathematics Institute)에서 선정되었으며 각각 100만 달러의 상금이 수여됩니다. 인공지능이 이 중요한 분야에서 역할을 할 것이라고 기대하는 사람은 거의 없습니다.

인공지능은 다른 분야에서도 발전을 이루었습니다. 몇 년 전, Ramanujan Machine이라는 컴퓨터 프로그램이 π 및 e와 같은 기본 상수에 대한 새로운 공식을 생성했습니다. 연속된 분수군(분모가 숫자 + 분수인 분수, 분모가 숫자 + 분수인 분수인 분수 등)을 철저하게 검색하여 이를 수행합니다. 이러한 추측 중 일부는 입증되었지만 일부는 아직 해결되지 않았습니다.

인공지능이 수학에 혁명을 일으킬 수 있는 이유

논문 링크: https://www.nature.com/articles/s41586-021-03229-4

또 다른 예는 매듭 이론과 관련이 있는데, 이는 위상수학의 한 분야입니다. 로프는 끝이 서로 달라붙기 전에 서로 엉키게 됩니다. Google DeepMind의 연구원들은 다양한 매듭의 데이터를 사용하여 신경망을 훈련했으며 대수적 구조와 기하학적 구조 사이의 예상치 못한 관계를 발견했습니다.

인공지능이 수학에 혁명을 일으킬 수 있는 이유

논문 링크: https://www.nature.com/articles/s41586-021-04086-x

인간의 창의성이 중요시되는 수학 분야에서 인공지능이 어떻게 영향을 미칠 수 있을까요?

우선, 수학에는 우연이 없습니다. 실제 실험에서는 거짓음성(false negative)과 거짓양성(false positive)이 많이 발생합니다. 그러나 수학에서는 반례가 그 추측을 완전히 뒤집을 것이다. 예를 들어, 폴리아 추측(Polya Conjecture)은 주어진 정수 아래의 대부분의 정수는 홀수의 소인수를 갖는다고 말합니다. 그러나 1960년에 이 추측은 숫자 906,180,359에 대해서는 적용되지 않는다는 것이 밝혀졌습니다. Polya의 추측은 즉시 반증되었습니다.

둘째, 인공지능을 훈련시킬 수 있는 수학적 데이터는 저렴합니다. 소수, 매듭 및 기타 여러 유형의 수학적 개체가 풍부합니다. OEIS(Online Encyclopedia of Integer Sequences)에는 친숙한 피보나치 수열(1, 1, 2, 3, 5, 8, 13, ...)부터 강력한 Busy Beaver 수열(0, 1, 4)까지 거의 375,000개의 시퀀스가 ​​포함되어 있습니다. , 6, 13, ...), 이는 계산 가능한 어떤 함수보다 빠르게 성장합니다. 과학자들은 이미 기계 학습 도구를 사용하여 OEIS 데이터베이스를 검색하여 예상치 못한 관계를 발견하고 있습니다.

인공지능이 수학에 혁명을 일으킬 수 있는 이유

OEIS: https://oeis.org/

인공 지능은 패턴을 발견하고 추측을 공식화하는 데 도움이 될 수 있습니다. 그러나 모든 추측이 일치하는 것은 아닙니다. 수학에 대한 이해를 향상시키기 위해서도 필요합니다. G. H. Hardy는 1940년 기사 "수학자의 사과"에서 좋은 정리는 "다양한 종류의 정리를 증명하는 데 사용되는 많은 수학적 구성의 필수적인 부분이어야 한다"고 설명했습니다.

즉, 최고의 정리는 새로운 정리를 발견할 가능성을 높입니다. 새로운 수학적 영역에 도달하는 데 도움이 되는 추측은 적은 통찰력을 제공하는 추측보다 낫습니다. 그러나 이를 구별하려면 해당 분야 자체가 어떻게 발전할 것인지에 대한 직관이 필요합니다. 더 넓은 맥락에 대한 이러한 종류의 이해는 오랫동안 인공 지능의 능력을 넘어서는 것이므로 기술은 중요한 추측을 찾아내는 데 어려움을 겪을 것입니다.

이러한 잠재적인 문제에도 불구하고 수학 커뮤니티에서 AI 도구를 폭넓게 채택하면 많은 이점이 있습니다. 인공지능은 결정적인 이점을 제공하고 연구의 새로운 길을 열어줄 수 있습니다.

주류 수학 저널도 더 많은 추측을 출판해야 합니다. 페르마의 마지막 정리, 리만의 가설, 힐베르트의 23가지 문제, 라마누잔의 많은 항등과 같은 수학에서 가장 중요한 문제 중 일부는 물론 잘 알려지지 않은 수많은 추측이 장 방향의 발전을 형성했습니다. 추측은 우리를 올바른 방향으로 인도하여 연구 속도를 높입니다. 데이터나 경험적 주장으로 뒷받침되는 추측에 관한 저널 기사는 발견을 가속화할 것입니다.

2023년에는 Google DeepMind 연구원들은 220만 개의 새로운 결정 구조가 나타날 것으로 예측합니다. 그러나 이러한 잠재적인 신소재 중 얼마나 많은 것이 안정적이고 합성 가능하며 실제적으로 응용될지는 아직 알 수 없습니다. 현재 이것은 주로 재료 과학에 대한 광범위한 배경을 가진 인간 연구자들의 과제입니다.

인공지능이 수학에 혁명을 일으킬 수 있는 이유

논문 링크: https://www.nature.com/articles/s41586-023-06735-9

마찬가지로 인공지능 도구의 결과물을 이해하려면 수학자의 상상력과 직관이 필요합니다. 따라서 AI는 대체가 아닌 인간 창의성의 촉매제 역할만 할 것이다.

관련 콘텐츠: https://www.nature.com/articles/d41586-024-01413-w

위 내용은 인공지능이 수학에 혁명을 일으킬 수 있는 이유의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!

본 웹사이트의 성명
본 글의 내용은 네티즌들의 자발적인 기여로 작성되었으며, 저작권은 원저작자에게 있습니다. 본 사이트는 이에 상응하는 법적 책임을 지지 않습니다. 표절이나 침해가 의심되는 콘텐츠를 발견한 경우 admin@php.cn으로 문의하세요.

핫 AI 도구

Undresser.AI Undress

Undresser.AI Undress

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

AI Clothes Remover

AI Clothes Remover

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

Undress AI Tool

Undress AI Tool

무료로 이미지를 벗다

Clothoff.io

Clothoff.io

AI 옷 제거제

AI Hentai Generator

AI Hentai Generator

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

인기 기사

R.E.P.O. 에너지 결정과 그들이하는 일 (노란색 크리스탈)
4 몇 주 전 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. 최고의 그래픽 설정
4 몇 주 전 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. 아무도들을 수없는 경우 오디오를 수정하는 방법
4 몇 주 전 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. 채팅 명령 및 사용 방법
4 몇 주 전 By 尊渡假赌尊渡假赌尊渡假赌

뜨거운 도구

메모장++7.3.1

메모장++7.3.1

사용하기 쉬운 무료 코드 편집기

SublimeText3 중국어 버전

SublimeText3 중국어 버전

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

스튜디오 13.0.1 보내기

스튜디오 13.0.1 보내기

강력한 PHP 통합 개발 환경

드림위버 CS6

드림위버 CS6

시각적 웹 개발 도구

SublimeText3 Mac 버전

SublimeText3 Mac 버전

신 수준의 코드 편집 소프트웨어(SublimeText3)

'Defect Spectrum'은 기존 결함 감지의 경계를 뛰어넘어 초고정밀 및 풍부한 의미론적 산업 결함 감지를 최초로 달성합니다. 'Defect Spectrum'은 기존 결함 감지의 경계를 뛰어넘어 초고정밀 및 풍부한 의미론적 산업 결함 감지를 최초로 달성합니다. Jul 26, 2024 pm 05:38 PM

현대 제조업에서 정확한 결함 검출은 제품 품질을 보장하는 열쇠일 뿐만 아니라 생산 효율성을 향상시키는 핵심이기도 합니다. 그러나 기존 결함 감지 데이터세트는 실제 적용에 필요한 정확성과 의미론적 풍부함이 부족한 경우가 많아 모델이 특정 결함 카테고리나 위치를 식별할 수 없게 됩니다. 이 문제를 해결하기 위해 광저우 과학기술대학교와 Simou Technology로 구성된 최고 연구팀은 산업 결함에 대한 상세하고 의미론적으로 풍부한 대규모 주석을 제공하는 "DefectSpectrum" 데이터 세트를 혁신적으로 개발했습니다. 표 1에서 볼 수 있듯이, 다른 산업 데이터 세트와 비교하여 "DefectSpectrum" 데이터 세트는 가장 많은 결함 주석(5438개의 결함 샘플)과 가장 상세한 결함 분류(125개의 결함 카테고리)를 제공합니다.

NVIDIA 대화 모델 ChatQA는 버전 2.0으로 발전했으며 컨텍스트 길이는 128K로 언급되었습니다. NVIDIA 대화 모델 ChatQA는 버전 2.0으로 발전했으며 컨텍스트 길이는 128K로 언급되었습니다. Jul 26, 2024 am 08:40 AM

오픈 LLM 커뮤니티는 백개의 꽃이 피어 경쟁하는 시대입니다. Llama-3-70B-Instruct, QWen2-72B-Instruct, Nemotron-4-340B-Instruct, Mixtral-8x22BInstruct-v0.1 등을 보실 수 있습니다. 훌륭한 연기자. 그러나 GPT-4-Turbo로 대표되는 독점 대형 모델과 비교하면 개방형 모델은 여전히 ​​많은 분야에서 상당한 격차를 보이고 있습니다. 일반 모델 외에도 프로그래밍 및 수학을 위한 DeepSeek-Coder-V2, 시각 언어 작업을 위한 InternVL과 같이 핵심 영역을 전문으로 하는 일부 개방형 모델이 개발되었습니다.

Google AI가 IMO 수학 올림피아드 은메달을 획득하고 수학적 추론 모델 AlphaProof가 출시되었으며 강화 학습이 다시 시작되었습니다. Google AI가 IMO 수학 올림피아드 은메달을 획득하고 수학적 추론 모델 AlphaProof가 출시되었으며 강화 학습이 다시 시작되었습니다. Jul 26, 2024 pm 02:40 PM

AI의 경우 수학 올림피아드는 더 이상 문제가 되지 않습니다. 목요일에 Google DeepMind의 인공 지능은 AI를 사용하여 올해 국제 수학 올림피아드 IMO의 실제 문제를 해결하는 위업을 달성했으며 금메달 획득에 한 걸음 더 다가섰습니다. 지난 주 막 끝난 IMO 대회에는 대수학, 조합론, 기하학, 수론 등 6개 문제가 출제됐다. 구글이 제안한 하이브리드 AI 시스템은 4문제를 맞혀 28점을 얻어 은메달 수준에 이르렀다. 이달 초 UCLA 종신 교수인 테렌스 타오(Terence Tao)가 상금 100만 달러의 AI 수학 올림피아드(AIMO Progress Award)를 추진했는데, 예상외로 7월 이전에 AI 문제 해결 수준이 이 수준으로 향상됐다. IMO에서 동시에 질문을 해보세요. 가장 정확하게 하기 어려운 것이 IMO인데, 역사도 가장 길고, 규모도 가장 크며, 가장 부정적이기도 합니다.

수백만 개의 결정 데이터로 훈련하여 결정학적 위상 문제를 해결하는 딥러닝 방법인 PhAI가 Science에 게재되었습니다. 수백만 개의 결정 데이터로 훈련하여 결정학적 위상 문제를 해결하는 딥러닝 방법인 PhAI가 Science에 게재되었습니다. Aug 08, 2024 pm 09:22 PM

Editor |KX 오늘날까지 단순한 금속부터 큰 막 단백질에 이르기까지 결정학을 통해 결정되는 구조적 세부 사항과 정밀도는 다른 어떤 방법과도 비교할 수 없습니다. 그러나 가장 큰 과제인 소위 위상 문제는 실험적으로 결정된 진폭에서 위상 정보를 검색하는 것입니다. 덴마크 코펜하겐 대학의 연구원들은 결정 위상 문제를 해결하기 위해 PhAI라는 딥러닝 방법을 개발했습니다. 수백만 개의 인공 결정 구조와 그에 상응하는 합성 회절 데이터를 사용하여 훈련된 딥러닝 신경망은 정확한 전자 밀도 맵을 생성할 수 있습니다. 연구는 이 딥러닝 기반의 순순한 구조 솔루션 방법이 단 2옹스트롬의 해상도로 위상 문제를 해결할 수 있음을 보여줍니다. 이는 원자 해상도에서 사용할 수 있는 데이터의 10~20%에 해당하는 반면, 기존의 순순한 계산은

자연의 관점: 의학 분야의 인공지능 테스트는 혼란에 빠졌습니다. 어떻게 해야 할까요? 자연의 관점: 의학 분야의 인공지능 테스트는 혼란에 빠졌습니다. 어떻게 해야 할까요? Aug 22, 2024 pm 04:37 PM

Editor | ScienceAI 제한된 임상 데이터를 기반으로 수백 개의 의료 알고리즘이 승인되었습니다. 과학자들은 누가 도구를 테스트해야 하며 최선의 방법은 무엇인지에 대해 토론하고 있습니다. 데빈 싱(Devin Singh)은 응급실에서 오랜 시간 치료를 기다리던 중 심장마비를 겪는 소아환자를 목격했고, 이를 계기로 대기시간을 단축하기 위해 AI 적용을 모색하게 됐다. SickKids 응급실의 분류 데이터를 사용하여 Singh과 동료들은 잠재적인 진단을 제공하고 테스트를 권장하는 일련의 AI 모델을 구축했습니다. 한 연구에 따르면 이러한 모델은 의사 방문 속도를 22.3% 단축하여 의료 검사가 필요한 환자당 결과 처리 속도를 거의 3시간 단축할 수 있는 것으로 나타났습니다. 그러나 인공지능 알고리즘의 연구 성공은 이를 입증할 뿐이다.

대형 모델에 대한 새로운 과학적이고 복잡한 질문 답변 벤치마크 및 평가 시스템을 제공하기 위해 UNSW, Argonne, University of Chicago 및 기타 기관이 공동으로 SciQAG 프레임워크를 출시했습니다. 대형 모델에 대한 새로운 과학적이고 복잡한 질문 답변 벤치마크 및 평가 시스템을 제공하기 위해 UNSW, Argonne, University of Chicago 및 기타 기관이 공동으로 SciQAG 프레임워크를 출시했습니다. Jul 25, 2024 am 06:42 AM

편집자 |ScienceAI 질문 응답(QA) 데이터 세트는 자연어 처리(NLP) 연구를 촉진하는 데 중요한 역할을 합니다. 고품질 QA 데이터 세트는 모델을 미세 조정하는 데 사용될 수 있을 뿐만 아니라 LLM(대형 언어 모델)의 기능, 특히 과학적 지식을 이해하고 추론하는 능력을 효과적으로 평가하는 데에도 사용할 수 있습니다. 현재 의학, 화학, 생물학 및 기타 분야를 포괄하는 과학적인 QA 데이터 세트가 많이 있지만 이러한 데이터 세트에는 여전히 몇 가지 단점이 있습니다. 첫째, 데이터 형식이 비교적 단순하고 대부분이 객관식 질문이므로 평가하기 쉽지만 모델의 답변 선택 범위가 제한되고 모델의 과학적 질문 답변 능력을 완전히 테스트할 수 없습니다. 이에 비해 개방형 Q&A는

PRO | MoE 기반의 대형 모델이 더 주목받는 이유는 무엇인가요? PRO | MoE 기반의 대형 모델이 더 주목받는 이유는 무엇인가요? Aug 07, 2024 pm 07:08 PM

2023년에는 AI의 거의 모든 분야가 전례 없는 속도로 진화하고 있다. 동시에 AI는 구체화된 지능, 자율주행 등 핵심 트랙의 기술적 한계를 지속적으로 확장하고 있다. 멀티모달 추세 하에서 AI 대형 모델의 주류 아키텍처인 Transformer의 상황이 흔들릴까요? MoE(Mixed of Experts) 아키텍처를 기반으로 한 대형 모델 탐색이 업계에서 새로운 트렌드가 된 이유는 무엇입니까? 대형 비전 모델(LVM)이 일반 비전 분야에서 새로운 돌파구가 될 수 있습니까? ...지난 6개월 동안 공개된 본 사이트의 2023 PRO 회원 뉴스레터에서 위 분야의 기술 동향과 산업 변화에 대한 심층 분석을 제공하여 새로운 환경에서 귀하의 목표 달성에 도움이 되는 10가지 특별 해석을 선택했습니다. 년. 준비하세요. 이 해석은 2023년 50주차에 나온 것입니다.

최고의 분자를 자동으로 식별하고 합성 비용을 절감합니다. MIT는 분자 설계 의사결정 알고리즘 프레임워크를 개발합니다. 최고의 분자를 자동으로 식별하고 합성 비용을 절감합니다. MIT는 분자 설계 의사결정 알고리즘 프레임워크를 개발합니다. Jun 22, 2024 am 06:43 AM

편집자 | Ziluo AI의 신약 개발 간소화에 대한 활용이 폭발적으로 증가하고 있습니다. 신약 개발에 필요한 특성을 가질 수 있는 수십억 개의 후보 분자를 스크리닝합니다. 재료 가격부터 오류 위험까지 고려해야 할 변수가 너무 많아 과학자들이 AI를 사용하더라도 최고의 후보 분자를 합성하는 데 드는 비용을 평가하는 것은 쉬운 일이 아닙니다. 여기서 MIT 연구진은 최고의 분자 후보를 자동으로 식별하여 합성 비용을 최소화하는 동시에 후보가 원하는 특성을 가질 가능성을 최대화하기 위해 정량적 의사결정 알고리즘 프레임워크인 SPARROW를 개발했습니다. 알고리즘은 또한 이러한 분자를 합성하는 데 필요한 재료와 실험 단계를 결정했습니다. SPARROW는 여러 후보 분자를 사용할 수 있는 경우가 많기 때문에 한 번에 분자 배치를 합성하는 비용을 고려합니다.

See all articles