A user has reportedly disproven the Dinitz-Garg-Goemans conjecture using ChatGPT. The claim suggests that after a few hours and several prompts, the AI model was able to demonstrate the falsity of the mathematical conjecture. AI
IMPACT This anecdotal report suggests potential for LLMs in mathematical research, though verification is needed.
RANK_REASON The claim is a user report about an AI's capability, not an official announcement or verified research.
Read on Mastodon — fosstodon.org →
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →