Can AI do maths yet? Thoughts from a mathematician.“With the language model approach I worry (a lot) about ‘correctly’ and with the theorem prover approach I worry about ‘in a way which we humans understand.’”#kevin-buzzard#ai#math·xenaproject.wordpress.com·Dec 28, 2024Can AI do maths yet? Thoughts from a mathematician.
