AI helps mathematicians resolve a decades-old mathematical problem
• A team of mathematicians has used AI to help solve the last unresolved case involving the M23 Galois group, a problem that has remained open for decades.
• The researchers used AI agents to explore mathematical possibilities and identify a suitable degree-23 polynomial associated with the M23 group.
• The work involved six mathematicians, who guided the process, evaluated the AI-generated results and carried out the mathematical verification.
• The result completes a long-standing program concerning the construction of polynomials with specified Galois groups.
• The case highlights a growing use of AI in advanced mathematical research, where AI systems can assist researchers in exploring large numbers of complex possibilities.
Source: AI Weekly — Mathematicians Use AI to Solve Last Open M23 Galois Case