Analysis
An AI intrusion, a benchmark and a proof need different questions
Follow the measured task, the failed boundary and the checked statement. Each offers a more useful starting point than a sweeping verdict about AI.
Topic
Mathematical results, methods, proof, formalization and research practice when materially examined. Incidental numbers, economic calculations, benchmark category lists and passing research citations do not qualify.
2 stories
Analysis
Follow the measured task, the failed boundary and the checked statement. Each offers a more useful starting point than a sweeping verdict about AI.