4 ms·

I wonder how much more work it will take before a system like this could start to develop novel mathematical proofs