I’m skeptical of “tool AI” for a quite different reason: I don’t think such systems will be powerful enough. Just like the “mathematician AGI” in Section 11.3.2 above, I think a tool AI would be a neat toy, but it wouldn’t help solve the big problem—namely, that the clock is ticking until some other research group comes along and makes an agentic AGI.
I think that a math-AGI could not be of major help in alignment, on the premise that it works well on already well-researched and well-structured fields. For example, one could try to fit a model two proof techniques for a specific theorem, and see if it can produce a third one, that is different from the two already mentioned. This could be set up in established fields with lots of work already done.
I am unsure how applicable this approach is to unstructured fields, as it would mean us asking the model to generalize well/predict based on uncertain ground truth labels (however, there’s been ~15 years worth of work in this field as I see it, so maybe it could be enough?). There is someone in Cambridge (if I am not mistaken), that is trying to build a math-proof assistant, but their name escapes me.
In case we can build the latter, this should be of some (between little and major including) help to researchers.
These responses are based on my experiences, not through concrete evidence.
When you put humans in them.
I wouldn’t say we’re okay with it, we’ve reached a point of inertia I’d say.
The need to alleviate the burden of living.
Anything genetic aside, I’d say upbringing and mindset.
There exist other goals that achieve more utility for the respective agents that hold this kind of power?
Things get lost in time. People have to look out for them and bring them to surface.
I haven’t found exactly one as you describe, but I’d say many of your subquestions are either complex problems found in books by themselvs, or can be described in little text in trying to give concrete (but not complete) advice.
For example (short answer, long answer)
how to choose a spouse [explore then commit algorithm, book on this escapes me]
how to pick a career [https://80000hours.org/career-guide/]
how to deal with difficult family members [GaryVee]
Many of your questions here aren’t easy to unpack. For myself, it feels constructive to use cognitive behavioral therapy techniques to get curious about my “instinctual” answers to these, and see if I want to replace these with better and more constructive answers. Currently going though books in this series.