Article URL: https://mathoverflow.net/questions/502120/examples-for-the-use-of-ai-and-especially-llms-in-major-mathematical-development Comments URL: https://news.ycombinator.com/item?id=49281393 Points: 1 # Comments: 0