New 4x4 algorithm found

[stevengj]

@ShalokShalom

This will save the industry billions.

Probably an overstatement. See the discussion of the previous AlphaTensor results: Matrix multiply breakthrough, AlphaTensor (could also do for other algorithms): "AlphaTensor discovered algorithms that are more efficient than the state of the art for many matrix sizes."