at://
/
app.bsky.feed.post
/
3mcfmd43twc25
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
First time that I have used AI to help with a "real" proof: www.seehuhn.de/blog/maths-w...
5mo
An experience report on using Claude to help complete a mathematical proof.
www.seehuhn.de
Maths with Claude | seehuhn.de
Jochen Voss
