alt Hacker NewsThose don't have the property of being easily verified, which the problems proposed here do. I think that's a smart idea because it's a way to capture quick PR seeking AI-lab dollars for quite useful outcomes.
Those don't have the property of being easily verified, which the problems proposed here do. I think that's a smart idea because it's a way to capture quick PR seeking AI-lab dollars for quite useful outcomes.
Being easily verifiable does not elevate something to the level of being a grand challenge. It really drives home the point that biology is not math or coding.
I guess to me the grandiosity here feels fake and unearned - like they vibe slopped it together without much input in the way of deep thought or expertise.
For example, synthesize arbitrary dna sequences > 3000 nt in length with error rate < 0.001 at > 95% purity. Easily verifiable, beyond the frontier, and generally useful.