As printed
“because the alternative is to let a sequence of announcements say something I know to be false”
on why he publicly challenged OpenAI's account of the math problem's solving
BBC News OpenAI says it cracked 90-year-old maths problem in 88 hours ›
