The title here Deep learning can now prove half of what expert mathematicians can misrepresents and overstates the conclusions and claims made by the actual paper.

The title appears to derive from the single sentence "Our best model automatically proves 48% of the theorems in the validation set."