If nothing else, I'd imagine these tools will allow mathematicians to automate a...

		Workaccount2 7 months ago \| parent \| context \| favorite \| on: Gemini with Deep Think achieves gold-medal standar... If nothing else, I'd imagine these tools will allow mathematicians to automate a lot of busy work that exists between ideas and validation.