Incredibly important talk from Terence Tao... YouTube link in the first comment.
In his keynote, Tao discusses several major developments regarding the intersection of AI and mathematics:
"Proof Indigestion": Tao highlighted a growing bottleneck where AI systems are generating
NEW POST
I see AI and LLMs as bringing a mix of boons and banes, but one feeling dominates: not just are they pretending to be a person, but the kind of person I don't like.
martinfowler.com/articles/2026-…
Anyone who makes or uses open source software should read this article from @seldo as soon as possible. As someone who has tried and occasionally succeeded at making (our) open source software sustainable, I’ve never seen any proposal or piece of logic that comes this close to a
My take on the frontier labs' public statements about a desired 'slowdown' in frontier model development? They're crack dealers. Don't believe it for a second ;-)
#AI#AIEngineering#AISecurity#AISaftey
