Share Facebook Twitter LinkedIn Pinterest Email An OpenAI model might have proven half of the Yang-Mills Millennium Problem, a significant mathematical challenge. The findings are currently under review.