The AI gonna own us all. https://www.toolmesh.ai/news/claude-ai-solves-graph-theory-conjecture-knuth
--- Claude Opus 4.6, an AI model developed by Anthropic, has independently solved a long-standing graph theory conjecture, prompting computer scientist Donald Knuth to re-evaluate the role of generative AI in mathematical research. Knuth, known for his multi-volume work "The Art of Computer Programming," published a paper on Stanford's official website detailing the AI's achievement. --- -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD-G5%2BF5vHdpcxq4oLj_Lp1MiXfZ56%3DvHWQUvSyGX3Ltrw%40mail.gmail.com.
