Good = on the pareto frontier of tractable and useful
I think we won’t outright ‘solve’ it (in some provable, ‘formal’ sense), for various reasons (timelines being short, alignment being hard etc)
But we might get close enough in practice by making lots of incremental progress along parallel directions.
Good = on the pareto frontier of tractable and useful
I think we won’t outright ‘solve’ it (in some provable, ‘formal’ sense), for various reasons (timelines being short, alignment being hard etc)
But we might get close enough in practice by making lots of incremental progress along parallel directions.