My AlphaMath system rederived every theorem ever proved in a few hours, but they were lost in a vast sea of meaningless ones.

→ View original post on X — @pmddomingos