▲ 2 pointsThe AI takeover of mathematics has beguntheverge.comby brandonb·5d ago·1 comments·view on hn ↗