Video wird geladen...

Video konnte nicht geladen werden

Beim Laden dieses Videos ist ein Problem aufgetreten. Dies könnte an einem vorübergehenden Netzwerkproblem liegen oder das Video ist möglicherweise nicht verfügbar.

How do you turn a mathematical proof into something a computer can check? H.E. Justin Sun 👨‍🚀 🌞 explains the role of Lean and why #JustinSunPrize recognizes both complete mathematical solutions and the work of formally verifying them. 👇

The Justin Sun Prize

2,559 subscribers

122,757 Aufrufe • vor 14 Tagen •via X (Twitter)

Bildung Wissenschaft & Technologie #JustinSunPrize

Anya Rossi• Live Now

Private livecam show

10 Kommentare

Profilbild von Yuan Liao

Yuan Liaovor 13 Tagen

@justinsuntron Just saying, we have formalized 3D Poincare as in

Profilbild von 𝐂𝐑𝐘𝐏𝐓𝐎 𝐓𝐑𝐀𝐃𝐄𝐑

𝐂𝐑𝐘𝐏𝐓𝐎 𝐓𝐑𝐀𝐃𝐄𝐑vor 12 Tagen

@justinsuntron Converting mathematical proofs into a machine-verifiable formula is a significant step towards combining the power of human reasoning with the precision of computing!

Profilbild von ᘻᗩᕲᓍᘉᗩ 𝄞

ᘻᗩᕲᓍᘉᗩ 𝄞vor 12 Tagen

@justinsuntron 🔥 Great discoveries deserve more than answers — they deserve verifiable proof. Lean turns mathematical brilliance into trusted knowledge. The future is not just solving problems, but proving them! 🚀🏆 #JustinSunPrize #TRON #Lean #AI

Profilbild von 𝑩𝒍𝒐𝒄𝒌𝒆𝒓

𝑩𝒍𝒐𝒄𝒌𝒆𝒓vor 12 Tagen

@justinsuntron Lean combines mathematical genius with computational precision, making proofs formally verifiable step by step.

Profilbild von Tony stark

Tony starkvor 13 Tagen

@justinsuntron Question is how will it remember And how long 💎

Profilbild von CryptoHay

CryptoHayvor 12 Tagen

@justinsuntron A great step combining mathematics and technology. Formal proof verification opens up exciting possibilities for scientific research! 👏🧮

Profilbild von Chain Empress ♛

Chain Empress ♛vor 12 Tagen

@justinsuntron تحويل الأفكار الرياضية إلى لغة تفهمها الآلة؟ هذا هو مستقبل دقة العلوم 💻✨

Profilbild von Jerry Whitlow

Jerry Whitlowvor 13 Tagen

@justinsuntron Why do we need complicated mathematical equations?

Profilbild von AL_ Joker 🚀

AL_ Joker 🚀vor 13 Tagen

@justinsuntron The difference is not only in arriving at the solution, but in converting it into a formal proof that the computer can verify logically. This is the important role of Lean!

Profilbild von Jerry Whitlow

Jerry Whitlowvor 14 Tagen

@justinsuntron Woooow

Ähnliche Videos

How is AI changing mathematical research? H.E. Justin Sun 👨‍🚀 🌞 discusses AI’s role in solving problems and how Lean checks the logic of a proof, both central to the thinking behind #JustinSunPrize. From his conversation with 邦妮區塊鏈 Bonnie Blockchain 👇

How is AI changing mathematical research? H.E. Justin Sun 👨‍🚀 🌞 discusses AI’s role in solving problems and how Lean checks the logic of a proof, both central to the thinking behind #JustinSunPrize. From his conversation with 邦妮區塊鏈 Bonnie Blockchain 👇

The Justin Sun Prize

49,702 Aufrufe • vor 5 Tagen

Bitcoin, TRON and Ethereum all rely on mathematics. Speaking with 邦妮區塊鏈 Bonnie Blockchain, H.E. Justin Sun 👨‍🚀 🌞 explains why he wants to give back to the field through #JustinSunPrize. Watch the clip 👇

