An undergraduate student utilized GPT-5.6 Sol Max to solve two long-standing open problems in graph theory: the Imbalance Conjecture and Teschner's Bondage-Number Conjecture. The student independently verified the AI-generated proofs and counterexamples, submitting them as preprints on arXiv and Figshare. These results, while not yet peer-reviewed, demonstrate AI's growing capability in advanced mathematical research. AI
IMPACT Demonstrates AI's increasing capability in solving complex theoretical problems, potentially accelerating research in mathematics and computer science.
RANK_REASON AI model used to solve open problems in theoretical computer science, presented as preprints. [lever_c_demoted from research: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
