Post #3963821
2026-07-20 16:08 UTC
@ZachWeinersmith@mastodon.social maybe you'd like to see my reply to your post about AI math on bsky (since sometimes you're back on mastodon)
Replies (1)
-
@ask@infosec.exchange 2026-07-21 05:59
Also relevant is this 1994 article "On proof and progress in mathematics" by William P. Thurston https://arxiv.org/abs/math/9404236