The_Gray

I 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.

Any chance you're willing to share the links/outputs?