at://
/
app.bsky.feed.post
/
3mi7iktjbrr26
sign in
All
3
Post
1
PostEmbed
1
Record
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @atsui.org
+ new component
Post
The computer program Lean might revolutionize mathematics. It has verified more than a quarter of a million theorems and led to new insights. But might it also erode conceptual and ideological diversity? www.quantamagazine.org/in-math-rigo...
2d
Quanta Magazine
