GPT-6.1 Sol check reportedly finds false main theorems in 6% of pre-August 2026 arXiv papers · Digg