4/ in [B] @tao@mathstodon.xyz also notes how "there are no clear frontiers that are separating the "«[ #genAI]-feasible» problems from the «[ #genAI]-hard» problems (which certainly still exist, given that the difficulty level of problems are unbounded, and can even be undecidable). This is [...] also compounded by the refusal of [ #genAI] companies to disclose their #NegativeResults or reveal the process towards obtaining their solutions" which brings to mind #CherryPicking and other biases in #science [1]