正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new... show more

OpenAI

5,115,059 subscribers

13,721,467 次观看 • 3 个月前 •via X (Twitter)

教育新闻政治科学技术

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro. What happens now that AI is getting good at math? OpenAI researchers Sebastien Bubeck and Ernest Ryu join host Andrew Mayne to explain what changed and what it could mean for the future of research.

Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro. What happens now that AI is getting good at math? OpenAI researchers Sebastien Bubeck and Ernest Ryu join host Andrew Mayne to explain what changed and what it could mean for the future of research.

OpenAI

473,396 次观看 • 3 个月前

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.

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

44,020 次观看 • 17 天前

What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture? Researchers Alexander Wei, Hongxun Wu, and Lijie Chen shared the story on the OpenAI Podcast with Andrew Mayne and explained how mathematicians and models can work together to make new discoveries.

What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture? Researchers Alexander Wei, Hongxun Wu, and Lijie Chen shared the story on the OpenAI Podcast with Andrew Mayne and explained how mathematicians and models can work together to make new discoveries.

OpenAI

311,535 次观看 • 2 个月前

An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 worth of tokens at GPT-5.6 Sol API rates.

An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 worth of tokens at GPT-5.6 Sol API rates.

OpenAI

1,802,920 次观看 • 16 天前

We also shared evals on Open AI o3-mini — a faster, distilled version of o3 which is optimized for coding, and the first version of o3 we expect to make available for use in early 2025.

We also shared evals on Open AI o3-mini — a faster, distilled version of o3 which is optimized for coding, and the first version of o3 we expect to make available for use in early 2025.

OpenAI

340,205 次观看 • 1 年前

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 次观看 • 19 天前

Sam Altman: "We now have AI systems smart enough that our best scientists are saying this changes the game for science." "These models are discovering new knowledge on their own. This is the first time a tool humans have built is autonomously contributing to the sum total of human knowledge."

Sam Altman: "We now have AI systems smart enough that our best scientists are saying this changes the game for science." "These models are discovering new knowledge on their own. This is the first time a tool humans have built is autonomously contributing to the sum total of human knowledge."

vitrupo

26,992 次观看 • 3 个月前

JOE ROGAN: GOOGLE’S AI SOLVED AN IMPOSSIBLE EQUATION IN MINUTES Joe said Google’s AI achieved a staggering breakthrough by solving a problem that would take the world’s supercomputers billions of years. He said the calculation was so complex that even turning every atom in the universe into a computer wouldn’t have done it in time: “I believe it’s the Google one. They solved an equation that would take the world’s supercomputers, I think it was 2.6 billion years to solve, and it solved it in a matter of minutes. The only way for it to solve this problem, Marc Andreessen said it on my podcast, the equation is so difficult that if you took every atom in the universe and converted it to a supercomputer, the universe would die of heat death before it would solve this equation. And it solved it in minutes.” Source: Joe Rogan Jesse Michels

JOE ROGAN: GOOGLE’S AI SOLVED AN IMPOSSIBLE EQUATION IN MINUTES Joe said Google’s AI achieved a staggering breakthrough by solving a problem that would take the world’s supercomputers billions of years. He said the calculation was so complex that even turning every atom in the universe into a computer wouldn’t have done it in time: “I believe it’s the Google one. They solved an equation that would take the world’s supercomputers, I think it was 2.6 billion years to solve, and it solved it in a matter of minutes. The only way for it to solve this problem, Marc Andreessen said it on my podcast, the equation is so difficult that if you took every atom in the universe and converted it to a supercomputer, the universe would die of heat death before it would solve this equation. And it solved it in minutes.” Source: Joe Rogan Jesse Michels

Mario Nawfal

861,540 次观看 • 8 个月前

Today, we shared evals for an early version of the next model in our o-model reasoning series: OpenAI o3

Today, we shared evals for an early version of the next model in our o-model reasoning series: OpenAI o3

OpenAI

1,669,340 次观看 • 1 年前

I asked Dario 3 years ago why AIs haven't been able to use their vast knowledge across so many fields to connect two known ideas into a new discovery. It seems like AI did exactly this in the way it disproved Erdos' conjecture aobut the unit distance problem by cleverly onnecting together ideas in discrete geometry and algebraic number theory. Now that AI has been able to use its knowledge across multiple fields to come up with new ideas, what is the next benchmark? Grant Sanderson proposed one during our interview: "Good mathematicians prove theorems, great mathematicians come up with conjectures, and the greatest mathematicians come up with definitions."

