기술 주변기기 일체 포함 N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.

N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.

Apr 08, 2024 pm 06:34 PM
프로젝트 정규 해밀턴 공식 유체 역학

이것은 수학에서 가장 유명한 미해결 문제 중 하나입니다. 새 작업은 동료 검토를 거쳤으며 전체 텍스트를 사용할 수 있습니다.

유체역학이 초전도 시대를 열고 있나요?
N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.
최근 수학계에서는 나비에-스토크스 문제의 정규 해밀턴 공식이 마침내 등장했다는 사실이 활발하게 논의되고 있습니다. 수학 역사상 풀리지 않았던 이 문제에 답이 있을지도 모릅니다. 과거에는 이것이 일반적으로 불가능한 것으로 간주되기도 했습니다.

이것이 얼마나 중요합니까? 나비에-스토크스 방정식은 리만 가설과 마찬가지로 2000년 "7천년 수학 문제" 중 하나로 선정되었습니다.

세계 수준의 7가지 문제는 NP-완전 문제, Hodge 추측, Poincaré 추측, Riemann 가설, Yang-Mills 존재와 질량 격차, Navier-Stokes 방정식, BSD 추측입니다. 7개 문제 각각의 상금은 미화 100만 달러입니다. 20년이 넘는 기간 동안 러시아의 재능 있는 수학자 페렐만은 "푸앵카레 추측"만을 풀었습니다.

대부분은 익숙하지만 그중에서도 "Navier-Stokes 방정식"(N-S 방정식)은 덜 언급되는 것 같습니다. 그 이유는 이 문제가 너무 이해하기 어렵기 때문일 수 있습니다(대학에서 "유체역학" 과정을 수강한 학생들은 분명히 아이디어를 갖고 있을 것입니다). 어떤 사람들은 이것이 수학 역사상 가장 복잡한 공식이라고 믿기도 합니다.

간단히 말하면, 18세기 수학자 오일러는 비점성 유체가 움직일 때 유체가 겪는 힘과 운동량의 변화를 바탕으로 "유체 운동의 일반 원리"에서 일련의 방정식을 도출했습니다.
N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.
오일러 방정식의 설명은 이상적인 세계에서 유체 운동을 규정하지만 실제 유체 내부에는 마찰이 있습니다. 자연계의 유체는 점성을 띠고 있어 총칭하여 점성유체 또는 실제유체라고 합니다. 예를 들어, 꿀을 저으면 점성 효과를 느끼게 되는데, 항공기의 비행 저항 역시 공기의 점성에서 크게 좌우됩니다.

실제 유체의 점성으로 인해 유체 운동에 대한 연구는 매우 복잡해집니다.
N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.
19세기 프랑스의 엔지니어이자 물리학자인 Claude-Louis Navit와 아일랜드의 물리학자이자 수학자인 George Stokes는 의 기본 방정식을 고려하여 유체 평형과 운동을 확립하고 데카르트 좌표계의 운동 구성 요소 형태를 설명합니다. .

이것이 후세대에서 Navier-Stokes 방정식이라고 불리는 것입니다. 역사상 가장 무서운 편미분 방정식 중 하나입니다.
N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.
나비에-스토크스 방정식은 액체나 공기와 같은 유체 물질을 설명하는 데 사용됩니다. 이러한 방정식은 유체의 입자 운동량이 변화하는 속도(힘)와 압력의 변화, 소산 점성력(마찰과 유사), 유체 내부에 작용하는 중력 사이의 관계를 설정합니다. 이러한 점성력은 분자의 상호작용으로 인해 발생하며 액체의 점성이 얼마나 되는지 알려줍니다. 이러한 방식으로 Navier-Stokes 방정식은 액체의 특정 영역에 작용하는 힘의 동적 균형을 설명합니다.

이는 많은 엔지니어링 문제에 매우 중요합니다.

나비에-스토크스 문제에 대한 세계적인 해결책이 있다면 항공우주, 로켓 엔진, 날씨 예측, 파이프라인 운송 및 의료 혈류를 포함하되 이에 국한되지 않는 유체 역학과 관련된 많은 기술에 획기적인 발전이 있을 것입니다. 건설. 모듈 등.

이 방정식 세트의 어려운 점은 수학 이론을 사용하여 이를 어떻게 설명할 것인가입니다. 이국적인 블랙홀을 설명하는 아인슈타인의 장 방정식을 설명하는 수학적 이론조차도 나비에-스토크스 방정식을 공식화하는 것보다 간단합니다.

사람들이 언급한 중요한 혁신은 4월 1일 유체역학 분야 최고 저널인 "Journal of Fluid Mechanics"에 게재된 "나비에르-스토크스 문제의 표준 해밀턴 공식"이라는 논문에서 나온 것입니다.
N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.
논문 링크: https://www.cambridge.org/core/journals/journal-of-fluid-mechanics/article/canonical-hamiltonian-formulation-of-the-navierstokes-problem/B3EB9389AE700867A6A3EA63A45E69C6

