at://
/
app.bsky.feed.post
/
3mmlszbeg2c2m
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Nine more Erdos problems resolved with LLMs + Lean: arxiv.org/pdf/2605.227... Worth noting they got 9/353 after trying a giant set of open problems by Erdos, and 44/492 OEIS open conjectures. Likely would've gotten 0 a year ago.
18d
Zach Weinersmith
