Luckily, we have ways of verifying mathematical results, and using that to impro...

		Philpax 9 months ago \| parent \| context \| favorite \| on: The cultural divide between mathematics and AI Luckily, we have ways of verifying mathematical results, and using that to improve our AI systems: https://deepmind.google/discover/blog/ai-solves-imo-problems...