Anfonwch hwn fel neges destun: Learning algorithms versus automatability of Frege systems