@pozander @lu_sichu (by detected, i think what they did was shovel ~every open erdos problem into the new model to see what happened, and then use an external judge to notify them of promising solutions. it sounds like everyone was surprised this one worked. but they did confirm it's a ~50% solve
in reply to: 2057349037213552733
same thread: 2057198687307362642 2057209351564153130 2057211346505396326 2057211930625077327 2057224392388829529 2057225314070409691 2057227285200249130 2057227858146439434 2057276594608349565 2057282565816668391 2057282690513027344 2057282844247089186 2057293031745970240 2057298916023079034 2057304902985187384 2057338667639980183 2057342482778927352 2057346427194597454 2057346768929776062 2057349037213552733
Reproduced against link rot, credited and linked to its original. Yours and you’d rather it weren’t here? Open an issue.