im glad mathematicians are finally standardizing and building repositories like programming does. up until recently it was chalk on a blackboard like in the 1700s. And I remember one time this guy was using phi to mean 3 different things all in the same formula.
The trouble with mathematics is that there are probably like 3 other people in the world who can peer review the work of these top mathematicians and actually understand what they are doing... lol
Love Kevin. This is awesome
im glad mathematicians are finally standardizing and building repositories like programming does. up until recently it was chalk on a blackboard like in the 1700s. And I remember one time this guy was using phi to mean 3 different things all in the same formula.
Exiting!
This was even before GPT 4.
The trouble with mathematics is that there are probably like 3 other people in the world who can peer review the work of these top mathematicians and actually understand what they are doing... lol
Chess is NOT solved, sorry, please stay rigorous.