@eghbal_ryn The tech is perhaps not to this level yet, but it seems that probably in a few months a "solve x" will be sufficient for a full proof.
Did the guy prompting "solve x" solve anything?
@aeongnostic369@BlackHC Future research may come for AI intuition.
And in any other field AI solving problems sounds amazing. How can we allow it to unify physics or solve cancer?