Remarks on Classes of Random Bounties

by Brown, Wednesday, October 07, 2020, 13:58 (424 days ago) @

Hmm. Maybe I should generate more AIM problems and see if any are easy. Do you know any of the randomly generated AIM problems that are resolved (proven or with a countermodel) so far?


Complete thread:

 RSS Feed of thread

powered by my little forum