Yeah but the mathematicians are claiming that the key insight that made the problem tractable for AI in the first place, came from them.