conjecture

A new arXiv paper disproves Maxwell's 1873 conjecture by presenting a configuration of five point charges with at least 24 non-degenerate critical points, exceeding the conjectured bound. The construction was suggested by OpenAI's GPT-5.6 Sol, with the authors verifying the mathematics.

GPT-5.6 Sol reportedly found a counterexample to the Maxwell conjecture, a 100+ year old problem, with human mathematicians communicating the result.

A tweet reports that an AI (likely GPT-5.6 Pro) disproved the Dinitz-Garg-Goemans conjecture, a long-standing open problem in graph theory, using simple prompts like 'do a breakthrough'.

GPT-5.6 Sol Ultra, a publicly available AI model, solved a 50-year-old math conjecture in under an hour, suggesting that AI may solve mathematics within the next decade.

OpenAI claims its general-purpose reasoning model discovered a counterexample to the conjectured upper bound in Erdős's planar unit-distance problem, producing a proof reviewed by mathematicians.