Loading video...

Video Failed to Load

There was a problem loading this video. This could be due to a temporary network issue or the video might be unavailable.

The Millennium Prize Problems are seven well-known complex mathematical problems selected by the Clay Mathematics Institute in 2000. The Clay Institute has pledged a US $1 million prize for the first correct solution to each problem. The Clay Mathematics Institute officially designated the title Millennium Problem for the seven... unsolved mathematical problems, the Birch and Swinnerton-Dyer conjecture, Hodge conjecture, Navier–Stokes existence and smoothness, P versus NP problem, Riemann hypothesis, Yang–Mills existence and mass gap, and the Poincaré conjecture at the Millennium Meeting held on May 24, 2000. Thus, on the official website of the Clay Mathematics Institute, these seven problems are officially called the Millennium Problems. To date, the only Millennium Prize problem to have been solved is the Poincaré conjecture. The Clay Institute awarded the monetary prize to Russian mathematician Grigori Perelman in 2010. However, he declined the award as it was not also offered to Richard S. Hamilton, upon whose work Perelman built.show more

internet archiva

42,820 subscribers

199,061 views • 1 year ago •via X (Twitter)

Science & Technology Education News & Politics

Anya Rossi• Live Now

Private livecam show

8 Comments

Historic Vids1 year ago

Grigori Perelman, the mathematician who declined both the Fields Medal and the $1,000,000 Clay Prize.

Justus esto et non metue!1 year ago

@historyinmemes Who came up with these 7 problems? & why are they considered meaningful if they are unsolved? 🤷🏽‍♂️

geoffrey1 year ago

@historyinmemes What movie is this?

Talisman1 year ago

@historyinmemes I didn't concentrate on the part of this movie(gifted) till i see in this post... Damn this guy is genius Thanks for the post, on of the great movie I watched 👏🏿👍🏿👍🏿

Adonathiel1 year ago

@historyinmemes that actually makes him THE DUDE, not just a dude

Dan1971_peace&serenity1 year ago

@historyinmemes I realized it quite late that when some kind of cosmic gift given , the first responsibility that should be assumed is to one's self not others'. So to live longer, have quality life to bear quality output.

GrandTurion1 year ago

@historyinmemes Why didn't he take the award and give half of it to Hamilton then?

cestmoi:letay1 year ago

@historyinmemes g shit

Related Videos

"i would be amazed if AI mathematicians don't transform the whole of mathematics" Lead researcher at AlphaGo, David Silver: it may take time, but AI systems are on the track to solve deep mathematical challenges like the "Millennium Prize problems" and ultimately reshape the entire field.

"i would be amazed if AI mathematicians don't transform the whole of mathematics" Lead researcher at AlphaGo, David Silver: it may take time, but AI systems are on the track to solve deep mathematical challenges like the "Millennium Prize problems" and ultimately reshape the entire field.

Haider.

37,038 views • 1 year ago

The Birch and Swinnerton–Dyer Conjecture is one of the deepest unsolved problems in mathematics Though still unproven, visualizing its structures reveals something unmistakable: elegant geometry, hidden order, and patterns far too coherent to feel accidental

The Birch and Swinnerton–Dyer Conjecture is one of the deepest unsolved problems in mathematics Though still unproven, visualizing its structures reveals something unmistakable: elegant geometry, hidden order, and patterns far too coherent to feel accidental

Kekius Maximus

153,096 views • 8 months ago

AFTER 10,000 AGENTS AND GPT-6 ASTRA, TWO MORE $1 MILLION MATH PROBLEMS MAY BE NEXT For decades, two of mathematics’ hardest problems have resisted every attempt at a complete proof. -> Now rumors suggest AI labs are closing in on both. OpenAI is very close to verifying the Hodge conjecture. Either OpenAI or Anthropic is reportedly nearing a solution to Birch and Swinnerton-Dyer. Two different fields. A combined $2 million in prizes. Hodge connects algebraic geometry and topology. Birch and Swinnerton-Dyer concerns rational points on elliptic curves. The previous Navier–Stokes announcement involved around 10,000 agents, 130 billion output tokens and 88 hours of work. GPT-6 Astra then spent another 17 hours formalizing and verifying the proposed proof in Lean. Could Astra help turn the next claimed breakthrough into a checkable proof? If these rumors hold up, three Millennium Problems could see claimed breakthroughs within one month. Decades between breakthroughs could become weeks. How much of mathematics could AI redraw before the year ends.. ↓