Bitcoin, TRON and Ethereum all rely on mathematics. Speaking with 邦妮區塊鏈 Bonnie Blockchain, H.E. Justin Sun 👨‍🚀 🌞 explains why he wants to give back to the field through #JustinSunPrize. Watch the clip 👇

The Justin Sun Prize

144,823 Aufrufe • vor 11 Tagen

What does #TRON do? It translates value into a language that machines and the internet can understand. H.E. Justin Sun 👨‍🚀 🌞 breaks it down. 👇

What does #TRON do? It translates value into a language that machines and the internet can understand. H.E. Justin Sun 👨‍🚀 🌞 breaks it down. 👇

TRON DAO

4,094,146 Aufrufe • vor 13 Tagen

💰 Justin Sun says Digital Asset Treasuries (DATs) beat ETFs. Why? TRON DAO's H.E. Justin Sun 👨‍🚀 🌞 explains how staking, DeFi, and perpetuals give them long-term yield power - 20-30% annual advantage. 💸 Watch the full interview. 📺

💰 Justin Sun says Digital Asset Treasuries (DATs) beat ETFs. Why? TRON DAO's H.E. Justin Sun 👨‍🚀 🌞 explains how staking, DeFi, and perpetuals give them long-term yield power - 20-30% annual advantage. 💸 Watch the full interview. 📺

Bitcoin.com News

134,826 Aufrufe • vor 1 Jahr

Stablecoins are already moving at scale on TRON. H.E. Justin Sun 👨‍🚀 🌞 on the adoption happening today and why AI could bring a new generation of onchain payments. 👇

Stablecoins are already moving at scale on TRON. H.E. Justin Sun 👨‍🚀 🌞 on the adoption happening today and why AI could bring a new generation of onchain payments. 👇

TRON DAO

149,935 Aufrufe • vor 12 Tagen

🔥 Justin Sun breaks it all down! From TRON DAO's dominance in stablecoins → to the #TRON founders trip into SPACE → to why perpetuals and digital asset treasuries will shape the future of crypto. Full interview with David and H.E. Justin Sun 👨‍🚀 🌞. 🔽

🔥 Justin Sun breaks it all down! From TRON DAO's dominance in stablecoins → to the #TRON founders trip into SPACE → to why perpetuals and digital asset treasuries will shape the future of crypto. Full interview with David and H.E. Justin Sun 👨‍🚀 🌞. 🔽

Bitcoin.com News

363,757 Aufrufe • vor 1 Jahr

Introducing the #JustinSunPrize. Rewarding Breakthroughs in Classic Mathematical Challenges Learn more 👇

Introducing the #JustinSunPrize. Rewarding Breakthroughs in Classic Mathematical Challenges Learn more 👇

The Justin Sun Prize

442,650 Aufrufe • vor 1 Monat

AI is opening new opportunities for young people across industries. #JustinSunPrize focuses on mathematics. Its problem list is public, and it aims to recognize new results promptly, including those from human–AI collaboration. Hear more from H.E. Justin Sun 👨‍🚀 🌞 👇

AI is opening new opportunities for young people across industries. #JustinSunPrize focuses on mathematics. Its problem list is public, and it aims to recognize new results promptly, including those from human–AI collaboration. Hear more from H.E. Justin Sun 👨‍🚀 🌞 👇

The Justin Sun Prize

130,381 Aufrufe • vor 13 Tagen

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: And see the complete proof on GitHub:

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: And see the complete proof on GitHub:

Anthropic

4,764,158 Aufrufe • vor 1 Monat

NEW: Justin Sun, TRON DAO founder, speaks on the US acceptance of #Bitcoin adoption. H.E. Justin Sun 👨‍🚀 🌞 also shares his experience at the Gala dinner. 💥

NEW: Justin Sun, TRON DAO founder, speaks on the US acceptance of #Bitcoin adoption. H.E. Justin Sun 👨‍🚀 🌞 also shares his experience at the Gala dinner. 💥

Bitcoin.com News

17,851 Aufrufe • vor 1 Jahr

Have you tried our A.I Powered DeFi Bridge? You can swap from 50+ chains into TRX and TRX memes. We bring liquidity into the TRX ecosystem H.E. Justin Sun 👨‍🚀 🌞 will see this soon 🤫😜

