The_Gray··on Towards Autonomous Mathematics ResearchI think Terence Tao gave them feedback on initial drafts to emphasize this piece. Yes 4-13 ish meaningful Erdos problems (depending on what you count), but that's out of 700 problems run through the pipeline.