Zulip Chat Archive
Stream: general
Topic: Discussion: How will autoproving impact math?
Notification Bot (Jan 14 2026 at 19:20):
This topic was moved to #Machine Learning for Theorem Proving > Discussion: How will autoproving impact math? by Patrick Massot.
Last updated: Feb 28 2026 at 14:05 UTC