News for hackers. Stuff that matters.

A comment on This open problem taught me what topology is [video]. Parent comment

Re:This open problem taught me what topology is [video] by pfdietz on Wednesday December 25, 2024 @05:19PM (#42511559)
> 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.

[ Parent | on HN ]
Re:This open problem taught me what topology is [video] by jebarker on Wednesday December 25, 2024 @05:21PM (#42511566)
Yeah, 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.
[ Parent | on HN ]
Re:This open problem taught me what topology is [video] by vismit2000 on Wednesday December 25, 2024 @11:51PM (#42513193)
Recently on HN: https://news.ycombinator.com/item?id=42440016

Maybe this can aid in your learning.

[ Parent | on HN ]
Re:This open problem taught me what topology is [video] by jebarker on Thursday December 26, 2024 @12:12AM (#42513268)
This is great - thanks for sharing
[ Parent | on HN ]