Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: How do mathematicians really feel about AI?
Lars Ericson (Oct 04 2023 at 16:38):
Patrick Nicodemus (Oct 20 2023 at 03:06):
nice, i submitted some comments.
Last updated: Dec 20 2023 at 11:08 UTC