over the weekend i checked the obvious thing, which is whether mythos is able to solve the erdos unit distance problem, aka erdos problem #90. the answer is: yea we had a little setup for testing models on erdos problems we threw together after the solution of #1196 and it seemed fair to drop it in there, block internet access, and make sure no information leakage based on openai’s solution occurred. isolated claude code instances hitting mythos are given the problem, asked to ideate on potential positive and negative avenues, then an instance summarizes each avenue and assigns instances the summary and an idea, and they’re off.