My understanding is that AI has made surprising success in mathematics in novel unsolved problems.
So it does seem apt for this use case
My understanding is that AI has made surprising success in mathematics in novel unsolved problems.
So it does seem apt for this use case