You're right. But... Spending 132 billion tokens is definitely way more energy than human mathematicians would have thrown at the problem and probably would ha

You're right. But... Spending 132 billion tokens is definitely way more energy than human mathematicians would have thrown at the problem and probably would have solved within two years.