I somewhat take issue with the second math example (the geometry problem); that is solvable routinely by computer algebra systems, and being able to translate problems into inputs, hit run and transcribe the proof back to English prose (which for all we know was what it did, since OpenAI and Google have confirmed their entrants received these tools which human candidates did not) is not so astonishing as the blog post makes it out to be
No comments yet.