본 논문은 최소제곱 원리에서 파생된 최소작용 원리를 바탕으로 등방성 나비에-스토크스 문제에 대한 새로운 해밀턴 공식을 제안합니다. 이 공식은 속도 N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다. 및 압력 N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.을 변수 필드 수량으로 사용하고 분석에서 파생된 표준 공액 운동량도 사용합니다. 이를 바탕으로 본 연구에서는 해밀턴 정준방정식을 만족하는 보존된 해밀턴 함수 H*를 구축하고, 압축성 및 비압축성 흐름에 대한 관련 해밀턴-야코비안 방정식을 공식화한다. 이 해밀턴-야코비안 방정식은 4개의 독립적인 필드 양을 찾는 문제를 N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다. 이들 필드 중에서 단일 스칼라 함수를 찾는 것으로 줄입니다 - 해밀턴의 주요 함수 N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다. 또한 해밀턴과 야코비안의 변환 이론은 나비에-스토크스 문제를 풀기 위한 규정된 방법을 제공합니다. 문제: S*를 찾으세요.

S*의 분석적 표현을 얻을 수 있다면 표준 변환을 통해 새로운 필드 세트를 얻게 되며, 원래 속도 및 압력 필드의 분석적 표현은 단순히 초기 필드와 동일해집니다. 값. 이것이 실패하면 해밀턴-야코비 방정식에 대한 완전한 해가 존재하거나 존재하지 않는다는 것만 증명할 수 있으며, 이는 해의 존재 문제도 해결할 수 있습니다.

이 새로운 연구에 백만 달러의 상금이 있나요? 승리하려면 연구자들은 3차원 비압축성 Navier-Stokes 방정식에 대한 해가 있다는 것과 해가 있다면 그 해는 매끄럽다는 것을 보여야 합니다.

수학자 테렌스 타오는 한때 이것이 어렵다고 생각했습니다.
N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.
현재 진행 상황으로 볼 때, 새로운 연구를 통해 미해결 문제를 더 쉽게 해결할 수 있었고, 우리는 큰 진전을 이루었습니다. 나비에-스토크스 방정식의 정규 해밀턴 공식을 실현했다는 것은 우리가 표준 라그랑지안의 한계를 극복하고 단일 스칼라 함수를 찾는 문제를 줄일 수 있습니다.

아마도 밀레니엄 퍼즐의 두 번째 문제 해결이 멀지 않았습니다. ㅋㅋㅋ //zhuanlan.zhihu.com/p/263628141

https://terrytao.wordpress.com/2007/03/18/why-global-regularity-for-navier-stokes-is-hard/

위 내용은 N-S 방정식 문제가 해결되었나요? 리만 가설과 병치된 밀레니엄 수학 퍼즐이 승리를 눈앞에 두고 있습니다.의 상세 내용입니다. 자세한 내용은 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 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25 : Myrise에서 모든 것을 잠금 해제하는 방법
1 몇 달 전 By 尊渡假赌尊渡假赌尊渡假赌

뜨거운 도구

메모장++7.3.1

메모장++7.3.1

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

SublimeText3 중국어 버전

SublimeText3 중국어 버전

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

스튜디오 13.0.1 보내기

스튜디오 13.0.1 보내기

강력한 PHP 통합 개발 환경

드림위버 CS6

드림위버 CS6

시각적 웹 개발 도구

SublimeText3 Mac 버전

SublimeText3 Mac 버전

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

ControlNet의 저자가 또 다른 히트를 쳤습니다! 이틀 만에 14,000개의 별을 획득하여 그림에서 그림을 생성하는 전체 과정 ControlNet의 저자가 또 다른 히트를 쳤습니다! 이틀 만에 14,000개의 별을 획득하여 그림에서 그림을 생성하는 전체 과정 Jul 17, 2024 am 01:56 AM

역시 Tusheng 영상이지만 PaintsUndo는 다른 경로를 택했습니다. ControlNet 작성자 LvminZhang이 다시 살기 시작했습니다! 이번에는 회화 분야를 목표로 삼고 있습니다. 새로운 프로젝트인 PaintsUndo는 출시된 지 얼마 되지 않아 1.4kstar(여전히 상승세)를 받았습니다. 프로젝트 주소: https://github.com/lllyasviel/Paints-UNDO 이 프로젝트를 통해 사용자는 정적 이미지를 입력하고 PaintsUndo는 자동으로 라인 초안부터 완성품 따라가기까지 전체 페인팅 과정의 비디오를 생성하도록 도와줍니다. . 그리는 과정에서 선의 변화가 놀랍습니다. 최종 영상 결과는 원본 이미지와 매우 유사합니다. 완성된 그림을 살펴보겠습니다.

