Comment by alerighi

The introduction of LLM in mathematics is no different than the introduction of automatic calculators. Probably the calculators (computers) where even more groundbreaking if you think so (something that was impossible to calculate or simulate it was now possible).

Just don't believe at all the shitty marketing that AI companies are creating to make you believe that they have found the Holy Grail