3 ms·
AI takes a math textbook and translates all the theorems and proofs into formal language that can be checked automatically for correctness.
by pfdietz 8mo ago
AI takes a math textbook and translates all the theorems and proofs into formal language that can be checked automatically for correctness.