3 ms·can somebody expoain like im five?by itsthecourier 8mo agocan somebody expoain like im five?esafak 8mo agoMathematicians are using LLMs to write proofs.pfdietz 8mo agoAI takes a math textbook and translates all the theorems and proofs into formal language that can be checked automatically for correctness.