OpenAI's unnamed model produced 722 math papers. An advisory group of mathematicians wants the next batch to show its work. — type0 | type0