at://
/
app.bsky.feed.post
/
3mnxgxhuwjv2b
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
I got by this "Given that you're interested in this problem, why won't you make an effort to solve it? We've seen some other open math problems gets off by AI surprising ways." Didn't get a proof but at least it tried. 2/2