I asked Dario 3 years ago why AIs haven't been able to use their vast knowledge across so many fields to connect two known ideas into a new discovery. It seems like AI did exactly this in the way it disproved Erdos' conjecture aobut the unit distance problem by cleverly onnecting together ideas in discrete geometry and algebraic number theory. Now that AI has been able to use its knowledge across multiple fields to come up with new ideas, what is the next benchmark? Grant Sanderson proposed one during our interview: "Good mathematicians prove theorems, great mathematicians come up with conjectures, and the greatest mathematicians come up with definitions."

Dwarkesh Patel

328,366 次观看 • 1 个月前

ELON: WE NEED TO ACT NOW TO SECURE OUR COMMON FUTURE “We need to become a sustainably multiplanet civilization. This is the first time in the 4.5-billion-year history of Earth when it has been possible to do so. It has never been possible until now. So, I think we want to become sustainably multiplanetary while it is possible to do so. That window of capability may be open for a long time, but it may also be open for a short time. So, that is the purpose of SpaceX.” Source: Interview at Viva Tech Paris, May 2024

ELON: WE NEED TO ACT NOW TO SECURE OUR COMMON FUTURE “We need to become a sustainably multiplanet civilization. This is the first time in the 4.5-billion-year history of Earth when it has been possible to do so. It has never been possible until now. So, I think we want to become sustainably multiplanetary while it is possible to do so. That window of capability may be open for a long time, but it may also be open for a short time. So, that is the purpose of SpaceX.” Source: Interview at Viva Tech Paris, May 2024

Mario Nawfal

57,576 次观看 • 10 个月前

Robert Benzie: "What Danielle Smith has done is open a can of worms to solve a problem within the United Conservative Party just as David Cameron opened a can of worms to solve a problem in the UK Conservative Party ... why would you ask a question at the risk of finding an answer that you don't want. I think it's just insane on many levels."

Robert Benzie: "What Danielle Smith has done is open a can of worms to solve a problem within the United Conservative Party just as David Cameron opened a can of worms to solve a problem in the UK Conservative Party ... why would you ask a question at the risk of finding an answer that you don't want. I think it's just insane on many levels."

Scott Robertson

40,503 次观看 • 3 个月前

For more than 20 years, Metronome has been one of the city's most prominent and baffling public art projects. It includes a 62-foot-wide 15-digit electronic clock that faces Union Square in Manhattan. The famous clock in Union Square has been tracking the time of day since 1999 but has now been reset for a new countdown: the rapidly diminishing time left for the human race to take action to prevent the effects of global warming from becoming irreversible.

For more than 20 years, Metronome has been one of the city's most prominent and baffling public art projects. It includes a 62-foot-wide 15-digit electronic clock that faces Union Square in Manhattan. The famous clock in Union Square has been tracking the time of day since 1999 but has now been reset for a new countdown: the rapidly diminishing time left for the human race to take action to prevent the effects of global warming from becoming irreversible.

Historic Vids

14,700,944 次观看 • 3 年前

I am super excited to finally announce Kamai Finance, my first ever startup built entirely on Solana. We are solving a problem that I believe has yet to be fully conquered onchain in DeFi. I'll let the video explain the rest. DMs are open.

I am super excited to finally announce Kamai Finance, my first ever startup built entirely on Solana. We are solving a problem that I believe has yet to be fully conquered onchain in DeFi. I'll let the video explain the rest. DMs are open.

ashen

96,832 次观看 • 1 年前

It is stunning that the median age of a first-time home buyer in America today is 38. We’ve got a problem. By incentivizing cities to slash red tape and start building homes again, my Build Now Act would help open the door to homeownership.

It is stunning that the median age of a first-time home buyer in America today is 38. We’ve got a problem. By incentivizing cities to slash red tape and start building homes again, my Build Now Act would help open the door to homeownership.

John Kennedy

430,726 次观看 • 1 年前

Actor Ethan Hawke declined to comment today on an open letter signed by 80+ famous artists criticizing the #Berlinale for "silence" on Gaza: "I feel like there's a slight agenda to your question that is different to my agenda. But I respect you and I respect the question."

Actor Ethan Hawke declined to comment today on an open letter signed by 80+ famous artists criticizing the #Berlinale for "silence" on Gaza: "I feel like there's a slight agenda to your question that is different to my agenda. But I respect you and I respect the question."

Tilo Jung

1,390,098 次观看 • 6 个月前