Person
Gary Marcus
Appears alongside
Featured in threads
Tracks
- Benchmarks & progress 1
- Models & capabilities 1
- Ideas & essays 1
- Government & policy 1
OpenAI publishes ten formally-verified math advances from unreleased Astra model
OpenAI said generating all ten proofs cost about $2,000 in compute; mathematician Gary Marcus called the framing 'vastly oversold' relative to what the paper actually verified.
Benchmarks & progress · Models & capabilities · Ideas & essays
Sam Altman asks the Senate to regulate his industry
He proposed a federal agency able to license and de-license frontier models above a capability threshold, then declined to lead it himself.
Government & policy
Also mentioned in 2 entries
Referenced in passing — Gary Marcus isn't the main subject of these.