Can AI replace mathematicians? Vienna researchers weigh in | Hacker News Reader