I don't like Divine Prophets. I think it's way too abusable if you DON'T use the Prophets to found religions. Once you have your first religion, you can use the Prophets from other techs to lightbulb more techs and jump ahead in the tech tree.
I don't actually think making the AI aware of the need to build a Shrine to found a religion would be complicated. The AI is already programmed to beeline religious techs if it doesn't have a religion founded. The tech is the only thing needed to unlock the Shrine. If we increase the AI weights and/or religion flavors of the Shrines and cost the Shrines appropriately to get the AI to build them as quickly as possible, that would solve the problem. Then the AI code would have a religion founded and not have to concentrate on going after religions any more.
Does this sound reasonable?
I don't actually think making the AI aware of the need to build a Shrine to found a religion would be complicated. The AI is already programmed to beeline religious techs if it doesn't have a religion founded. The tech is the only thing needed to unlock the Shrine. If we increase the AI weights and/or religion flavors of the Shrines and cost the Shrines appropriately to get the AI to build them as quickly as possible, that would solve the problem. Then the AI code would have a religion founded and not have to concentrate on going after religions any more.
Does this sound reasonable?