
Sometime Cambridge logic lecturer, now idling in retirement. Also procrastinating at @PeterSmith@mathstodon.xyz
Cambridge
Joined December 2007
- Tweets6.6K
- Following434
- Followers3K
- Likes736
Peter Smith retweeted
Terence Tao made a very powerful point:
“In most cases in pure mathematics, the problems are posed not because we desperately want the solution to these problems in and of themselves, but because we have seen from past experience that human-directed efforts to solve these problems tend to spur further development of the field through the efforts to solve such problems, and then to digest any partial or complete solutions that emerge for further insights.
Prematurely solving the problem by purely AI-powered methods—particularly without full transparency into the solution process—can contaminate this process to the point where it actually becomes a net negative for the progress of mathematics as a whole.”
I’ve been following Terence Tao for like 20 years, and I have always been impressed by the clarity of his thinking.
This clarity stands out even more in this difficult moment, as AI labs turn mathematics into a battleground in their race for supremacy.
In this race, they risk damaging one of humanity’s highest intellectual endeavours.
Peter Smith retweeted
Martha Nussbaum on Bernard Williams: "Over the years I began to notice that he was never angry (whereas I am angry more or less all the time). Contempt, world-weariness, cynicism, even an irritability linked to the world-weariness, but never just anger, the sense that wrong has been done and that one had better go out and right it. I think his non-angry attitude to tragedy was of a piece with his critique of the Enlightenment: doing good for a bad world did not energize him, because his attitude to the world was at some deep level without hope. The world was a mess, and there was no saving or even improving it. It was childish, naïve, to suggest that improvement was possible. (His liberal politics were difficult to reconcile with this view, and this perhaps explains his increasing withdrawal from politics and even political thinking in later life.) Nietzsche called this attitude amor fati and connected this embracing of necessity with a kind of cheerfulness, the cheerfulness that comes when we abandon the hope of real change. Similarly, what energized Bernard, cheered him up, was a kind of elegant assertion of the hopelessness of things against the good-newsers, a contemptuous yet brilliant scoffing." @BostonReview
Peter Smith retweeted
I've just written a blog post in which I discuss the question of whether current LLMs are better at some kinds of mathematics than others, with an emphasis on "current", given how quickly the situation is developing. Link in next tweet.
Peter Smith retweeted
Day 15 of my futile one-woman crusade to keep real images popping up on your feed rather than AI.
Autumnal archway in Clent, Worcestershire. The end of autumn is often my favourite, when the colours are at their most intense 🧡
Peter Smith retweeted
Child In A Tantrum
Get more Rembrandt 🍒 linktr.ee/rembrandt_artbot
Peter Smith retweeted
"Some people feel guilty about buying more books than they'll get round to reading. But if you buy books by living authors, you make it possible for us to keep writing. Think of it as an investment in the kind of writing that interests you."
- Nigel Warburton
Peter Smith retweeted
(Occurs to me Byron could maybe have a bear in college in US today, as long as it was certified as an emotional-support bear?)
Peter Smith retweeted
Unsurprisingly fine concert @wigmore_hall today by the ever-excellent Elisabeth Brauss in a typically rewarding programme of Prokofiev, Albéniz & Beethoven. Can be heard @BBCRadio3 7 @BBCSounds.
Peter Smith retweeted
The remarkable German pianist Elisabeth Brauss displays her astonishing talent @wigmore_hall at lunchtime today in a programme of mischievous Prokofiev, dreamy Albeniz and Beethoven in all his wit and brilliance. The was a meticulous recital of life-affirming and infectious joy.
Peter Smith retweeted
Replying to @becimay
And out of nowhere, “Farewell Love and all thy Laws for ever” pops into my head for the first time in over 40 years, and I’m shocked at how much of it I still remember: poetryfoundation.org/poems/4…
Peter Smith retweeted
Not wrong, Wilkie, not wrong:
“The man who has worked in the full fervour of composition yesterday is the same man who sits in severe and merciless judgment to-day on what he has himself produced.”
Wilkie Collins, born 8 January 1824
#wilkiecollins #writing
Peter Smith retweeted
As I understand it from the guys that have been following the drama on an almost daily basis, this is one of four peregrine chicks in Cambridge. This particular chap has yet to fledge and was standing precariously on a parapet wall testing his wings - won't be long now. (shot with Leica 50mm f2 APO-Summicron-M Asph Lens and cropped to blazes but still amazingly sharp)
A picture of Cambridge every day since 2010. (No 4817) Sunday 4th June 2023.
Peter Smith retweeted
I can hear his gently reproving voice and imagine the twinkling eyes; ‘Enough sitting around Mr McKay’.
Peter Smith retweeted
It’s ALBUM RELEASE DAY!!! we hope you love this record as much as we loved making it! Download or stream the album here: orcd.co/tbfc-vidispeciosam
Peter Smith retweeted
Dvorak trios at the @wigmore_hall tomorrow! With my wonderful friends Veronika and Peter from the Pavel Haas Quartet 🥰
Come join us if you’re in London!
wigmore-hall.org.uk/whats-on…
@Fazioli_Pianos @JaquesSamuel
Peter Smith retweeted
Tremendous leadership from BBC Young Musicians;
‘We are writing to express our collective dismay and disbelief about your decisions not only to cut 20% of orchestral posts across the English BBC orchestras, but also to completely disband The BBC Singers’ Our letter in today’s @dailytelegraph #BBCsingers #BBCorchestras
Peter Smith retweeted
Tune in to @BBCFOUR4 tonight at 8:45pm GMT to catch pianist Elisabeth Brauß perform as part of the New Generation Artists showcase.
If you miss it, head over to @BBCiPlayer where it will be available shortly after broadcast: ow.ly/flIT50MP9gF
































