3 ms·Examples for use of AI and especially LLMs in major mathematical developments1 points by vismit2000 2mo ago