2026-08-12: What do research mathematicians think about AI