Good math in the morning! Today I talk about my killing primes paper which I have been working on for a while and is now finished. Also stick around for the end to see a special performance by our theater correspondent.
https://t.co/qeLjFPoWti
Please enjoy the my recent podcast appearance on About Logic with Deniz and Thorsten. We got into so many different philosophical issues in the foundations of mathematics, with a few pointed disagreements. https://t.co/CTLZlsY57b
A long time ago
God took The Book
and ripped it into pieces
He planted the theorems
and the proofs
Across Time
including the desire for the seed to bloom
Into humans
according to their desire
The eternal paper hidden in their
souls until when
I think that AI will be helpful to mathematicians but it won't be essential. It does worry me that so much money is invested in AI being successful in solving problems because it is hard to tell what is truth and what is hype.