Have you tried our A.I Powered DeFi Bridge? You can swap from 50+ chains into TRX and TRX memes. We bring liquidity into the TRX ecosystem H.E. Justin Sun 👨‍🚀 🌞 will see this soon 🤫😜

Zapo AI

27,774 Aufrufe • vor 1 Jahr

“Math is code. And code is math.” Carina Hong CEO Axiom on why that idea matters for AI: “For centuries, mathematicians reasoned in natural language. But because of the Curry–Howard correspondence, a proof can also be a program.” “You can translate natural-language math into formal code using systems like Lean. Lean is both a theorem-proving language and a programming language.” “That means you can generate solutions as code and then formally verify them. You can even use the same system to verify programs themselves.” “This creates a flywheel of generation and verification, where AI can both write solutions and prove that they’re correct.”

“Math is code. And code is math.” Carina Hong CEO Axiom on why that idea matters for AI: “For centuries, mathematicians reasoned in natural language. But because of the Curry–Howard correspondence, a proof can also be a program.” “You can translate natural-language math into formal code using systems like Lean. Lean is both a theorem-proving language and a programming language.” “That means you can generate solutions as code and then formally verify them. You can even use the same system to verify programs themselves.” “This creates a flywheel of generation and verification, where AI can both write solutions and prove that they’re correct.”

Forward Future

24,729 Aufrufe • vor 8 Monaten

I promise not to roast you too hard H.E. Justin Sun 👨‍🚀 🌞. 🤣

I promise not to roast you too hard H.E. Justin Sun 👨‍🚀 🌞. 🤣

t.j. miller

102,127 Aufrufe • vor 1 Jahr

Building until 122. That’s the 100-year plan. 😎 H.E. Justin Sun 👨‍🚀 🌞 on building for the long term and continuing to expand TRON’s boundaries. 👇

Building until 122. That’s the 100-year plan. 😎 H.E. Justin Sun 👨‍🚀 🌞 on building for the long term and continuing to expand TRON’s boundaries. 👇

TRON DAO

131,586 Aufrufe • vor 11 Tagen

🤩The H.E. Justin Sun 👨‍🚀 🌞 Collections Debuts! 🤔Take a guess what's the price of these collections from Pablo Picasso, Andy Warhol, Alberto Giacometti, FEWOCiOUS, and Zeng Fanzhi. Full video👉

🤩The H.E. Justin Sun 👨‍🚀 🌞 Collections Debuts! 🤔Take a guess what's the price of these collections from Pablo Picasso, Andy Warhol, Alberto Giacometti, FEWOCiOUS, and Zeng Fanzhi. Full video👉

TRON DAO

68,210 Aufrufe • vor 3 Jahren

.H.E. Justin Sun 👨‍🚀 🌞 on why #TRON has become the trusted chain for moving value—every day, anywhere in the world.⬇️

.H.E. Justin Sun 👨‍🚀 🌞 on why #TRON has become the trusted chain for moving value—every day, anywhere in the world.⬇️

TRON DAO

112,354 Aufrufe • vor 1 Jahr

🔥 BULLISH: “Crypto is super undervalued, especially when you see what AI can do with it.” —H.E. Justin Sun 👨‍🚀 🌞 at LONGITUDE HK

🔥 BULLISH: “Crypto is super undervalued, especially when you see what AI can do with it.” —H.E. Justin Sun 👨‍🚀 🌞 at LONGITUDE HK

Cointelegraph

43,570 Aufrufe • vor 8 Monaten

Thank you, H.E. Justin Sun 👨‍🚀 🌞, for the kind words. My work and efforts to help push the #Tron ecosystem will only continue to increase. We all have the same goal to make #Tron the #1 blockchain in the world. To the Sun 🌞

Thank you, H.E. Justin Sun 👨‍🚀 🌞, for the kind words. My work and efforts to help push the #Tron ecosystem will only continue to increase. We all have the same goal to make #Tron the #1 blockchain in the world. To the Sun 🌞

Trav

19,887 Aufrufe • vor 2 Jahren