Get the latest Science News and Discoveries
AI could be about to completely change the way we do mathematics
Computers can help ensure that mathematical proofs are correct, but translating traditional maths into a machine-readable format is an arduous task. Now, the latest generation of artificial intelligence models is taking on the job, and could change the face of maths research
None
Or read this on New Scientist
