Complementary remarks from Gary Marcus and Terence Tao on OpenAI’s giant math drop

OpenAI’s massive new math drop:[This essay was written in extreme haste before a very long wifi-less flight; please forgive typos.]Part One: My takeThe real news here isn’t the result; it’s not what we were told. 1. AI once tried to be a science. Now we get stuff like the completely vague report from OpenAI below:“Same procedure”? “Using an unreleased model”?This would never pass peer review.We don’t know what the procedure was.We know nothing about the architecture. For esxample, were the proofs generated in one shot, and then verified by the symbolic system Lean? Was there an iterative process?)We know nothing about the failure rate. We know nothing about the training/post training/data...

Read the full article at the source.