Mathematics Distillation Challenge – Equational Theories

Mathematical research traditionally involves a small number of professional mathematicians working closely on difficult problems. However, I have long believed that there is a complementary way to …

What's new
Six Math Essentials

Just a brief announcement that I have been working with Quanta Books to publish a short book in popular mathematics entitled “Six Math Essentials”, which will cover six of the fundament…

What's new
Mathematical exploration and discovery at scale

Bogdan Georgiev, Javier Gómez-Serrano, Adam Zsolt Wagner, and I have uploaded to the arXiv our paper “Mathematical exploration and discovery at scale”. This is a longer report on…

What's new
Vandaag 10 jaar geleden https://sailing-dulce.nl/home/article-4602 #gorinchem #discrepantievermoeden #paulerdös #terrytao Dinsdag 22-09-2015 Gisteravond lichte koorts vanwege fikse verkoudheid. Ook vandaag voel ik me beroerd met een nare hoest. We zouden vanmorgen in Spijkenisse op de koffie gaan bij onze zeilvrienden Jaap & Diana, maar dat hebben we afgezegd. Het is buiten grijs en koud en onaantrekkelijk. In de loop van de ochtend lijkt het te gaan regenen, maar er komt zowaar een beetje zon. Een beroemd pro..
Formalizing a proof in Lean using Github copilot and canonical

YouTube
Decomposing a factorial into large factors

I’ve just uploaded to the arXiv the paper “Decomposing a factorial into large factors”. This paper studies the quantity $latex {t(N)}&fg=000000$, defined as the largest quanti…

What's new
Part two of Grant Sanderson's video with Terry Tao on the cosmic distance ladder — https://mathstodon.xyz/@tao/114054291471216181
#HackerNews #GrantSanderson #TerryTao #CosmicDistanceLadder #MathEducation #VideoSeries
Terence Tao (@[email protected])

The second part of Grant Sanderson's video interview with myself on the cosmic distance ladder is now out: https://www.youtube.com/watch?v=hFMaT9oRbs4 I wrote a blog post with additional commentary and corrections on both videos at https://terrytao.wordpress.com/2025/02/13/cosmic-distance-ladder-video-with-grant-sanderson-3blue1brown-commentary-and-corrections/

Mathstodon

Inquiry Into Inquiry • On Initiative 4
https://inquiryintoinquiry.com/2023/05/15/inquiry-into-inquiry-on-initiative-4/

Re: Terry Tao • PCAST Working Group on Generative AI Invites Public Input
https://terrytao.wordpress.com/2023/05/13/pcast-working-group-on-generative-ai-invites-public-input/

My Comment —
https://terrytao.wordpress.com/2023/05/13/pcast-working-group-on-generative-ai-invites-public-input/#comment-678057

I think a lot of people who've been working all along on AI, intelligent systems, and computational extensions of human capacities in general are a little distressed to see the field cornered and re‑branded in the short‑sighted, market‑driven way we currently see.

The more fundamental problem I see here is the failure to grasp the nature of the task at hand, and this I attribute not to a program but to its developers.

Journalism, Research, and Scholarship are not matters of generating probable responses to prompts or other stimuli. What matters is producing evidentiary and logical supports for statements. That is the task requirement the developers of recent LLM‑Bots are failing to grasp.

There is nothing new about that failure. There is a long history of attempts to account for intelligence and indeed the workings of scientific inquiry based on the principles of associationism, behaviorism, connectionism, and theories of that order. But the relationship of empirical evidence, logical inference, and scientific information is more complex and intricate than is dreamt of in those reductive philosophies.

#Peirce #Logic #Inquiry #InquiryDrivenSystems #InquiryIntoInquiry
#TerryTao #PCAST #AI #IntelligentSystems #LLM #LargeLanguageModels

Inquiry Into Inquiry • On Initiative 4

Re: Terry Tao • PCAST Working Group on Generative AI Invites Public Input My Comment — I think a lot of people who’ve been working all along on AI, intelligent systems, and computa…

Inquiry Into Inquiry
Aah ko lagta hai ek umr asar hone ko
Kaun jita hai Teri zulf k sar hone ko
#ghalib #Realanalyses #terrytao