3 ms·
Even so, having a human formalize the problems and an AI to find machine checkable proofs could be very useful for mathematicians.
by adrianN 2y ago
Even so, having a human formalize the problems and an AI to find machine checkable proofs could be very useful for mathematicians.