Even when a problem got solved, there has always been value in publishing simpler proofs and corollaries that give better intuition into the broader field.

If I understand Tao correctly, he's saying that's going to have to be the focus going forward. I just default to thinking the models are going to be much better than us at that, too.

▲

matusp 6 hours ago | parent | next [-]

> the models are going to be much better than us at that, too.

I wonder if this is true. The code produced by these models are not really getting any more elegant over time. On contrary, the models seem to be getting worse, often proposing really baroque architectures. You can use RL to optimize for correctness, optimizing the vibe seems much more difficult.

	▲	squidbeak 2 hours ago \| parent [-]
		For deeper complexity, elegance may turn out to be a hindrance. Better or worse may turn out to be descriptive of taste and nothing else. On the other hand, elegant alternatives might be brought into reach by this first messy contact with new ideas. Who can say at this stage?

▲

Yamata 7 hours ago | parent | prev [-]

There’s value but it is not rewarded commensurately with the contribution. Same for doing peer review.