Decompiling binary blobs is a strong suit for LLM AI, right? Maybe progress on this will be faster than I expect? Does the FSF spend money on non-free AI services? That is, do they have ethical issues with that? Or do they only use AGPL licensed services (or similar)?

I don't understand why they wouldn't try to further liberate the phone that already runs an FSF-endorsed operating system, Librem 5. Perhaps one argument is to support more phones - but instead they could demonstrate a proof of concept for the most free phone, which is what I would expect from the FSF.

Also, AOSP obeys Google's development strategy, so even though it's free software, it is not a good bet long term.