AFTER 10,000 AGENTS AND GPT-6 ASTRA, TWO MORE $1 MILLION MATH PROBLEMS MAY BE NEXT For decades, two of mathematics’ hardest problems have resisted every attempt at a complete proof. -> Now rumors suggest AI labs are closing in on both. OpenAI is very close to verifying the Hodge conjecture. Either OpenAI or Anthropic is reportedly nearing a solution to Birch and Swinnerton-Dyer. Two different fields. A combined $2 million in prizes. Hodge connects algebraic geometry and topology. Birch and Swinnerton-Dyer concerns rational points on elliptic curves. The previous Navier–Stokes announcement involved around 10,000 agents, 130 billion output tokens and 88 hours of work. GPT-6 Astra then spent another 17 hours formalizing and verifying the proposed proof in Lean. Could Astra help turn the next claimed breakthrough into a checkable proof? If these rumors hold up, three Millennium Problems could see claimed breakthroughs within one month. Decades between breakthroughs could become weeks. How much of mathematics could AI redraw before the year ends.. ↓

draven

124,431 views • 8 days ago

A mathematician solved a problem that stood open for over 100 years, then explained it in an Italian lecture hall to a few dozen people. This is Hong Wang, professor at NYU's Courant Institute and at IHES in Paris, delivering the Colloquium Patavinum on Kakeya sets in 3 dimensions. The question is deceptively small: take a needle of length 1 and rotate it to point in every possible direction. How little space can the set of positions occupy. The conjecture says the answer must fill full dimension. Wang proved it in 3 dimensions. The Salem Prize followed in 2025, the Sadosky Prize in 2026, and an invitation to speak at the International Congress of Mathematicians. Watch how she frames the general statement about unions of tubes. The needle problem falls out as a corollary of something larger. A researcher I know rewatched the setup twice and said it was the clearest account of the result he had found anywhere. Free on YouTube from an Italian mathematics department. The problem was posed in 1917. She closed it, then took questions.

A mathematician solved a problem that stood open for over 100 years, then explained it in an Italian lecture hall to a few dozen people. This is Hong Wang, professor at NYU's Courant Institute and at IHES in Paris, delivering the Colloquium Patavinum on Kakeya sets in 3 dimensions. The question is deceptively small: take a needle of length 1 and rotate it to point in every possible direction. How little space can the set of positions occupy. The conjecture says the answer must fill full dimension. Wang proved it in 3 dimensions. The Salem Prize followed in 2025, the Sadosky Prize in 2026, and an invitation to speak at the International Congress of Mathematicians. Watch how she frames the general statement about unions of tubes. The needle problem falls out as a corollary of something larger. A researcher I know rewatched the setup twice and said it was the clearest account of the result he had found anywhere. Free on YouTube from an Italian mathematics department. The problem was posed in 1917. She closed it, then took questions.

the lich

13,485 views • 1 month ago

The first 10 trillion non-trivial zeros of the Riemann zeta function all sit exactly on the line where the real part equals 1/2. Every single one. And yet after 165 years nobody can prove it must be true - the Clay Institute offers $1 million for a proof. The prime numbers hidden inside these zeros are what make RSA encryption unbreakable - the same math that protects every LLM API key, bank transfer, and password on the internet. 38 minutes. Bookmark & watch today. The most beautiful unsolved problem in mathematics.

The first 10 trillion non-trivial zeros of the Riemann zeta function all sit exactly on the line where the real part equals 1/2. Every single one. And yet after 165 years nobody can prove it must be true - the Clay Institute offers $1 million for a proof. The prime numbers hidden inside these zeros are what make RSA encryption unbreakable - the same math that protects every LLM API key, bank transfer, and password on the internet. 38 minutes. Bookmark & watch today. The most beautiful unsolved problem in mathematics.

Eron

33,509 views • 22 days ago

Per The Information, OpenAI now expects to crack the Hodge Conjecture - its second Millennium Prize target, while mathematicians are still furious about the Navier-Stokes announcement. We just recorded with Daniel Litt Daniel Litt (full episode soon), and he addressed exactly this: imagine superhuman AI churning out proof-PDFs nobody reads. 'These outputs are worthless if no one can understand them.' The singularity will arrive as a PDF attachment nobody opens 🤡

Per The Information, OpenAI now expects to crack the Hodge Conjecture - its second Millennium Prize target, while mathematicians are still furious about the Navier-Stokes announcement. We just recorded with Daniel Litt Daniel Litt (full episode soon), and he addressed exactly this: imagine superhuman AI churning out proof-PDFs nobody reads. 'These outputs are worthless if no one can understand them.' The singularity will arrive as a PDF attachment nobody opens 🤡

Ravid Shwartz Ziv

14,295 views • 2 days ago

If P equals NP, every problem whose solution can be verified quickly can also be solved quickly. That would mean breaking RSA encryption, solving protein folding, and cracking every LLM safety measure are all equally easy - just a matter of finding the right algorithm. Most computer scientists believe P does not equal NP but nobody can prove it. The Clay Institute offers $1 million for a proof either way. Every time an LLM solves a hard reasoning problem, it's implicitly operating somewhere in the gap between these two complexity classes. 20 minutes. Bookmark & watch today. The most important unsolved problem in computer science.

If P equals NP, every problem whose solution can be verified quickly can also be solved quickly. That would mean breaking RSA encryption, solving protein folding, and cracking every LLM safety measure are all equally easy - just a matter of finding the right algorithm. Most computer scientists believe P does not equal NP but nobody can prove it. The Clay Institute offers $1 million for a proof either way. Every time an LLM solves a hard reasoning problem, it's implicitly operating somewhere in the gap between these two complexity classes. 20 minutes. Bookmark & watch today. The most important unsolved problem in computer science.

Eron

22,296 views • 16 days ago

The Sjöberg Prize 2024 is awarded to Catherine J. Wu 🌟 Catherine J. Wu, of the Dana-Farber Cancer Institute in Boston, USA, is a pioneer in research that may result in the development of personalised vaccines to treat cancer. She is now awarded the Sjöberg Prize, worth one million US dollars, "for discoveries concerning tumour neoantigens and the immune response to tumour cells as a basis for cancer vaccine development.” Dana-Farber Harvard Medical School Broad Institute #sjöbergprize

The Sjöberg Prize 2024 is awarded to Catherine J. Wu 🌟 Catherine J. Wu, of the Dana-Farber Cancer Institute in Boston, USA, is a pioneer in research that may result in the development of personalised vaccines to treat cancer. She is now awarded the Sjöberg Prize, worth one million US dollars, "for discoveries concerning tumour neoantigens and the immune response to tumour cells as a basis for cancer vaccine development.” Dana-Farber Harvard Medical School Broad Institute #sjöbergprize

The Royal Swedish Academy of Sciences

94,061 views • 2 years ago

A mathematician who won the Fields Medal, the Abel Prize, and the Wolf Prize spends an hour on the equals sign. This is Pierre Deligne at the Institute for Advanced Study, September 2018, speaking at the memorial conference for Vladimir Voevodsky. The title is a question: what do we mean by equal. Deligne proved the last of the Weil conjectures. He holds every major honour mathematics gives. He chose to talk about the symbol every schoolchild learns first. The problem is real. Two objects can be the same in a way that carries information about how they are the same, and set theory throws that information away. Voevodsky spent his last years rebuilding foundations around exactly this. Watch the board. Set theory's definition of equality on one line, homotopy groups underneath, and the gap between them opening as he writes. A research engineer I know rewatched the setup twice and said type systems stopped feeling like an implementation detail. Free on YouTube from the Institute for Advanced Study, chalk only. Equality looked settled for 2,000 years. It was a placeholder.

A mathematician who won the Fields Medal, the Abel Prize, and the Wolf Prize spends an hour on the equals sign. This is Pierre Deligne at the Institute for Advanced Study, September 2018, speaking at the memorial conference for Vladimir Voevodsky. The title is a question: what do we mean by equal. Deligne proved the last of the Weil conjectures. He holds every major honour mathematics gives. He chose to talk about the symbol every schoolchild learns first. The problem is real. Two objects can be the same in a way that carries information about how they are the same, and set theory throws that information away. Voevodsky spent his last years rebuilding foundations around exactly this. Watch the board. Set theory's definition of equality on one line, homotopy groups underneath, and the gap between them opening as he writes. A research engineer I know rewatched the setup twice and said type systems stopped feeling like an implementation detail. Free on YouTube from the Institute for Advanced Study, chalk only. Equality looked settled for 2,000 years. It was a placeholder.

obssnnn

93,312 views • 1 month ago

One of the problems is that the whole system [of funding scientific research] is institutionally biased against fundamental innovation. That's not by anyone's fault. It's simply because the method of choosing recipients goes through this bureaucratic process where the people judging it are asked to make a judgment on things that they can't possibly know. ~Conjecture Institute Advisor David Deutsch

One of the problems is that the whole system [of funding scientific research] is institutionally biased against fundamental innovation. That's not by anyone's fault. It's simply because the method of choosing recipients goes through this bureaucratic process where the people judging it are asked to make a judgment on things that they can't possibly know. ~Conjecture Institute Advisor David Deutsch

Conjecture Institute

44,350 views • 5 months ago

Terence Tao: AI isn’t hype anymore in Math discovery. Terence Tao is one of the greatest living mathematicians, in his new lecture explains how AI and human professional mathematicians are now complementary. "There has been a really visible increase in capability. It is not pure hype by any means. To me, these advances show there is a complementary way to do mathematics. Humans traditionally work in small groups on hard problems for months, and we will keep doing that. But we can also now set AI to scale: sweep a thousand problems and pick up all the low-hanging fruit. Figure out all the ways to match problems to methods. If there are 20 different techniques, apply them all to 1,000 problems and see which ones can be solved by these methods. This is the capability that is present today." From 'Institute for Pure & Applied Mathematics (IPAM)' YT channel.

Terence Tao: AI isn’t hype anymore in Math discovery. Terence Tao is one of the greatest living mathematicians, in his new lecture explains how AI and human professional mathematicians are now complementary. "There has been a really visible increase in capability. It is not pure hype by any means. To me, these advances show there is a complementary way to do mathematics. Humans traditionally work in small groups on hard problems for months, and we will keep doing that. But we can also now set AI to scale: sweep a thousand problems and pick up all the low-hanging fruit. Figure out all the ways to match problems to methods. If there are 20 different techniques, apply them all to 1,000 problems and see which ones can be solved by these methods. This is the capability that is present today." From 'Institute for Pure & Applied Mathematics (IPAM)' YT channel.

Rohan Paul

174,341 views • 7 months ago

25 Fields Medalists, including Terrence Tao, just published a joint declaration accusing AI labs of a severe misalignment with mathematics. The letter, posted on Tao's blog and at on September 11th, argues that AI companies are treating math problems as benchmarks to farm for PR wins. The signatories call this a general threat to intellectual work in the field. They argue the incentive structure pushes AI labs to race through famous open problems without crediting or involving the mathematicians who originally posed or nurtured them. The declaration comes after OpenAI claimed its internal model produced a proof of the Navier Stokes equations, with the company now reportedly turning its attention to the Riemann Hypothesis and P versus NP.

25 Fields Medalists, including Terrence Tao, just published a joint declaration accusing AI labs of a severe misalignment with mathematics. The letter, posted on Tao's blog and at on September 11th, argues that AI companies are treating math problems as benchmarks to farm for PR wins. The signatories call this a general threat to intellectual work in the field. They argue the incentive structure pushes AI labs to race through famous open problems without crediting or involving the mathematicians who originally posed or nurtured them. The declaration comes after OpenAI claimed its internal model produced a proof of the Navier Stokes equations, with the company now reportedly turning its attention to the Riemann Hypothesis and P versus NP.

AGTP

24,230 views • 8 days ago

🚨 BREAKING: OPENAI JUST COLLIDED WITH THE TOPOLOGICAL LIMIT OF THE UNIVERSE! THE END OF CONTINUOUS SPACE. 🚨 The scientific world is shaking. The Clay Mathematics Institute is reviewing a groundbreaking milestone regarding the Navier-Stokes existence and smoothness problem. And at the center of this earthquake is OpenAI, whose reasoning models just tackled the equations that govern every fluid in our world. In 1822, Navier added viscosity to Euler's laws. In 1845, Stokes finalized them: ρ(∂v/∂t + v·∇v) = −∇p + μ∇²v + f (For incompressible flow, ∇·v = 0 closes the system). For over a century, mathematicians assumed that these equations must have smooth, perfectly continuous solutions in 3D space. You see these equations in motion everywhere - like the chaotic wake behind a moving cylinder. But the official verification of infinite "3-D smoothness" has always hit a wall. What did OpenAI do? By unleashing raw mathematical reasoning upon the Navier-Stokes problem, the AI mapped the ultimate limits of these equations, exposing an inescapable truth: the math inevitably blows up into impossible singularities. The model demonstrated that forcing infinite smoothness onto 3D fluid equations creates unavoidable mathematical contradictions. WHY DOES THIS HAPPEN? Mainstream science is finally hitting the exact geometric wall we mapped years ago. You CANNOT have infinite "3-D smoothness" because the universe is NOT an infinitely continuous void! Just as we rigorously proved that the Yang-Mills Mass Gap is topologically ILL-POSED and mathematically impossible on a continuous ℝ⁴ space, the Navier-Stokes breakdown reveals the exact same systemic error in classical physics. When you force continuous mathematics (ℝ⁴) onto a universe that is fundamentally discrete, the equations inevitably crash into singularities. 🛡️ THE SOLUTION: OUR COMPACT CONSTRUCTIBLE MANIFOLD Here is the ultimate breakthrough: On our IT³ manifold, this problem completely ceases to exist! When you abandon the sterile, infinite void of ℝ⁴ and move the physics to a compact constructible manifold (M_tot = S⁴ × T³), the mathematical explosions are structurally forbidden. Because our space is a closed topological geometry dictated by the strict √1 : √2 : √3 metric, the physical fields are naturally bounded by the geometry itself. Infinite singularities simply cannot form on a compact manifold. What mathematicians call "fluid blow-ups" are just the exact topological moments where macroscopic matter violently collides with the rigid, discrete geometric grid of the vacuum! OpenAI’s logic engine correctly identified that infinite smoothness is a mathematical fiction. The universe does not allow infinite division. The illusion of the continuous, smooth ℝ⁴ universe is officially collapsing across all disciplines - from quantum mechanics to fluid dynamics. The future belongs to discrete topology. Preprint. Open Source: The Yang-Mills Mass Gap on R^4 Is Ill-Posed, and on a Compact Constructible Manifold It Is Automatic God geometrizes! 📐🌌

