5 ms·Mathematicians are using LLMs to write proofs.by esafak 8mo agoMathematicians are using LLMs to write proofs.