Sublime
An inspiration engine for ideas
Timothy Luke
@tls
Patrick Prothe
@patrickprothe
Peter Gorgels
@pgorgels
Artificial Intelligence may not be up for the Fields Medal any time soon, but it may act as an intermediary for mathematicians working on proofs. However, something is lacking for AI to get down to it.
Terry Tao looks to the positives. Full lecture: https://t.co/cgakWAKyTC... See more
Oxford Mathematicsx.comGPT-3.5-turbo is so fast that streaming is almost completely unnecessary.
I mean just look at this… https://t.co/uz1Lew8ba4
Mckay Wrigleyx.com
If you're a computer scientist, a logician or a mathematician, you should check out this masterpiece by Paul Taylor, titled 'Practical Foundations of Mathematics'.
Don't waste any time, and go check out Paul Taylor's website, where you will find much of the content of this book available publicly.
This just came in the mail today. Anything by John Stillwell is worth reading, so I’m really looking forward to dipping into his latest. https://t.co/khz6WBF2yT