That's the only such comment I found. The amount of goal pushing would seem to b...

		nitwit005 23 days ago \| parent \| context \| favorite \| on: AI just proved Erdos Problem #124 That's the only such comment I found. The amount of goal pushing would seem to be 1.