AI agents now tackle research-level math
Pairing LLMs with a computer algebra system boosts performance on hard math problems, closing the gap between open and closed models.
Pairing LLMs with a computer algebra system boosts performance on hard math problems, closing the gap between open and closed models.