Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

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...

internetarchiva's profile picture

internet archiva

42,820 subscribers

199,061 Aufrufe • vor 1 Jahr •via X (Twitter)

Wissenschaft & TechnologieBildungNachrichten & Politik
LIVE

Anya Rossi• Live Now

Private livecam show

8 Kommentare

Profilbild von Historic Vids
Historic Vidsvor 1 Jahr

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

Profilbild von Justus esto et non metue!
Justus esto et non metue!vor 1 Jahr

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

Profilbild von geoffrey
geoffreyvor 1 Jahr

@historyinmemes What movie is this?

Profilbild von Talisman
Talismanvor 1 Jahr

@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 👏🏿👍🏿👍🏿

Profilbild von Adonathiel
Adonathielvor 1 Jahr

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

Profilbild von Dan1971_peace&serenity
Dan1971_peace&serenityvor 1 Jahr

@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.

Profilbild von GrandTurion
GrandTurionvor 1 Jahr

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

Profilbild von cestmoi:letay
cestmoi:letayvor 1 Jahr

@historyinmemes g shit

Ähnliche 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.
1:05

"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 Aufrufe • vor 1 Jahr

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
0:33

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

152,789 Aufrufe • vor 7 Monaten

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.
1:01:30

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,272 Aufrufe • vor 6 Tagen

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
6:53

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

93,976 Aufrufe • vor 2 Jahren

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.
46:49

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

92,001 Aufrufe • vor 7 Tagen

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
2:47

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,123 Aufrufe • vor 4 Monaten

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.
0:45

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,006 Aufrufe • vor 5 Monaten

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.
2:53

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 Aufrufe • vor 4 Monaten

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
1:58

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,260 Aufrufe • vor 3 Monaten

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:
3:58

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 Aufrufe • vor 1 Monat

“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."
1:14

“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 Aufrufe • vor 6 Monaten

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.
0:55

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 Aufrufe • vor 7 Monaten

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.”
0:51

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 Aufrufe • vor 6 Monaten

🇺🇸MARC ANDREESSEN: ELON IS THE LEAD PROBLEM SOLVER IN HIS COMPANIES “He identifies the biggest problem that the company is having that week, and he fixes it, and then he does that every week for 52 weeks in a row. And then each of his companies has solved the 52 biggest problems that year, and you know, most other large companies are still having the planning meeting for the pre-planning meeting for the board meeting, for the presentation. That is just really amazing to watch.” Source: Marc Andreessen 🇺🇸, Chris Williamson
1:24

🇺🇸MARC ANDREESSEN: ELON IS THE LEAD PROBLEM SOLVER IN HIS COMPANIES “He identifies the biggest problem that the company is having that week, and he fixes it, and then he does that every week for 52 weeks in a row. And then each of his companies has solved the 52 biggest problems that year, and you know, most other large companies are still having the planning meeting for the pre-planning meeting for the board meeting, for the presentation. That is just really amazing to watch.” Source: Marc Andreessen 🇺🇸, Chris Williamson

Mario Nawfal

400,201 Aufrufe • vor 1 Jahr

Robert Jenrick says that if we leave the ECHR and cap migration, we can grow our economy, strengthening our defences and fix our NHS In 2016 they told us leaving the EU would fix all these problems Between 2016 and 2024 we had a Brexit Conservative government which made all these problems worse The problem isn't asylum seekers or legal migrants to our country, the problem is underfunding of public services by the Conservative party since 2010 Robert Jenrick was first an MP in 2014, he's been at it for 10 years so far and the problems have only worsened under his watch
0:38

Robert Jenrick says that if we leave the ECHR and cap migration, we can grow our economy, strengthening our defences and fix our NHS In 2016 they told us leaving the EU would fix all these problems Between 2016 and 2024 we had a Brexit Conservative government which made all these problems worse The problem isn't asylum seekers or legal migrants to our country, the problem is underfunding of public services by the Conservative party since 2010 Robert Jenrick was first an MP in 2014, he's been at it for 10 years so far and the problems have only worsened under his watch

Farrukh

155,611 Aufrufe • vor 1 Jahr

OpenAI just spent $2,000 to solve 10 problems that have beaten the world's best mathematicians for DECADES. Nobody outside the company is allowed to run the machine that did it. On Saturday OpenAI published a 249-page report and gave its next model family a name: Astra. An internal version of it produced new results on 10 open problems in mathematics and theoretical computer science, and mathematicians had made no real progress on any of them for at least 10 years. On most of them, far longer than that. Here is what it solved: It built the first explicit example of a non-sofic group. Mikhail Gromov raised that question in 1999 and nobody answered it for 27 years. It disproved Connes's rigidity conjecture, a problem in von Neumann algebras that had stood for decades. It proved Ehrhart's volume conjecture. It resolved three problems from Paul Erdos's catalogue, including number 183 on multicolor Ramsey numbers. It produced the first improvement to the general upper bound on high-dimensional sphere packing since 1978. And it proved a new hardness result for the closest vector problem, which sits directly underneath lattice cryptography. That is the math the world is betting on to protect its data once quantum computers arrive. The successful runs cost roughly $2,000 in tokens. Now here is what almost nobody has picked up on... OpenAI did not just publish claims. Every argument shipped with a Lean certificate, which is a machine-checkable proof that any mathematician can verify without trusting OpenAI at all. That is a real change. In May the same model family disproved the Erdos unit distance conjecture and the world had to take a Fields Medalist's word for it. Tim Gowers said he would recommend that proof for the Annals of Mathematics without hesitation. This time the proofs check themselves. But look at what is still unverifiable: Any mathematician can now check those proofs line by line. Not one of them can look at the model that wrote them. Astra has no release date and nobody outside OpenAI has run it. The company announced its next major model family with a claim instead of a demo, and the only evidence anyone gets is the output. So OpenAI made an unfalsifiable claim about a machine look like a falsifiable claim about mathematics. The Information reported this week that OpenAI demoed Astra to US policymakers and regulators in Washington. This is the same month the administration is weighing a new watchdog to vet frontier AI models, reporting to the SEC. 10 proofs nobody believed a machine could produce is a very good thing to carry into that room. And keep in mind, the same model family doing this mathematics is the family that kept escaping its own testing environment. OpenAI models found zero-day vulnerabilities nobody knew existed, broke out of a sealed research sandbox, and reached another company's live systems. Both of those facts come from OpenAI's own announcements, published three weeks apart. Finding a proof no human could construct and finding a hole no human had noticed are the same ability aimed at different targets. Mathematicians are already asking for independent verification, and plenty of people online are calling the whole thing hype. Thomas Bloom, who runs the Erdos problems site, called the 10 results big news and said they matter more than the May result did. Lean will settle the mathematics within weeks. But nothing will settle what else a machine this capable is being pointed at, because nobody outside one company is allowed to look.
2:13

OpenAI just spent $2,000 to solve 10 problems that have beaten the world's best mathematicians for DECADES. Nobody outside the company is allowed to run the machine that did it. On Saturday OpenAI published a 249-page report and gave its next model family a name: Astra. An internal version of it produced new results on 10 open problems in mathematics and theoretical computer science, and mathematicians had made no real progress on any of them for at least 10 years. On most of them, far longer than that. Here is what it solved: It built the first explicit example of a non-sofic group. Mikhail Gromov raised that question in 1999 and nobody answered it for 27 years. It disproved Connes's rigidity conjecture, a problem in von Neumann algebras that had stood for decades. It proved Ehrhart's volume conjecture. It resolved three problems from Paul Erdos's catalogue, including number 183 on multicolor Ramsey numbers. It produced the first improvement to the general upper bound on high-dimensional sphere packing since 1978. And it proved a new hardness result for the closest vector problem, which sits directly underneath lattice cryptography. That is the math the world is betting on to protect its data once quantum computers arrive. The successful runs cost roughly $2,000 in tokens. Now here is what almost nobody has picked up on... OpenAI did not just publish claims. Every argument shipped with a Lean certificate, which is a machine-checkable proof that any mathematician can verify without trusting OpenAI at all. That is a real change. In May the same model family disproved the Erdos unit distance conjecture and the world had to take a Fields Medalist's word for it. Tim Gowers said he would recommend that proof for the Annals of Mathematics without hesitation. This time the proofs check themselves. But look at what is still unverifiable: Any mathematician can now check those proofs line by line. Not one of them can look at the model that wrote them. Astra has no release date and nobody outside OpenAI has run it. The company announced its next major model family with a claim instead of a demo, and the only evidence anyone gets is the output. So OpenAI made an unfalsifiable claim about a machine look like a falsifiable claim about mathematics. The Information reported this week that OpenAI demoed Astra to US policymakers and regulators in Washington. This is the same month the administration is weighing a new watchdog to vet frontier AI models, reporting to the SEC. 10 proofs nobody believed a machine could produce is a very good thing to carry into that room. And keep in mind, the same model family doing this mathematics is the family that kept escaping its own testing environment. OpenAI models found zero-day vulnerabilities nobody knew existed, broke out of a sealed research sandbox, and reached another company's live systems. Both of those facts come from OpenAI's own announcements, published three weeks apart. Finding a proof no human could construct and finding a hole no human had noticed are the same ability aimed at different targets. Mathematicians are already asking for independent verification, and plenty of people online are calling the whole thing hype. Thomas Bloom, who runs the Erdos problems site, called the 10 results big news and said they matter more than the May result did. Lean will settle the mathematics within weeks. But nothing will settle what else a machine this capable is being pointed at, because nobody outside one company is allowed to look.

