bluesky — Graham Mullan (NeverTrustATory - or a Faragiste) — 23 Sep 2026
So the claim about 'AI@ solving the hardest maths problems remains no more than internet bollocks. No verified claims an…
#mathematical-problem-solving #ai-hype #research-evaluation
So the claim about 'AI@ solving the hardest maths problems remains no more than internet bollocks. No verified claims and no prizes awarded. www.explainx.ai/blog/millenn...