AI agents 5
- Bringing AI firepower to bear on pushing forward a complicated proposal that was stalled for good reason isn’t likely to lead anywhere interesting.
- Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods.