Gary Marcus and Terence Tao comment on OpenAI math model release: report lacks reviewable details

Gary Marcus comments on OpenAI's new math achievement, believing the real news is not the result itself, but that the report completely fails to explain verification process, model architecture, failure rate and training details, making it impossible to judge its generality, and it may also be Lean and synthetic data tricks only applicable to verifiable domains. He also criticizes social media discussion for degenerating into unquestioning cheering, and attaches a spoof press release forwarded by Terence Tao as part two.