🚨 BREAKING: OPENAI JUST COLLIDED WITH THE TOPOLOGICAL LIMIT OF THE UNIVERSE! THE END OF CONTINUOUS SPACE. 🚨 The scientific world is shaking. The Clay Mathematics Institute is reviewing a groundbreaking milestone regarding the Navier-Stokes existence and smoothness problem. And at the center of this earthquake is OpenAI, whose reasoning models just tackled the equations that govern every fluid in our world. In 1822, Navier added viscosity to Euler's laws. In 1845, Stokes finalized them: ρ(∂v/∂t + v·∇v) = −∇p + μ∇²v + f (For incompressible flow, ∇·v = 0 closes the system). For over a century, mathematicians assumed that these equations must have smooth, perfectly continuous solutions in 3D space. You see these equations in motion everywhere - like the chaotic wake behind a moving cylinder. But the official verification of infinite "3-D smoothness" has always hit a wall. What did OpenAI do? By unleashing raw mathematical reasoning upon the Navier-Stokes problem, the AI mapped the ultimate limits of these equations, exposing an inescapable truth: the math inevitably blows up into impossible singularities. The model demonstrated that forcing infinite smoothness onto 3D fluid equations creates unavoidable mathematical contradictions. WHY DOES THIS HAPPEN? Mainstream science is finally hitting the exact geometric wall we mapped years ago. You CANNOT have infinite "3-D smoothness" because the universe is NOT an infinitely continuous void! Just as we rigorously proved that the Yang-Mills Mass Gap is topologically ILL-POSED and mathematically impossible on a continuous ℝ⁴ space, the Navier-Stokes breakdown reveals the exact same systemic error in classical physics. When you force continuous mathematics (ℝ⁴) onto a universe that is fundamentally discrete, the equations inevitably crash into singularities. 🛡️ THE SOLUTION: OUR COMPACT CONSTRUCTIBLE MANIFOLD Here is the ultimate breakthrough: On our IT³ manifold, this problem completely ceases to exist! When you abandon the sterile, infinite void of ℝ⁴ and move the physics to a compact constructible manifold (M_tot = S⁴ × T³), the mathematical explosions are structurally forbidden. Because our space is a closed topological geometry dictated by the strict √1 : √2 : √3 metric, the physical fields are naturally bounded by the geometry itself. Infinite singularities simply cannot form on a compact manifold. What mathematicians call "fluid blow-ups" are just the exact topological moments where macroscopic matter violently collides with the rigid, discrete geometric grid of the vacuum! OpenAI’s logic engine correctly identified that infinite smoothness is a mathematical fiction. The universe does not allow infinite division. The illusion of the continuous, smooth ℝ⁴ universe is officially collapsing across all disciplines - from quantum mechanics to fluid dynamics. The future belongs to discrete topology. Preprint. Open Source: The Yang-Mills Mass Gap on R^4 Is Ill-Posed, and on a Compact Constructible Manifold It Is Automatic God geometrizes! 📐🌌

Dr. Logvinovich

213,742 views • 6 days ago

Two mathematicians are accusing OpenAI of lifting their unpublished work on one of math's hardest unsolved problems. Tristan Buckmaster, an NYU math professor, and Levent Alpoge spent about a month working with AI models, mainly Codex, on finite time blow up results for the Navier Stokes existence and smoothness problem, one of the seven Millennium Prize problems carrying a million dollar bounty. On September 6th, OpenAI's Sebastien Bubeck told Buckmaster that OpenAI had solved the same problem using the Cordoba Martinez Zoroa approach. Buckmaster then published a statement alleging that OpenAI's result echoed drafts from his and Alpoge's private Codex sessions, and that OpenAI offered to publish jointly while allegedly pushing to cut Alpoge out as a co-author. OpenAI's Shunyu Douglas and Will Depue publicly denied any access to or training on private user chat logs, calling the scenario essentially impossible under the company's data controls. Bubeck separately said he acted within academic norms and called some circulating claims false. On September 8th, Buckmaster and Alpoge, joined by Matei Costalescu, made three results public without OpenAI involvement, finite time blow up with smooth forcing for incompressible porous media, for the Boussinesq equations, and for 3D incompressible Euler, alongside a lean formalization posted on GitHub.

Two mathematicians are accusing OpenAI of lifting their unpublished work on one of math's hardest unsolved problems. Tristan Buckmaster, an NYU math professor, and Levent Alpoge spent about a month working with AI models, mainly Codex, on finite time blow up results for the Navier Stokes existence and smoothness problem, one of the seven Millennium Prize problems carrying a million dollar bounty. On September 6th, OpenAI's Sebastien Bubeck told Buckmaster that OpenAI had solved the same problem using the Cordoba Martinez Zoroa approach. Buckmaster then published a statement alleging that OpenAI's result echoed drafts from his and Alpoge's private Codex sessions, and that OpenAI offered to publish jointly while allegedly pushing to cut Alpoge out as a co-author. OpenAI's Shunyu Douglas and Will Depue publicly denied any access to or training on private user chat logs, calling the scenario essentially impossible under the company's data controls. Bubeck separately said he acted within academic norms and called some circulating claims false. On September 8th, Buckmaster and Alpoge, joined by Matei Costalescu, made three results public without OpenAI involvement, finite time blow up with smooth forcing for incompressible porous media, for the Boussinesq equations, and for 3D incompressible Euler, alongside a lean formalization posted on GitHub.

