Mathematicians Debate AI's Role as Systems Tackle Research-Grade Problems | HACKOBAR_