Examples for use of AI and especially LLMs in major mathematical developments

Posted 1 hour ago by vismit2000
1 points

https://mathoverflow.net/questions/502120/examples-for-the-use-of-ai-and-especially-llms-in-major-mathematical-development

0 comments