Естественно

[birdwatcher]

quantamagazine.org -- Tao is perhaps the most prominent exponent of AI’s utility in mathematics. Soon, “it will look and feel altogether different from the way mathematics was traditionally done,” Tao said. Where before mathematicians studied one problem at a time, “with these tools you can solve thousands of problems at once and start doing statistical studies.”
Ни капельки не жалко.