Science
Diamandis says OpenAI’s unreleased ‘Astra’ produced decade-scale maths results cheaply
Peter Diamandis
Google’s Jeff Dean Exits, SpaceX Hits $100B in Rev & OpenAI’s Astra Solves Decade-Old Math Problems
What was said
"What we do know is that on August 1st uh of you know a week ago, OpenAI published a 249page manuscript describing 10 new results across mathematics and theoretical computer science produced by Astra solving problems that have been stuck for decades. And every result comes with machine checkable proof certificate that anyone with a laptop can verify."
Diamandis claims OpenAI has documented 10 new results in mathematics and theoretical computer science generated by an unreleased model called “Astra”, with “machine checkable” proof certificates. He further says OpenAI estimated the compute cost for the work at about $2,000 and quotes reactions he attributes to mathematicians including Fields medallist Timothy Gowers.
Verification status
Attributed speaker claim
Egleze verified who said this and where. The underlying claim has not been independently established by Egleze.
Source and context
Egleze verified who said this and where. The underlying claim has not been independently established by Egleze.
- Speaker
- Peter Diamandis · host
- Programme
- Peter Diamandis
- Episode
- Google’s Jeff Dean Exits, SpaceX Hits $100B in Rev & OpenAI’s Astra Solves Decade-Old Math Problems
- Clip time
- 45:11
- Original source
- Watch the source segment →
From this episode
Peter Diamandis