A long-standing mathematical conundrum has been solved by ChatGPT in a few hours, with only a few simple prompts. The Dinitz-Garg-Goemans conjecture is a 30-year-old question in graph theory, but a ...

Reminder: Please submit HW37.B. No credit will be given for submitting the wrong homework assignment. Please post questions here on the homework, and take time to answer questions posted by others.

A young mathematician teamed up with a new AI model to tackle one of the hardest open problems in mathematics, and the result is causing a stir among mathematicians and AI researchers on X. Levent ...

A thread posted July 15 on the r/math subreddit claims that OpenAI’s GPT-5.6, guided by a carefully constructed prompt, produced a formal mathematical proof that closes a gap in convex optimization ...