How Terry Tao Became an Evangelist for AI in Math | Quanta Magazine
With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in mathematical research.
https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
" ... talking with my wife, sometimes angry and ended pleased, and I hope to bring our matters to a better posture in a little time ... "
Not sure whether "and ended pleased" here means "and I was pleased because I got what I wanted" or "and we were pleased because we'd cleared the air." I like to think it's the latter.
Our friend Samuel is far from perfect, and his wife has to put up with a lot of things from him. But ultimately Sam and Liz are really rather good at making things work out.
And I love the poetry of saying "to bring our matters to a better posture"!
From now on, each time I deal with a matter of contention, I shall ask myself, "how can I bring this matter to a better posture?" This is very #Tao.
Baraka: DON'T FUCK MY VIBE ☮️
#Emblematica #collage #bulldada #landscape #nature #peace #Pataphysics #surrealism #discordia #magick #chaosmagick #Tao #Zen #POEE
There is a mist eater
whose abode is closed
to worldly people.
When he speaks,
he is stern yet clear,
summer and autumn alike.
Dark mountain streams
run bright and pure,
high pines rustle
in the chilly winds.
If you sit there for
even half a day,
you'll abandon
a hundred years
of worry.
Cold Mountain (Hanshan)
from "The Complete Cold Mountain"
Tanahashi & Levitt (trs.)
Ah, Watson. No, not today. I shan't do any work today. Just idling along for a while, my friend, no targets. Take a seat and have some of Mrs Hudson's biscuits. They are superb.
News
OdicforceSounds
the roamer
hridaya
PseudoNovalis
cirkē
thewanderer