AGTP

86,631 views • 12 days ago

The list of all the problems in mathematics that Terence Tao *could* solve is absolutely enormous. The problem is we can't make copies of him, dump millions of dollars of inference compute into each copy, and have them each tackle a different Millennium Prize Problem for a hundred subjective years. But we can do that with AI. So in that way, we may be underrating how significant it will be when we have AIs that are not superintelligent but rather simply as good as the best humans today. It’s actually an extremely powerful property of AI that by just running copies in parallel, you can immediately fill in the waterline of accomplishments that are feasible with a given level of capabilities.

The list of all the problems in mathematics that Terence Tao could solve is absolutely enormous. The problem is we can't make copies of him, dump millions of dollars of inference compute into each copy, and have them each tackle a different Millennium Prize Problem for a hundred subjective years. But we can do that with AI. So in that way, we may be underrating how significant it will be when we have AIs that are not superintelligent but rather simply as good as the best humans today. It’s actually an extremely powerful property of AI that by just running copies in parallel, you can immediately fill in the waterline of accomplishments that are feasible with a given level of capabilities.

Dwarkesh Patel

99,378 views • 5 months ago

Turing and Godel were replying to one of the questions that David Hilbert had asked in 1900. Turing and Godel both addressed the problem and got the right answer. Turing was focused on what could be done by a physical object... Godel was focused on what can't be done by any physical object. ~Conjecture Institute Advisor David Deutsch with Gad Saad

Turing and Godel were replying to one of the questions that David Hilbert had asked in 1900. Turing and Godel both addressed the problem and got the right answer. Turing was focused on what could be done by a physical object... Godel was focused on what can't be done by any physical object. ~Conjecture Institute Advisor David Deutsch with Gad Saad

Conjecture Institute

22,332 views • 4 months ago

“Harmonic is building Mathematical Superintelligence (MSI)” With $295M+ in total funding at a recent $1.45B post-money valuation, Harmonic's mission is to solve math problems that have remained unsolved for centuries, unlocking progress across physics, engineering.. & maybe even time travel? Co-founded by Vlad Tenev (Vlad Tenev) CEO of Robinhood, & Harmonic CEO Tudor Achim (Tudor Achim), the company has raised from leading investors including Ribbit, Sequoia, Kleiner Perkins, Index, Paradigm, DST Global, & more.. Funding history & lead investors: - Series A (Sept 2024): $75M led by steve beaker - Series B (July 2025): $100M led by Kleiner Perkins - Series C (Nov 2025): $120M at a $1.45B post-money valuation led by Ribbit Capital "Harmonic’s flagship Aristotle model recently achieved gold-medal level performance at the International Mathematical Olympiad, considered the most prestigious mathematical competition in the world, and is now available to the public. Unlike other models, Aristotle makes use of formal verification using Lean4 to ensure accuracy and eliminate hallucinations. In the first few weeks since its API beta launch, Aristotle has already been used by mathematicians and researchers to accelerate progress and create novel discoveries." . . . "Harmonic is building what we call mathematical super intelligence, and it's an artificial intelligence that can solve math problems better than any human mathematician. The company's been around for a couple of years. The North Star was, can we actually solve really, really important math problems like the Riemann Hypothesis or Hodge Conjecture? There's this group of math problems that have been open for hundreds of years that are called the Millennium Prize problems, and they're considered very big, difficult, and actually valuable. So that was kind of the North Star, and the reason we wanted to do that was if we could solve those problems, everything downstream of math, like theoretical physics becomes unlocked. So then you can imagine solving really hard physics problems. And actually, if you can solve that, then there's all kinds of exciting engineering developments, like depending on how that theory looks, you can imagine things like faster than light travel and it gets really crazy."

