What is mathematics now, and what should it be? | Hacker News - But Better

What is mathematics now, and what should it be?arxiv.org

Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathematicians can engage with AI. This essay advances a more expansive and…

2 points•butokai•6 days ago•0 comments•

#mathematics #ai #advances #theorem #impressive #provers #successes #neural

0 comments

No comments yet.

Related stories

The SaaSpocalypse that wasn’t, with Atlassian CEO Mike Cannon-Brookestheverge.com
The Verge · 0 points · 2 days ago
Can you forget how you feel about Meta?theverge.com
The Verge · 0 points · 9 days ago
Can Cloudflare CEO Matthew Prince save the web from AI?theverge.com
The Verge · 0 points · 4 days ago
Can John Ternus find Apple’s next big thing?theverge.com
The Verge · 0 points · 9 days ago
Show HN: Training a model to identify AI web content from structure alonearxiv.org
Hacker News · 73 points · 8 days ago
Does AI need an antitrust exemption so it doesn’t kill everyone????theverge.com
The Verge · 0 points · 11 days ago