ClaimWhose voiceWhere it stands
OpenAI published solutions to almost 400 very important open problems that are 'now resolved'.
Company-reported
Matches the 372 families in the timeline's entry of 6 October; OpenAI itself said not all were formalised, and none was confirmed outside OpenAI at release. The show notes say 'nearly 400 century-old math problems', stronger than what he said.
That AI can produce new knowledge is 'impossible to deny', though it is not yet producing grand new theories.
Guest's judgment
His judgment; the mathematicians in this site's commentary are divided.
Domain experts reading the proofs found surprising uses of ideas in them.
Company-reported
He names no expert and no result.
The core reason maths worked is data, not checkability; natural-language proofs are hard to check.
Guest's judgment
His explanation of OpenAI's results, with no data volumes or training details.
Whether biology has the data, or can get it, is not yet resolved.
Not yet closed
His own words.
OpenAI is already applying the same models and techniques to biology, and working on methods that need less data.
Company-reported
No project or result is named.
If one science is to be transformed completely, drug discovery is the first choice; materials science is another example he gives.
Company-reported
A priority stated by the company's president; no team, budget or timetable is given.
A clinical-trial filing takes about a year to write, and AI can write it much more easily.
Guest's judgment
'About a year' is his figure; no product, customer or accepted filing is named.
Treatments for rare conditions often already sit in some paper, AI can search for them at scale, and there is 'plenty of precedent'.
Guest's judgment
No precedent is named.
A neural net has no reason to be better at natural language than at biology, so it should be able to 'crack the language of biology'.
Guest's judgment
He presents it as reasoning from first principles.
A drug takes 15 years and $1.5 billion, about $15 million of it preclinical and $1.4 billion or more in clinical trials.
Industry context
A host's round numbers, with no source; not Brockman's.
Once it is proved that drug discovery has changed, regulation should follow; trials already move to countries whose rules suit them.
Guest's judgment
He does not say what would count as proof, and names no trials.
OpenAI running wet labs or simulation of its own to fill biology's data gap.
Not yet closed
He says only that such innovation will be 'incredibly important', not that OpenAI will do it.