OpenAI’s math proofs fall short of researchers’ standards
OpenAI produced a large number of mathematical proofs that, according to a consulted group of mathematical researchers, deviated from the field’s guidelines. TechCrunch reports the researchers found the solutions did not meet expected standards.