Post

“The narrative that AI has “solved” mathematics rests on two assumptions, both seductive and plausible, but both wrong: 1. AI really did solve a problem in mathematics. 2. Mathematics is only about solving problems.” terrytao.wordpress.com/2026/09/12/a... Much here applies to software too.

terrytao.wordpress.comAfter Math[This is a guest post by Silvia De Toffoli and Eamon Duede. This blog post was initially written in a different file format and converted using AI. — T.] Silvia De Toffoli (University School …

Russ Cox

@swtch.com

“We should keep in mind that AI is … technology, designed to serve our purposes. It is misguided to think of mathematicians as competing with AI; when we drive a car, we aren’t competing to see who can go faster, and when we use a phone, we aren’t competing to see who can speak louder.”

14/9/26, 1:30 pm2 reposts7 likes

Fuzzy Dunlop

@fuzzyd666.bsky.social

I’d be interested in your views on the appropriate use of AI in modern programming. Rob Pike seems fairly hostile, while extremists such as DHH say humans don’t need to code at all. Linus seems somewhere in the middle.