AI 破解了 166 頁的數學難題？「納維-斯托克斯」與「Lean」的登場
AI 據稱解決了數學界七大難題之一的納維-斯托克斯問題，這究竟意味著什麼？讓我們為您簡單介紹電腦直接進行證明的方法——「形式化證明」。
Tag: Lean4
AI解决了166页的数学难题？“纳维-斯托克斯”与“Lean”的登场
AI宣称解决了数学界七大难题之一的纳维-斯托克斯问题，这究竟意味着什么？让我们为您通俗解释一下计算机亲自证明的“形式化证明”。
AI가 166페이지짜리 수학 난제를 풀었다? '나비에-스토크스'와 '린(Lean)'의 등장
AI가 수학계의 7대 난제 중 하나인 나비에-스토크스 문제를 해결했다는 소식, 도대체 어떤 의미일까요? 컴퓨터가 직접 증명하는 '형식적 증명'에 대해 쉽게 설명해드립니다.
AIが166ページの数学難問を解いた？「ナビエ-ストークス」と「Lean」の登場
AIが数学界の7大難問の一つであるナビエ-ストークス問題を解決したというニュース、一体どのような意味を持つのでしょうか？コンピュータが直接証明する「形式的証明」について分かりやすく解説します。
Did AI solve a 166-page math mystery? The emergence of 'Navier-Stokes' and 'Lean'
AI has reportedly solved the Navier-Stokes problem, one of the seven great math mysteries. What does this mean? We explain 'formal proof,' where computers verify results directly.
수학 문제, AI와 '코딩'으로 완벽하게 검증한다: MathCode 이야기
어려운 수학 문제를 AI에게 말로 설명하면 코드로 변환해 증명까지 해주는 MathCode에 대해 알아봅니다.
数学の問題を、AIと『コーディング』で完璧に検証する：MathCodeの物語
難解な数学の問題をAIに言葉で説明すると、コードに変換して証明までしてくれる「MathCode」について紹介します。
Mathematical Problems, Perfectly Verified by AI and 'Coding': The MathCode Story
Discover MathCode, which converts complex mathematical problems explained in natural language into code for logical verification.