2026-09-09 22:13 UTC
3/
[A] also notes how now a scenario exists in which an autonomous #generativeAI "harness, backed by an enormous amount of computational resources, performs this entire iteration internally, and ends up producing the final ansatz [...] while the [ #genAI] company running the harness keeps the process to arrive at that ansatz almost completely out of public view. Technically, [a key problem ...] would now be solved; but there would be almost no value added to #mathematics as a consequence"
Replies (1)
-
@dderigo@hostux.social 2026-09-09 22:25
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]