Terence Tao on Nostr: nprofile1q…wz3hk In our experiments we have been incentivizing AlphaEvolve to come ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrk8gpgaqjd8x205kf97v9545wm3av7lvdzz2uhcl4uu2yhqqp9a5dwz3hk (nprofile…z3hk) In our experiments we have been incentivizing AlphaEvolve to come up with solutions that are as interpretable as possible, and have as clear a dependency on the parameter n as possible, so the general solutions that have been found are ones which a human could generalize from seeing the code to generate them for small n (although in the finite field Kakeya and Nikodym examples, if a human was just given the raw set of points rather than the code used to procedurally generate them, it would be significantly harder to discern the pattern).