RLHF에서 DPO, TDPO까지 대규모 모델 정렬 알고리즘은 이미 '토큰 수준'입니다. RLHF에서 DPO, TDPO까지 대규모 모델 정렬 알고리즘은 이미 '토큰 수준'입니다. Jun 24, 2024 pm 03:04 PM

AIxiv 칼럼은 본 사이트에서 학술 및 기술 콘텐츠를 게재하는 칼럼입니다. 지난 몇 년 동안 이 사이트의 AIxiv 칼럼에는 전 세계 주요 대학 및 기업의 최고 연구실을 대상으로 한 2,000개 이상의 보고서가 접수되어 학술 교류 및 보급을 효과적으로 촉진하고 있습니다. 공유하고 싶은 훌륭한 작품이 있다면 자유롭게 기여하거나 보고를 위해 연락주시기 바랍니다. 제출 이메일: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com 인공 지능 개발 과정에서 LLM(대형 언어 모델)의 제어 및 안내는 항상 핵심 과제 중 하나였으며 이러한 모델이 두 가지 모두를 보장하는 것을 목표로 했습니다. 강력하고 안전하게 인간 사회에 봉사합니다. 인간 피드백(RL)을 통한 강화 학습 방법에 초점을 맞춘 초기 노력

오픈 소스 AI 소프트웨어 엔지니어 목록의 1위인 UIUC의 에이전트 없는 솔루션은 SWE 벤치의 실제 프로그래밍 문제를 쉽게 해결합니다. 오픈 소스 AI 소프트웨어 엔지니어 목록의 1위인 UIUC의 에이전트 없는 솔루션은 SWE 벤치의 실제 프로그래밍 문제를 쉽게 해결합니다. Jul 17, 2024 pm 10:02 PM

AIxiv 칼럼은 본 사이트에서 학술 및 기술 콘텐츠를 게재하는 칼럼입니다. 지난 몇 년 동안 이 사이트의 AIxiv 칼럼에는 전 세계 주요 대학 및 기업의 최고 연구실을 대상으로 한 2,000개 이상의 보고서가 접수되어 학술 교류 및 보급을 효과적으로 촉진하고 있습니다. 공유하고 싶은 훌륭한 작품이 있다면 자유롭게 기여하거나 보고를 위해 연락주시기 바랍니다. 제출 이메일: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com 이 논문의 저자는 모두 일리노이 대학교 Urbana-Champaign(UIUC)의 Zhang Lingming 교사 팀 출신입니다. Steven Code Repair, 박사 4년차, 연구원

OpenAI Super Alignment Team의 사후 작업: 두 개의 대형 모델이 게임을 하고 출력이 더 이해하기 쉬워졌습니다. OpenAI Super Alignment Team의 사후 작업: 두 개의 대형 모델이 게임을 하고 출력이 더 이해하기 쉬워졌습니다. Jul 19, 2024 am 01:29 AM

AI 모델이 내놓은 답변이 전혀 이해하기 어렵다면 감히 사용해 보시겠습니까? 기계 학습 시스템이 더 중요한 영역에서 사용됨에 따라 우리가 그 결과를 신뢰할 수 있는 이유와 신뢰할 수 없는 경우를 보여주는 것이 점점 더 중요해지고 있습니다. 복잡한 시스템의 출력에 대한 신뢰를 얻는 한 가지 가능한 방법은 시스템이 인간이나 다른 신뢰할 수 있는 시스템이 읽을 수 있는 출력 해석을 생성하도록 요구하는 것입니다. 즉, 가능한 오류가 발생할 수 있는 지점까지 완전히 이해할 수 있습니다. 설립하다. 예를 들어, 사법 시스템에 대한 신뢰를 구축하기 위해 우리는 법원이 자신의 결정을 설명하고 뒷받침하는 명확하고 읽기 쉬운 서면 의견을 제공하도록 요구합니다. 대규모 언어 모델의 경우 유사한 접근 방식을 채택할 수도 있습니다. 그러나 이 접근 방식을 사용할 때는 언어 모델이 다음을 생성하는지 확인하세요.

arXiv 논문은 '연발'로 게시될 수 있습니다. Stanford alphaXiv 토론 플랫폼은 온라인이며 LeCun은 이를 좋아합니다. arXiv 논문은 '연발'로 게시될 수 있습니다. Stanford alphaXiv 토론 플랫폼은 온라인이며 LeCun은 이를 좋아합니다. Aug 01, 2024 pm 05:18 PM

