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