“Harmonic is building Mathematical Superintelligence (MSI)” With $295M+ in total funding at a recent $1.45B post-money valuation, Harmonic's mission is to solve math problems that have remained unsolved for centuries, unlocking progress across physics, engineering.. & maybe even time travel? Co-founded by Vlad Tenev (Vlad Tenev) CEO of Robinhood, & Harmonic CEO Tudor Achim (Tudor Achim), the company has raised from leading investors including Ribbit, Sequoia, Kleiner Perkins, Index, Paradigm, DST Global, & more.. Funding history & lead investors: - Series A (Sept 2024): $75M led by steve beaker - Series B (July 2025): $100M led by Kleiner Perkins - Series C (Nov 2025): $120M at a $1.45B post-money valuation led by Ribbit Capital "Harmonic’s flagship Aristotle model recently achieved gold-medal level performance at the International Mathematical Olympiad, considered the most prestigious mathematical competition in the world, and is now available to the public. Unlike other models, Aristotle makes use of formal verification using Lean4 to ensure accuracy and eliminate hallucinations. In the first few weeks since its API beta launch, Aristotle has already been used by mathematicians and researchers to accelerate progress and create novel discoveries." . . . "Harmonic is building what we call mathematical super intelligence, and it's an artificial intelligence that can solve math problems better than any human mathematician. The company's been around for a couple of years. The North Star was, can we actually solve really, really important math problems like the Riemann Hypothesis or Hodge Conjecture? There's this group of math problems that have been open for hundreds of years that are called the Millennium Prize problems, and they're considered very big, difficult, and actually valuable. So that was kind of the North Star, and the reason we wanted to do that was if we could solve those problems, everything downstream of math, like theoretical physics becomes unlocked. So then you can imagine solving really hard physics problems. And actually, if you can solve that, then there's all kinds of exciting engineering developments, like depending on how that theory looks, you can imagine things like faster than light travel and it gets really crazy."

Molly O’Shea

51,281 views • 8 months ago

Are you up for the challenge? Join the #IMCChallenge sponsored by #Huawei and take part in the ultimate online mathematics marathon. The IMC Challenge sponsored by Huawei invites global participants to solve industry-focused problems in an online competition. Whether you're a student, professional, or enthusiast, do not miss this opportunity. Problem B begins on June 18 and registration is now officially open. Discover the program and register to seize your chance to earn valuable prizes:

Are you up for the challenge? Join the #IMCChallenge sponsored by #Huawei and take part in the ultimate online mathematics marathon. The IMC Challenge sponsored by Huawei invites global participants to solve industry-focused problems in an online competition. Whether you're a student, professional, or enthusiast, do not miss this opportunity. Problem B begins on June 18 and registration is now officially open. Discover the program and register to seize your chance to earn valuable prizes:

Huawei

14,681 views • 3 months ago

I was watching the protest at Epic Mosque. And I found this clip to be absolutely hilarious. The guy in the video is saying, that Muslims aren’t a problem because they are only 1.3-2% of the population, they are too small of a minority to be the problem. He then blames the Jews and the Jewish lobbies for all of the problems in America. The Jews are .02% of the population.

I was watching the protest at Epic Mosque. And I found this clip to be absolutely hilarious. The guy in the video is saying, that Muslims aren’t a problem because they are only 1.3-2% of the population, they are too small of a minority to be the problem. He then blames the Jews and the Jewish lobbies for all of the problems in America. The Jews are .02% of the population.

Angela Van Der Pluym

194,010 views • 9 months ago

U.S. Treasury Secretary Scott Bessent said “the U.S. economy is doing quite well,” at a press conference held on the sidelines of the World Economic Forum Monday. In regards to Greenland and the president’s letter to Norway blaming the country for not awarding him the Nobel Peace Prize even though the selection is made by the private Nobel Institute, Bessent said, “I think it’s a complete canard that the president will be doing this because of the Nobel Prize. The president is looking at Greenland as a strategic asset for the United States.”

U.S. Treasury Secretary Scott Bessent said “the U.S. economy is doing quite well,” at a press conference held on the sidelines of the World Economic Forum Monday. In regards to Greenland and the president’s letter to Norway blaming the country for not awarding him the Nobel Peace Prize even though the selection is made by the private Nobel Institute, Bessent said, “I think it’s a complete canard that the president will be doing this because of the Nobel Prize. The president is looking at Greenland as a strategic asset for the United States.”

CBS News

52,633 views • 8 months ago