Terence Tao on Nostr: nprofile1q…l0clj There is some discussion in Section 3, although we did not receive ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrrdww66cke2hsrj8x96kvhh5gaenc2m2vtz2tczzwd5apm3663nghl0clj (nprofile…0clj) There is some discussion in Section 3, although we did not receive permission to share exact compute costs. There is definitely a tradeoff in performance between the speed of AlphaEvolve in finding good solutions, and the amount of compute expended. When working at scale, it would make sense to first run a low-power version of this tool on all the problems to collect all the "low hanging fruit" of easy counterexamples, use human analysis to draw whatever conclusions one can from these, and then follow up with more expensive runs on more targeted problems, using whatever insights one could gain from the cheaper runs to increase performance.