건배! 종이 토론이 말로만 진행된다면 어떤가요? 최근 스탠포드 대학교 학생들은 arXiv 논문에 대한 질문과 의견을 직접 게시할 수 있는 arXiv 논문에 대한 공개 토론 포럼인 alphaXiv를 만들었습니다. 웹사이트 링크: https://alphaxiv.org/ 실제로 이 웹사이트를 특별히 방문할 필요는 없습니다. URL에서 arXiv를 alphaXiv로 변경하면 alphaXiv 포럼에서 해당 논문을 바로 열 수 있습니다. 논문, 문장: 오른쪽 토론 영역에서 사용자는 저자에게 논문의 아이디어와 세부 사항에 대해 질문하는 질문을 게시할 수 있습니다. 예를 들어 다음과 같이 논문 내용에 대해 의견을 제시할 수도 있습니다.

Axiom 교육을 통해 LLM은 인과 추론을 학습할 수 있습니다. 6,700만 개의 매개변수 모델은 1조 매개변수 수준 GPT-4와 비슷합니다. Axiom 교육을 통해 LLM은 인과 추론을 학습할 수 있습니다. 6,700만 개의 매개변수 모델은 1조 매개변수 수준 GPT-4와 비슷합니다. Jul 17, 2024 am 10:14 AM

LLM에 인과관계 사슬을 보여주면 공리를 학습합니다. AI는 이미 수학자 및 과학자의 연구 수행을 돕고 있습니다. 예를 들어, 유명한 수학자 Terence Tao는 GPT와 같은 AI 도구의 도움을 받아 자신의 연구 및 탐색 경험을 반복적으로 공유했습니다. AI가 이러한 분야에서 경쟁하려면 강력하고 신뢰할 수 있는 인과관계 추론 능력이 필수적입니다. 본 논문에서 소개할 연구에서는 작은 그래프의 인과 전이성 공리 시연을 위해 훈련된 Transformer 모델이 큰 그래프의 전이 공리로 일반화될 수 있음을 발견했습니다. 즉, Transformer가 단순한 인과 추론을 수행하는 방법을 학습하면 보다 복잡한 인과 추론에 사용될 수 있습니다. 팀이 제안하는 공리적 훈련 프레임워크는 시연만으로 패시브 데이터를 기반으로 인과 추론을 학습하는 새로운 패러다임입니다.

리만 가설의 중요한 돌파구! 타오저쉬안(Tao Zhexuan)은 MIT와 옥스퍼드의 새로운 논문을 적극 추천했으며, 37세의 필즈상 수상자도 참여했다. 리만 가설의 중요한 돌파구! 타오저쉬안(Tao Zhexuan)은 MIT와 옥스퍼드의 새로운 논문을 적극 추천했으며, 37세의 필즈상 수상자도 참여했다. Aug 05, 2024 pm 03:32 PM

최근 새천년 7대 과제 중 하나로 알려진 리만 가설이 새로운 돌파구를 마련했다. 리만 가설은 소수 분포의 정확한 특성과 관련된 수학에서 매우 중요한 미해결 문제입니다(소수는 1과 자기 자신으로만 나눌 수 있는 숫자이며 정수 이론에서 근본적인 역할을 합니다). 오늘날의 수학 문헌에는 리만 가설(또는 일반화된 형식)의 확립에 기초한 수학적 명제가 천 개가 넘습니다. 즉, 리만 가설과 그 일반화된 형식이 입증되면 천 개가 넘는 명제가 정리로 확립되어 수학 분야에 지대한 영향을 미칠 것이며, 리만 가설이 틀린 것으로 입증된다면, 이러한 제안의 일부도 그 효과를 잃을 것입니다. MIT 수학 교수 Larry Guth와 Oxford University의 새로운 돌파구

최초의 Mamba 기반 MLLM이 출시되었습니다! 모델 가중치, 학습 코드 등은 모두 오픈 소스입니다. 최초의 Mamba 기반 MLLM이 출시되었습니다! 모델 가중치, 학습 코드 등은 모두 오픈 소스입니다. Jul 17, 2024 am 02:46 AM

AIxiv 칼럼은 본 사이트에서 학술 및 기술 콘텐츠를 게재하는 칼럼입니다. 지난 몇 년 동안 이 사이트의 AIxiv 칼럼에는 전 세계 주요 대학 및 기업의 최고 연구실을 대상으로 한 2,000개 이상의 보고서가 접수되어 학술 교류 및 보급을 효과적으로 촉진하고 있습니다. 공유하고 싶은 훌륭한 작품이 있다면 자유롭게 기여하거나 보고를 위해 연락주시기 바랍니다. 제출 이메일: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com 서문 최근 몇 년 동안 다양한 분야에서 MLLM(Multimodal Large Language Model)의 적용이 눈에 띄는 성공을 거두었습니다. 그러나 많은 다운스트림 작업의 기본 모델로서 현재 MLLM은 잘 알려진 Transformer 네트워크로 구성됩니다.

See all articles