at://
/
app.bsky.feed.post
/
3mnwxmogrgc2g
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
Anna Gilbert's commentary on the upcoming First Proof, Part Deux round of AI math proofing evaluations.
3d
There will be a webinar at 1pm east coast time today to announce the results of First Proof Second Batch.
First Proof, Second Proof
annagilbert.substack.com
Johan Ugander