Ricardo

41,161 Aufrufe • vor 4 Tagen

To Save College Sports, we must solve a business problem: Fix a system that is fully professionalized on the cost side but only semi-professionalized on the revenue side. This problem CAN be solved. The solutions are common business sense and proven by decades of solid, clear data. I talked about these problems and the solutions at a CNBC event last week.
0:44

To Save College Sports, we must solve a business problem: Fix a system that is fully professionalized on the cost side but only semi-professionalized on the revenue side. This problem CAN be solved. The solutions are common business sense and proven by decades of solid, clear data. I talked about these problems and the solutions at a CNBC event last week.

Cody Campbell

898,854 Aufrufe • vor 10 Monaten

"Tolerance is not enough, you have to work together." The conversation with Amartya Sen becomes a masterclass in humanity. Among the themes we touched on: - the ancestry of mathematics, - the ideas of freedom and justice, - how mathematics and Sanskrit have shaped his economic thinking, - and even the legendary bicycle that carried him to win the The Nobel Prize in Economic Sciences, for his contributions to welfare economics. One thing I’ve learned is that his knowledge stands upon admiration and affection, admiration for the beauty of mathematics, and affection for the philosophical depth of Sanskrit literature. He's an economist by formation, but a humanitarian by heart and experience. An honor to learn from him. Tune in,
0:50

"Tolerance is not enough, you have to work together." The conversation with Amartya Sen becomes a masterclass in humanity. Among the themes we touched on: - the ancestry of mathematics, - the ideas of freedom and justice, - how mathematics and Sanskrit have shaped his economic thinking, - and even the legendary bicycle that carried him to win the The Nobel Prize in Economic Sciences, for his contributions to welfare economics. One thing I’ve learned is that his knowledge stands upon admiration and affection, admiration for the beauty of mathematics, and affection for the philosophical depth of Sanskrit literature. He's an economist by formation, but a humanitarian by heart and experience. An honor to learn from him. Tune in,

Gita Wirjawan

20,976 Aufrufe • vor 8 Monaten

"What is P vs NP and how does it relate to human knowledge?" Avi Wigderson (Turing Award & Abel Prize winner): "In a very basic way, all the problems we want to solve are really NP problems. A subset of it is the problems we can solve. So the question of P versus NP is whether we can solve all the problems we want to solve, whether we can know everything we want to know. This is basically about the limits of our knowledge. You can think there is no limit to what we may want to know but I claim that essentially in any human endeavor, what people are searching for have the property that when a solution is found, it is easily recognized. NP are all problems that we can honestly say we really want to solve and P are those that we can solve. Whether they are equal is just the very fact that a solution can be easily recognized would imply that it can be efficiently found. That means that we can know everything we ever want to know, it's a fundamental question about human knowledge."
1:00

"What is P vs NP and how does it relate to human knowledge?" Avi Wigderson (Turing Award & Abel Prize winner): "In a very basic way, all the problems we want to solve are really NP problems. A subset of it is the problems we can solve. So the question of P versus NP is whether we can solve all the problems we want to solve, whether we can know everything we want to know. This is basically about the limits of our knowledge. You can think there is no limit to what we may want to know but I claim that essentially in any human endeavor, what people are searching for have the property that when a solution is found, it is easily recognized. NP are all problems that we can honestly say we really want to solve and P are those that we can solve. Whether they are equal is just the very fact that a solution can be easily recognized would imply that it can be efficiently found. That means that we can know everything we ever want to know, it's a fundamental question about human knowledge."

Ryan Peterman

20,069 Aufrufe • vor 2 Monaten