From Sabine Hossenfelder.

Learn more about artificial intelligence with Brilliant! Start learning for free at https://brilliant.org/sabine/ and get 20% off a premium subscription, which includes daily unlimited access!

AI is threatening to take over multiple jobs currently fueled by human labor. It appears that the world of mathematics is no exception – a few recent advances in AI’s math capabilities seem to indicate that mathematicians might go the way of human calculators and find themselves fully replaced by proof-writing algorithms. Let’s take a look.

Paper: https://www.preprints.org/frontend/manuscript/e671c3918cc35280b544fc4250424803/download_pub

🤓 Check out my new quiz app ➜ http://quizwithit.com/
📚 Buy my book ➜ https://amzn.to/3HSAWJW
💌 Support me on Donorbox ➜ https://donorbox.org/swtg
📝 Transcripts and written news on Substack ➜ https://sciencewtg.substack.com/
👉 Transcript with links to references on Patreon ➜ https://www.patreon.com/Sabine
📩 Free weekly science newsletter ➜ https://sabinehossenfelder.com/newsletter/
👂 Audio only podcast ➜ https://open.spotify.com/show/0MkNfXlKnMPEUMEeKQYmYC
🔗 Join this channel to get access to perks ➜
https://www.youtube.com/channel/UC1yNl2E66ZzKApQdRuTQ4tw/join

#science #sciencenews #ai #math