reasoningfactbullishAI systems have already solved many important mathematical conjectures on their ownGary Marcus08 Aug 2026https://x.com/GaryMarcus/status/2084994910437159402