3 ms·
> working on AI I think we're about to enter an incredible new age of mathematics, driven by AI and theorem provers. It's going to be hugely disruptive to mat
by pfdietz 2y ago
> working on AI
I think we're about to enter an incredible new age of mathematics, driven by AI and theorem provers. It's going to be hugely disruptive to mathematics, but lots of fun to amateur mathematicians.
- jebarker 2y agoYeah, I really hope so. I'm hoping that my background is going to allow me to work/play in this area. I'm currently learning about theorem provers so I can get involved.
- vismit2000 2y agoRecently on HN: https://news.ycombinator.com/item?id=42440016 https://news.ycombinator.com/item?id=42440016 Maybe this can aid in your learning.
- jebarker 2y agoThis is great - thanks for sharing