ChatGPT Disproves a 22-Year-Old Graph Theory Conjecture While User Naps

A tweet reports that a user had ChatGPT disprove a graph theory conjecture that had been open for 22 years, while the user went to take a nap. ChatGPT successfully derived the counterexample, showcasing AI's growing capability in mathematical reasoning.

• ChatGPT
• 图论
• 猜想
• 自动化推理