Comment by gtirloni

Do you mean without proofs as a what assigns value to the thesis? I think AI doesn't make them optional at all.