Profile

deusvulture: (Default)
deusvulture

March 2019

S M T W T F S
     12
3456 789
10111213141516
17181920212223
24252627282930
31      

Style Credit

Expand Cut Tags

No cut tags
[syndicated profile] languagelog_feed

Posted by Mark Liberman

A few weeks ago, I got an interesting email from Jean Charconnet, referencing a 9/10/2026 LLOG post, noting general issues about the logic of analogies and metaphors, and offering to submit a guest post on the topic.

I agreed, and couple of days later he sent me a fascinating document, which starts by citing his doctoral dissertation on analogy, later published in 2003 as « Analogie et logique naturelle », and its roots in earlier work by Jean-Blaise Grize.

I immediately ran aground trying to locate copies of those references, and/or other ways to learn about the intellectual world they come from. And my life over the past couple of weeks has been dominated by the need to wade through through various "AI HR" swamps*, so I haven't been able to get back to the search.

To avoid further delay, I've formatted Jean's guest post as an HTML document, more suitable to its style than LLOG's antique WordPress theme, and here it is.  Enjoy!


* To be clear, the local HR representatives have been very helpful in guiding me through the mudholes created by the outsourced software claiming to put AI to work for us.

Sep. 30th, 2026 01:03 pm

Two reports

[syndicated profile] terrytao_feed

Posted by Terence Tao

A brief post to note two reports that just came out:

Sep. 30th, 2026 09:45 am

Philidelphia

[syndicated profile] languagelog_feed

Posted by Mark Liberman

Philadelphia seems to attract Google Maps weirdness. The last time I opened a map to verify some local directions, it popped up an image of the Grand Concourse ceiling of the 30th St. Amtrak station, identified as "Philidelphia Train ticket office":

And the Quadrangle, a student residence where I live, always gets identified as weird fragments of nearby stuff — most recently as the (entire?) Hospital of the University of Pennsylvania, which is actually a dozen or so (other) buildings in the neighborhood:

In fact "the Quadrangle" is the whole rectangle + triangle, not just the western triangular part, and it contains three designated "College Houses", not just "Riepe". In the past, I used to click the Google Maps "Suggest an edit" button, correcting labels like "Pathology Laboratory" and "Helen's Hair House". But now I just accept the metaphors.

[syndicated profile] terrytao_feed

Posted by Terence Tao

[This is a guest post by Rachel Webb. This blog post was initially written in a different file format and converted using AI. — T.]

The way I do math experienced a great upheaval once before, halfway through my PhD. I was in a seminar with a group of graduate students and faculty developing new discipline-specific writing courses. The facilitator asked the question,

What does it mean to write well in your discipline?

Then, as now, I use writing as a proxy for doing. As a mid-career grad student, I had a quick answer to this question: good mathematical writing, hence good mathematics, is clear and correct. I was surprised at the dissimilarity between my answer and the answer of the other seminarians (who were more experienced but also other-disciplined): good writing says something interesting.

This discussion unlocked for me the meaning of doing research. Doing research is searching for something interesting to say. (Of course, once you find it, you have to say it in a way that is clear and correct.) In mathematics, the search for something interesting is often driven by our search for understanding, as noted by Thurston and endorsed by many since. But I think the math research process has a creative aspect that is not completely captured by this search. By contrast, the task of making something interesting to say is like writing a novel whose characters are at once subject to constraints of human experience but also presented in a way that comments on human experience. The characters in mathematical novels are definitions, the story text is the lemmas and theorems; these are constrained by truth, but can also be chosen strategically or artistically to capture certain facets of truth.

This is, abstractly, how I currently approach math research: I seek to understand what is happening at a fundamental level, yes, but I don’t think there is a unique way to understand. I also seek to take the things I do understand—inevitably, these are just a subset of the phenomena I would like to understand—and craft a narrative from them that is beautiful and interesting to my fellow mathematicians. Concretely, I find that “interest” in a mathematical context often derives from applications, either to the real world, or to other math. It also derives from proximity to high-profile open problems that serve as centers of mathematical conversations.

I don’t see LLMs as changing that approach much, but I expect they will drastically affect how I execute it.

The execution changes because now I have access to a machine that has read all the books and knows how many standard lemmas go. This speeds up the research process immensely and turns some of my lands of mathematical fantasy into worlds I can realistically start exploring (dream bigger dreams, says Antieau). Of course, taking the interstate instead of the side roads has its tradeoffs, but for any given leg of the journey I can choose which route to take. I will return to this idea in a moment.

My approach to research does not change because critically, I’m not convinced that the advent of LLMs changes my metric for mathematical “interest.” If we have historically regarded a paper as interesting if it comments in some way on a Millennium (or similar) problem, need we lessen our interest if the problem has a solution? Certainly there are many solutions, even many shards of understanding that do not constitute full solutions. These are all very interesting. We might know how to get to the red city, but we can continue to map out the surrounding terrain, now all the more valuable for the economic and strategic opportunities arising from metropolitan proximity.

I have said something about how I will continue to do math research, but I have not discussed why: what reasons do humans have to do math, if LLMs are capable (hypothetically, say) of producing math that is even more interesting than the math we can create? I believe that there are economic reasons, but I will not discuss those (both Sahai and Strogatz-Townsend have some thoughts). Instead I present two humanistic reasons. Neither of these is unique to math, just as math is not the unique human practice whose execution is affected by the advent of AI.

The first reason for humans to do math is that math is interesting to us individually. I enjoy doing math, so I will keep doing it, even if machines are better at it. There is a threat that LLMs will take the fun out of doing math by tempting us towards knowing the answer over understanding the solution. The temptation must be resisted. I should use AI only in ways that make math research more enjoyable for me and allow me to get understanding along with my wisdom (Proverbs 4:7). This may require experimentation. In fact, I and others already make analogous choices to use technology only when it is helpful to us personally and not every time it is economically “correct.” For example, I persuade my kids every week to walk seven miles round trip to church, even though we could drive. The commute costs well over two hours, but the increase in understanding between family members from the shared time and suffering is worth it.

The second reason for humans to do math is that math holds shared interest for multiple people at once, and in this way it creates communities. In some sense, this is what the other-disciplined seminarians meant when they said good writing is interesting: they meant that good writing is interesting to other people and hence is a piece of a larger conversation. Math research is a tool for drawing people together, in student-teacher relationships, in collaborations, at conferences, and at department colloquia and tea-times. Again, AI could weaken these social bonds by making (fear of) scooping more common, or just by making it easier to ask a machine than a colleague. But could does not automatically imply will. To quote Wendell Berry, may the age of AI be the age of knowing our mathematical neighbor. “Friends, every day do something that won’t compute.”

[syndicated profile] dinosaur_comics_feed
archive - contact - sexy exciting merchandise - search - about
September 28th, 2026next

September 28th, 2026: AS WE SPEAK I am visiting friends who I only get to see once a year IF THAT! I'm afraid I must recommend the friend-visit-centric lifestyle, and I do not apologize!!

– Ryan

[syndicated profile] shtetloptimized_feed

Posted by Scott

Or click here if the above doesn’t work.

Recorded in-person in my office at UT Austin, with a bulleted list containing “ARC,” “Scalable Oversight,” and “Models” behind me on my blackboard for some reason (I no longer remember who put those there or why). 90 minutes long. Sometimes you see my disembodied arm waving in midair because of the way the cameras are combined. As always, I strongly recommend 2x speed for the correct experience.

This might actually be one of my best podcasts ever, although I wasn’t planning on that! Thanks so much to Bhavay Tyagi and Prachi Garella for driving all the way from Houston to record it.

Here’s a strict subset of the topics we covered:

  • The story of AI models solving the Navier-Stokes Millennium Problem, insofar as it’s known
  • Can recent AI proofs be called “truly creative”?
  • The history of AI before the LLM revolution
  • What do we mean when we call LLMs “black boxes”?
  • The achievements of the field of interpretability
  • What exactly happened in the OpenAI/HuggingFace incident
  • Must we avoid all “anthropomorphizing language” when discussing the HuggingFace incident? (spoiler alert: no)
  • Examples of major open problems in quantum computing theory that I cared about for decades and that AI models have recently solved
  • Effects of the current AI cataclysm on the math community, especially students
  • What annoys me the most when I listen to AI talks
  • My experiences at OpenAI, why they hired me, and the watermarking work that I did there

Enjoy!

More AI-related content coming soon, as this blog—like much of the rest of the world—continues its transition to “all AI, all the time” (except still 100% written by an aging, deteriorating biological brain)


And for those who just can’t get enough of my rocking back and forth, using too many filler words, as I explain theoretical computer science! Here’s a second podcast, this one mainly on quantum computing, with Seb Agertoft, who I thank for doing it. Enjoy!

Sep. 28th, 2026 06:33 pm

Joint Statement about Mathathon

[syndicated profile] terrytao_feed

Posted by Terence Tao

[This is a guest post by a coalition of Caltech mathematicians: the original organizers of Mathathon (Alvan Arulandu, Andrea Li, Avni Garg, Brian Zhao, Caiman Moreno-Earle, Sathvik Redrouthu), two coauthors of the Open Letter about the Mathathon (Dylan King, Tasmin Chu), and other members of the Caltech community (Mayla Ward, Merrick Hua, Robert Joseph George, Sergei Gukov, Shaowu Zhang, Tony Yue Yu, Vihaan Dheer). This blog post was initially written in a different file format and converted using AI. It is also crossposted at Proofs and Prompts— T.]

Mathathon is centered around one question: how can we use AI to augment human understanding of mathematics?

This past week, the original organizers of Mathathon, two coauthors of an open letter about the mathathon, and other members of the Caltech community engaged in a conversation to redesign this event. We quickly reached a consensus: problem solving is but one component of mathematics; mathematical understanding and exposition are similarly meaningful. But these components have often been overlooked by grantmakers and hiring committees. We want to celebrate human mathematicians who undertake this work.

Thus the new theme of Mathathon is Old Problems, New Proofs.

Consider the four color theorem, the ABC conjecture, or the Navier-Stokes problem. Many mathematicians find their proofs—or claimed proofs—difficult to understand or unsatisfying. We invite our participants to pick a problem with an unintuitive solution, learn as much as possible in 40 hours, and present their findings to their peers. Then, they will take two months to develop an alternative proof or exposition. Afterward, they’ll submit an explainer and a GitHub repository. The explainer can take any form: a paper, a blog post, a video, an interactive game, et cetera. The repository will store whatever was used to produce the explainer—LLM chat histories, code used to produce visualizations, and more—so the mathematics community can examine the ideas behind the finished product.

By shifting the focus from open problems, we want to encourage Mathathon participants to explore everything else we do to make sense of mathematics: generalizations, new notations and techniques, connections to other problems. These innovations can be more exciting than solving individual problems.

Mathathon treats AI as one of many tools available to mathematicians. We no longer receive sponsorships from developers of proprietary AI models. Participants are given a cash grant to purchase any tool they need, whether that be LLM credits, HPC access, or pen and paper. Proprietary models are allowed, but we encourage the use of open-source tools. Our goal is to empower each participant to make their own decision about the tools used at Mathathon and in their own work.

The new event will take place on November 13–15. It is co-organized with the Foundation for Science and AI Research (SAIR), which will provide compute, host workshops, and offer prizes to teams that use open-source models. SAIR is also administering travel grants for participants. Our lead donor is XTX Markets, an algorithmic trading firm and a major supporter of academic research, open-source infrastructure, and community-led initiatives in AI-for-math.

The organizers and advisors of Mathathon range from AI proponents to critics, from undergraduates to well-established mathematicians. Working with this group has been a learning experience for everyone involved. We hope that it will bring together a similarly diverse set of judges and participants.

If you want to deepen your understanding of math, we hope to see you at Mathathon. Our mission is for you to learn from and teach your peers.

If you want to have fun, we hope to see you at Mathathon. It’s still a student-led event, run with the same playfulness that first inspired it.

If you are curious about AI capabilities, we hope to see you at Mathathon. Finding alternative proofs to solved problems and presenting them in human-oriented ways is a novel challenge for LLMs.

If you are concerned about AI’s impact on mathematics, we hope to see you at Mathathon. It celebrates human-oriented expositions. Mathathon requires participants to fully disclose and justify LLM usage and asks them to consider whether smaller-scale open-source tools would suffice.

Finally, Mathathon isn’t a conclusive guide to AI in mathematics. The organizers hold different opinions about AI-assisted problem solving, open-source versus proprietary models, and more. But we all believe that mathematicians can use AI to advance human understanding. Mathathon is a first experiment. We want to pave the way for future initiatives that explore AI’s roles in learning, teaching, review, and research, while placing human understanding and community building at the forefront. Mathematics is undergoing its biggest change in decades, and we must work together to adapt.

Acknowledgements. We are grateful to Terence Tao and Andrew Wu for reviewing this statement and leaving comments, as well as to countless others who offered feedback about Mathathon. All of the views above are solely our own and do not reflect those of Caltech or any other organizations we belong to.

[syndicated profile] dinosaur_comics_feed
archive - contact - sexy exciting merchandise - search - about
September 28th, 2026next

September 28th, 2026: This comic is inspired by maps! Whether digital or physical, they're still the #1 best thing to look at if you'd like to see a map.

– Ryan

Sep. 27th, 2026 08:24 pm

Jams for today

flamingsword: We now return you to your regularly scheduled crisis. :) (Default)
[personal profile] flamingsword
https://ogjessb.bandcamp.com/album/matters-of-the-heart hip-hop/rap/queer studies genre-defying artist from Aotearoa who I can’t stop grooving to.
[syndicated profile] terrytao_feed

Posted by Terence Tao

[This is a guest post by Jess Werk. This blog post was initially written in a different file format and converted using AI. — T.]

Hello, I am Jess Werk, professor and chair of Astronomy at the University of Washington. Astronomy may interest mathematicians right now because our field has already been reshaped by supercomputers and survived to tell the tale. Our magneto-hydrodynamic simulations, built on the Navier-Stokes equations (plus lots of other “subgrid” physics), are run for over a hundred million core-hours, and produce emergent astrophysics that takes us years to understand and verify. They do not replace analytic theory; they complement it. The Rubin Observatory’s nightly stream of sky survey data, petabytes over the life of the project, would be unusable without advancements in cloud storage and AI algorithms. Astronomers were early adopters of machine-learning techniques because we have a whole Universe’s worth of beautiful data, and our space telescopes are built at the edge of what is technically feasible (e.g. the James Webb Space Telescope, and the Habitable Worlds Observatory now being designed). We are generally a technology-forward field, but a growing number of us see AI-enabled workflows as a risk to the profession. I will tell you what I think that risk is, and then put on my department chair hat and tell you what I am doing about it. My optimism is intact because it has to be.

As scientists, we design our experiments around an unattainable ideal: an objective and mindless observer from nowhere, studying a reality that exists separately from our subjective understanding of it. As creatures who study the cosmos from a relatively tiny rock, 93 million miles from the nearest star, embedded within the roiling gases of the Galactic interstellar medium produced by hundreds of billions of gasping stars, some fraction of which violently explode, we astronomers appreciate the physical impossibility of the observer from nowhere (and yet we endeavor to achieve it!). Thomas Nagel writes about the paradox of The View from Nowhere and argues later, in Mind and Cosmos, that an intelligible natural order which produces minds capable of understanding it is itself something that requires explanation. Intelligibility is the biological mind’s responsibility; every experiment we design must be understood by someone because that is what gives science its purpose. Generative AI attempts to embody the mindless observer from nowhere. Its achievements in both mathematics and science reveal the incompleteness of this long-held ideal and underscore the importance of human scientists and mathematicians, whose minds make results and proofs meaningful.

The marketing for and media coverage of generative AI invite a belief that the speed and volume of its output render slow human understanding meaningless. Thankfully, mathematicians have already begun to reject this idea. In astronomy, the result plays the role of the theorem: a paper is judged on what it found, how significant it was, and whether it found it first, far more than on what the finding means. The result serves as a proxy for understanding, and that proxy is now a problem (Kra, B., 2026). Across academia, incentive structures have long rewarded productivity over understanding, and generative AI now makes productivity easy to manufacture. Together, the two effects undermine the perceived value of doctoral-level study. Rather than swiftly implementing field-wide changes to our systems, I argue that protecting the Ph.D. requires simple, department-level fortifications that we can all make now. Together, these structural fortifications make up a model I have started calling the cognitive sanctuary.

Under the current productivity-weighted model, the technical debt that Henry Cohn describes in his blog post is borne by the most vulnerable members of our community. Ph.D. students compete for postdocs on the number of their publications; postdocs compete for faculty jobs on their h-indices; early-career faculty are judged on the dollar value of their grants (funders, in turn, count our “research products” which are ingested into a database) and the quantity of their scholarly output (including the number of Ph.D. students trained). These metrics do not measure or reward scientific merit. Citations accrue to papers that are already well-cited (e.g. Merton 1968, The Matthew Effect in Science), so the h-index inherits and magnifies biases present in the field (e.g. Kelly and Jennions 2006, Caplar, Tacchella and Birrer 2017). In the meantime, the literature keeps growing: astronomy arXiv submissions rose 14% from 2024 to 2025 (Lewis, Shah and Alfred 2026) and more than half of the papers posted in 2025 are written with language-model assistance (Saad and Ting 2026). Only about one paper in 66 that uses these AI tools declares it, a gap Saad and Ting attribute to failing disclosure norms and I would also attribute to perceived stigma. The people with the strongest incentive to use these tools and hide that they have done so are the same ones under the most pressure to publish: our students and early-career scientists. Unfortunately, they pay twice. Those who are still building new skills are the ones most likely to suffer “cognitive debt” from an overreliance on an LLM (e.g. Kosmyna et al. 2025; Bastani et al. 2025) and they will also face the steepest professional consequences for failing to declare its use (e.g., forced retractions and publication bans).

Scientific and mathematical thought relies on our collective judgment being tested, then re-tested and held up continually against alternative explanations. Our workflows, increasingly built on technology, have been streamlined to enable first discoveries and to decorate them with our own names. The slower, iterative processes of refining theories and interpreting data are relegated to methods sections that a few people might read, if they appear at all in the publication. A paper is rarely dedicated to showing how a particular idea turned out to be wrong after a careful analysis. “Nobody has time for that,” we think. The struggle of doing science is the struggle of learning, and it is also where the joy of discovery lives. A cognitive sanctuary, therefore, must reward the effort and celebrate a process that includes failure. It is a space that encourages unhurried thinking with plenty of room for rabbit holes and the occasional mad hatter.

Unlike a mad hatter, agentic AI creates a chain of probabilistic decisions and steers users away from the improbable. Some of my colleagues have envisioned a future in which student learning centers on individualized, guided conversations with an “Agentic Professor” (Cornillon and Prochaska 2026). In this future, the ability to derive and manipulate equations becomes secondary, and it is assumed that the capacity to interrogate a hypothesis, a necessary Ph.D.-level skill, can be built without the practice of trying and failing and trying and failing and trying and eventually succeeding. Sam Altman envisions a personal AI team for everyone and a virtual tutor for every child (Altman, S 2024). Taken to its end, the vision leaves no Ph.D. advisor to serve as a witness to the student’s judgment, and no one to vouch that the student can be trusted to produce and judge knowledge. I reject this future. The Ph.D. student cannot supervise mathematics without being able to produce it themselves through “active shaping of experience performed in the pursuit of knowledge” (Polanyi, M. 1966). Practice builds a tacit element of understanding that my field calls physical intuition. Nothing yet shows that physical intuition can be developed through closed-loop agentic AI conversations, and recent evidence points in the opposite direction (Bastani et al. 2025). Interrogation is best practiced among other scientists who can offer surprising alternatives and explanations (sometimes incorrect!), while an AI agent’s alternatives are drawn from the distribution of what has already been written. Our system of knowledge depends upon the Ph.D. and the Ph.D. depends upon iterative judgment of people who already have it.

And the people who have that judgment already work down the hall from you. Academic departments bring together kindred spirits and support many of the structures a cognitive sanctuary needs: we host seminars, discussions, hack-a-thons, and community events designed to honor thinking minds. What I see as a department chair is that the senior faculty with the most recognition are often the ones who use these structures least. Nobody wins an award for being a department chair, as I sadly have discovered, and the work of showing up to preprint discussions carries no service credit. When you are leading national committees and international collaborations, it is easy to justify skipping colloquium or a lunch talk for the hour gained in research productivity. Faculty are expected to do too much, and being overachievers, we do even more. Held against all that external and often unpaid labor, taking time to honor a half-formed thought process looks like an unaffordable luxury. Meanwhile, Ph.D. students are craving opportunities to interact with the senior faculty who are so often absent from department life. A department that works as a cognitive sanctuary gives senior faculty the cover to decline some external work, and it counts showing up for junior colleagues as critical service.

At our Astronomy faculty retreat on September 17, we discussed a scenario modeled on what is happening in mathematics. Briefly, OpenAI posts a preprint, press release, and public decision log of 40,000 steps reporting a five-sigma detection of an evolving dark energy equation of state, inconsistent with a cosmological constant, with error bars a factor of 2.5 tighter than anything our community could achieve from the same public data, drawn from a future survey in which our department has already invested heavily. None of the faculty were especially fazed and none thought the scenario to be implausible. Although they are all using AI in their research to different degrees, the faculty broadly agreed on four ideas:

  1. Generative AI is changing who has access to discovery, and early-career scientists face the steepest barriers.
  2. The interpretation of a discovery is more valuable than the discovery itself, and how we figure something out matters more than what we figure out.
  3. Scientific writing is best when it is slow and iterative because the writing refines the science (Gopen and Swan 1990).
  4. Verifying someone else’s work is less rewarding than doing your own, so a field that is about to depend on verification more than ever must reward it deliberately.

A cognitive sanctuary protects the thought process, for everyone in the department, but above all, for Ph.D. students. The Harvard Summit on PhD Math Education in the Age of AI met on the same day as our astronomy faculty retreat, and reached many of the same conclusions about assessment and AI use; it does not address faculty incentives, which is where much of the department’s leverage lies. Below are several practical suggestions for how to build a cognitive sanctuary in your own department. They fall into three groups: Ph.D. processes, faculty reward systems, and department community.

Ph.D. Processes

  1. Develop detailed rubrics for both the dissertation and the defense that distinguish a pass from a conditional pass from a failure. One dimension, for example, is whether the student can state the competing interpretations of the result and say what measurement would distinguish them. Require committee members to score the rubric independently before any closed-door discussion. Following a successful defense, require the committee to sign a short report stating what the student demonstrated. The report can go into recommendation letters, and it gives hiring committees something other than a publication list to read. Post the rubric and the evaluation process on the department website.
  2. Design any evaluation checkpoints (e.g. qualifying exams, required committee meetings) to be conducted live, preferably in person, and unassisted.
  3. Remove any requirement that a student publish a paper to advance to candidacy. Do not push students to submit publications early, before interpretations have been discussed and worked out. Encourage faculty and Ph.D. students to submit short write-ups of ideas that did not pan out.
  4. Ask Ph.D. candidates to explain their work at the board, in group meetings and once a year to the whole department. Explaining an idea to a room of scientists helps refine it, and explaining how an idea turned out to be wrong is part of learning. Ask faculty to provide feedback on the substance of the explanation, not the delivery.
  5. Set clear boundaries on AI use in Ph.D. research to honor the learning process. These boundaries apply to advisors and external collaborators as well as to students. Agree that advisors will not send students feedback that is written with generative AI. Agree that students will not send advisors text or analysis generated by AI.
  6. Teach students to interrogate AI model outputs on well-understood problems and build these skills in coursework, and group and one-on-one meetings.

Faculty Reward Systems

  1. Define unit-level promotion and tenure criteria that consider Ph.D. student mentoring to be at least as important as a prestigious award or large grant.
  2. Publicly post faculty department service assignments, and weight Ph.D. student advising and committee work more heavily than external service (including university-level service). Provide service credits for faculty who commit to regularly show up to key department events (e.g. chalkboard talks, colloquium).
  3. Develop a teaching policy that includes credit for Ph.D. student advising and committee work. For example, a faculty member who sits on three or more Ph.D. committees in each of two consecutive years is offered a quarter of teaching relief once every 2 years.
  4. Set an expected external service load for faculty that they may cite when they decline invitations. Encourage faculty to report declined external service alongside accepted service in their annual merit reports.

Department Community

  1. Create opportunities for meaningful connection among senior faculty and students, e.g. department coffee hours, potlucks, celebrations of student milestones.
  2. Thoughtfully design colloquium and seminars with time for discussion, including dedicated time for Ph.D. students to meet with speakers. Commit to showing up yourself, even when speakers are discussing a topic outside of your area of expertise.
  3. Set a department-wide standard that no one uses AI-generated text in research publications, except for disclosed, light use for editing, grammar, or translation.
  4. Develop department-specific policies on generative AI use and have regular discussions with faculty on whether these policies are achieving their stated purpose.

None of these suggested structural fortifications presents a case against generative AI, a remarkable tool that can improve the practice of science and mathematics and reduce the burden of some administrative tasks. Cognitive sanctuaries encourage its use in the open, especially where nothing the student is supposed to be learning is at stake. The suggestions above do not address structural problems in our fields that will be amplified by AI. They will not themselves generate much-needed funding for basic science and mathematics at the national level. They cannot solve emerging issues in grade-school education that increasingly relies on AI.

Departments, and the Ph.D. students they educate, sit where all the above challenges meet. They absorb the funding cuts and receive the students that grade-school education produces. As we create microcosms of joy and learning in our departments, I hope that we can gradually steer universities toward rewarding process. Cognitive sanctuaries build the minds that make discoveries mean something, the “deployable intellectual reserve” that Amit Sahai envisions. In an optimistic future where AI-driven discoveries and innovations must be understood and tested, academia is intentionally restructured around process, collaborations that demonstrate understanding win the highest awards, and Ph.D. students find joy as their engaged human professors challenge them over and over again until what they know expands, and they can vouch for all of it.

Acknowledgements

Thank you to Tatiana Toro for the introduction to Terry, and to Terry for hosting this piece. Thank you also to Terry for pointing me to the report of the Harvard Summit, which I read only after finishing a full draft of this piece. I was genuinely heartened to find how much our two fields had converged on their own. Thank you to the faculty in the UW Department of Astronomy who inspire me with their thoughtfulness, brilliance and musical talent. Thank you to Professor Xavier Prochaska, my postdoc mentor who frequently had me go to his chalkboard with my ideas. He came to me over a year ago with a claim that, under his guidance, Claude could write a Ph.D. thesis in a month that would be better than that of an average Ph.D. student in Astronomy. I did not believe him at the time. I do now, but I have decided that the thesis is not the point of the Ph.D. The student is.

I found a strange comfort in reading philosophy this summer, particularly The View from Nowhere and Mind and Cosmos, both by Thomas Nagel, after my guitar teacher was killed in an accident on June 1st. He taught me how repetition builds skill, always turned on the metronome, and taught me intricate finger patterns. One day I would be all tangled up in a finger pattern, and the next it would fall into place. Our lessons were a microcosm of joy, a cognitive sanctuary, while I was suffering from the burnout of my first years as department chair. Our time together meant more to me than I can say, and what I learned from him will stay with me forever.

AI disclosure: I drafted every paragraph of this piece by hand, then typed and edited it. I used Claude (Fable 5.1) to check my sentences against Gopen and Swan 1990, to find and verify citations, and to argue with. A handful of sentences began as its suggested wording and were rewritten by me; the arguments are mine, though some were sharpened in the arguing. No text in this piece was generated and pasted.

References

Altman, S. 2024. “The Intelligence Age.” Blog post, September 23, 2024. https://ia.samaltman.com/

American Astronomical Society. 2026. “Author Guidelines for Use of AI and LLMs in Manuscript Preparation.” AAS Journals, posted September 9, 2026. https://journals.aas.org/author-llm-guidelines

Avila, A., et al. 2026. “A Severe Misalignment of AI in Mathematics.” Zenodo, September 11, 2026. https://doi.org/10.5281/zenodo.22737751

Bastani, H., Bastani, O., Sungu, A., Ge, H., Kabakcı, Ö., and Mariman, R. 2025. “Generative AI without guardrails can harm learning: Evidence from high school mathematics.” Proceedings of the National Academy of Sciences 122 (26): e2422633122. https://doi.org/10.1073/pnas.2422633122

Caplar, N., Tacchella, S., and Birrer, S. 2017. “Quantitative evaluation of gender bias in astronomical publications from citation counts.” Nature Astronomy 1: 0141. https://doi.org/10.1038/s41550-017-0141

Cohn, H. 2026. “The technical debt of AI-generated mathematics.” Guest post, What’s new (Terence Tao’s blog), September 15, 2026. https://terrytao.wordpress.com/2026/09/15/the-technical-debt-of-ai-generated-mathematics/

Cornillon, P., and Prochaska, J. X. 2026. “The Agentic Professor: Exploring GenAI-Supported Futures in Higher Education.” EDUCAUSE Review, September 14, 2026. https://er.educause.edu/articles/2026/9/the-agentic-professor-exploring-genai-supported-futures-in-higher-education

Gopen, G. D., and Swan, J. A. 1990. “The Science of Scientific Writing.” American Scientist 78 (6): 550–558.

Kelly, C. D., and Jennions, M. D. 2006. “The h index and career assessment by numbers.” Trends in Ecology & Evolution 21 (4): 167–170. https://doi.org/10.1016/j.tree.2006.01.005

Kosmyna, N., et al. 2025. “Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task.” arXiv:2506.08872. https://arxiv.org/abs/2506.08872

Kra, B. 2026. “Deep theorems were scarce and difficult and so became an effective mechanism to identify deep thought. AI has broken this system.” Guest post, What’s new (Terence Tao’s blog), September 13, 2026. https://terrytao.wordpress.com/2026/09/13/deep-theorems-were-scarce-and-difficult-and-so-became-an-effective-mechanism-to-identify-deep-thought-ai-has-broken-this-system/

Lewis, R., Shah, H., and Alfred, A. 2026. “Astrophysics Wrapped 2025.” arXiv:2602.12303. https://arxiv.org/abs/2602.12303

Merton, R. K. 1968. “The Matthew Effect in Science.” Science 159 (3810): 56–63. https://doi.org/10.1126/science.159.3810.56

Nagel, T. 1986. The View from Nowhere. New York: Oxford University Press.

Nagel, T. 2012. Mind and Cosmos: Why the Materialist Neo-Darwinian Conception of Nature Is Almost Certainly False. New York: Oxford University Press.

Polanyi, M. 1966. The Tacit Dimension. Garden City, NY: Doubleday. Reissued 2009, Chicago: University of Chicago Press.

Saad, S. M., and Ting, Y.-S. 2026. “More than half of recent astronomy papers are written with language-model assistance.” arXiv:2609.10664. https://arxiv.org/abs/2609.10664

Sahai, A. 2026. “We’re gonna need a lot more mathematicians.” Guest post, What’s new (Terence Tao’s blog), September 24, 2026. https://terrytao.wordpress.com/2026/09/24/were-gonna-need-a-lot-more-mathematicians/

Sanderson, G. 2026. “If math is more than proof, we need to better celebrate the rest of it.” Guest post, What’s new (Terence Tao’s blog), September 18, 2026. https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/

Summit on PhD Math Education in the Age of AI. 2026. Report of Summit on PhD Math Education in the Age of AI, September 17–18, 2026. Harvard Center of Mathematical Sciences and Applications. https://cmsa.fas.harvard.edu/media/2026/09/Summit-on-PhD-Math-Education-in-the-Age-of-AI.pdf

[syndicated profile] languagelog_feed

Posted by Mark Liberman

Myriam Toua, "Donald Trump's advisers 'urge him to declare martial law' amid latest grim poll", The Mirrorus 9/26/2026:

[emphasis added] Martial law in the US would mean the temporary replacement of government and regular law enforcement by a solely military force.

Standard civil liberties, such as freedom of speech, assembly, or protection from detention without trial, are all suspended in the case of martial law being enacted.

The president has already tried to claim greater federal control over elections, which under the Constitution are administered primarily at the state and local levels of government.

In February, he said Republicans should nationalize boating in at least 15 places.

I'm guessing that the article's author used poor-quality speech-to-text, and didn't check the results.

The obligatory screen shot:

Sep. 27th, 2026 01:26 pm

Unsportsmanlike Conduct?

[syndicated profile] languagelog_feed

Posted by Mark Liberman

The latest Tank McNamara strip imagines a conversation between referees before today's Ravens versus Cowboys game in Rio:


What Cristo Redentor is signaling, visible from near Estádio do Maracanã (though probably not from inside it):

How the comic strip ref is interpreting that gesture:

In my opinion, the orientation of the statue's hands, presumably offering an embrace, is not consistent with the gestural iconicity of its interpretation as a referee's signal for unsportsmanlike conduct. But still, it's a good joke.

See also "If the NFL goes international, what are the challenges and what cities make sense?"

Sep. 26th, 2026 03:42 pm

A value-based approach to mathematics

[syndicated profile] terrytao_feed

Posted by Terence Tao

[This is a guest post by Ivan Corwin. This blog post was initially written in a different file format and converted using AI. — T.]

Mathematics and those mathematicians who guide its development have been central to societal advancement since antiquity. AI, like many tools that were invented by mathematicians (e.g., the abacus, slide rule, calculator, and computer), holds the potential to continue to advance this positive trajectory. Indeed, in each epoch of history where a new mathematical tool becomes available, the role and responsibility of mathematicians to society has grown. At the same time, it comes with hazards and challenges that if improperly handled will impede rather than accelerate progress and impact on the world.

Most of the value that flows into the world from mathematics and the work of mathematicians will not be replaced by AI, but could be magnified. In applied fields outside of mathematics, what if AI could help bring tools, ideas and modes of thought that mathematicians continue to develop to bear on real world problems and in areas where it was not anticipated. This could lead to new interactions between those fields and mathematicians and help draw mathematics closer to its immense applications. In mathematical research, AI systems have shown promise in connecting and sharing ideas between fields and in using those connections to solve some concretely posed problems (e.g. the unit distance conjecture). It would be a great outcome if AI helps to reduce the siloing of mathematical inquiry and knowledge and allow mathematicians to ask and pursue bigger questions and grapple with more complex systems.

Improper usage of AI offloads thinking, understanding and learning, thus mortgaging future mathematical development. Students and researchers may not experience the growth that comes from failing and struggling with a problem, and may become risk-averse and engage more with the AI than each other. We have already seen a burst in the number of arXiv postings and problems being solved by AI. If AI is used to indiscriminately solve open problems without mathematicians being deeply involved, it may not produce much societal value from the process or even the product. AI companies have built their tools using the freely shared work and expertise of generations of mathematicians, yet seem to have very little concern for this possibility. They are concerned with their valuation and do so at the cost of trampling on the very community norms that led to the free flow of ideas on which they are built.

I advocate for a value-based approach to navigating these waters. Moreover, based on this approach, the mathematical community should clearly articulate and communicate its value to society and demonstrate how that value will only increase with the mass adoption of AI. In my framing, there are four loci where the work of mathematicians produces value. This includes the value from cutting edge research, but is also grounded in the broader influence of mathematical thinking on society as well as the value of training and mentoring students at all levels in the traditions and modes of thought of mathematics.

Society. History is replete with examples of specific mathematical ideas and methods that have driven progress in society and revolutionized science and knowledge. I am a probabilist and though probability theory is a late-comer into the canon of mathematics (early 20th century), it has been a clear success story in terms of impact. The central limit theorem and extreme value distributions figure centrally in classical statistics. Stochastic processes like Brownian motion fuel the analysis behind the world of finance, and model real diffusive systems across science. Random matrices and spin-glasses provide a starting point to understand how long to train LLMs and which algorithms work best. Understanding of why such probabilistic AI systems work and how and why they fail will require study of novel probabilistic models as well as new vision.

In all of these examples, problem solving came at the last stage of maturation of a topic, and much of the creativity and innovation came earlier in identifying new areas of interest, developing intuition and predictions, testing that and then formulating precise questions. In this way, though it is often not presented this way, mathematics is quite similar to other sciences.

It is not just mathematical models and results that impact society, but rather the very essence of mathematics — its modes of thought and language slowly seep deep into the way humanity approaches the world. Toddlers learn to count and young students learn number systems, both basic forms of abstraction that map different systems onto the same internal understanding. Debaters, writers, lawyers and all of us learn to craft and structure arguments based on ideas of rigor and logic. Probabilistic ideas like conditioning, expected value, sampling and independence have become a powerful and widely spoken language to deal with uncertainty and chance.

Mathematics is not just of practical importance. Mathematicians ensure that it is an ever flowing source of creativity, wonder, beauty and playful joy. Children exercise their minds musing over puzzles, patterns and games that are all inherently mathematical. Fractals, chaos and the process of emergent behavior and phase transitions captures the imagination of the many beyond the world of mathematics.

The advances, applications and implications of mathematics seldom come in the form of a concrete problem to solve or conjecture to resolve. Rather, they represent the true form of mathematics as it has been for thousands of years. Math is the pursuit of new knowledge and understanding, both in the formal systems in which it is constructed but also in contact with the real world which it serves. That process is non-linear and unpredictable. Sometimes it is driven by societal need, and sometimes other factors such as curiosity, beauty and structure drive mathematical advances forward long before an application becomes apparent. For example, probability theory is built on measure theory, quantum mechanics on Hilbert space theory, and cryptography on number theory. The theory, developed with relatively little concern for its application, ended up being the key to advance more practical and applied understanding.

Students. Here I focus on students who, at the college or graduate level have the opportunity to receive rigorous mathematical training from mathematicians. Beyond the specific topics that a student learns and their importance in other fields (e.g. an engineer must learn calculus and linear algebra to understand a mechanical system), mathematical course-work and training teaches students many other lessons. These include how to learn and work within a technical field, how to operate in an abstract or logical system, how to grapple with complex systems, how to work in an open-ended area where it is not always clear what questions should be asked or answers given, how to communicate complex ideas and develop precise language as well as illustrative language to share understanding, and how to fail over and over again while learning something important from that process.

Mathematical training and education is a vehicle for these deeper lessons and for the maturity that comes with them. When math majors and PhDs are hired, it is in part for what they know, but also in large part for their training and preparedness to take on new and increasingly complex and daunting projects at large scale. This, along with the abstract and technical capacity gained through learning mathematics, explains why math students who do not pursue academia so often land great jobs and are often behind transformative innovation.

Community. Here I refer to the community of mathematicians (though much could also be said of the role of mathematicians within other communities including key roles they play in their colleges and universities), often divided into smaller subfields. Perhaps due to a lack of big money or the general nature of many mathematicians, the communities in which mathematicians operate tend to be supportive, collaborative and hold themselves to high ethical standards. The currency within many of these communities tends to be less about results (i.e., problem solving) and more about understanding. When colleagues meet, they often share the questions they are thinking about, the ideas behind their recent progress and new or unexpected phenomena they have discovered. Those who broaden or create new fields through introducing techniques, objects of study or questions are often held in higher regard than those who prove definitive results that end discussion. Slow and deliberate math is valued, in part because of the quality it brings but also because it allows the community to digest and share in the understanding, and for students to become a part of the process. Students are protected and valued, whether or not they plan to stay in academia. Unlike other fields of science and perhaps due to the limited need for resources, mathematical communities tend to avoid hegemonies though they do develop ways to promote their members, raise up their students and support new directions of inquiry. Perhaps this is also in recognition of the fact that new ideas and understanding often arise in unpredictable ways; big ideas do not materialize in a vacuum but rather nucleate on the collective efforts of many smaller results or calculations.

Individuals. Mathematicians derive considerable personal joy and fulfillment from their own process and work, and this explains in large part why people enter mathematics and eventually devote their lives to it. Math has many different facets and appeals to different types of thinkers. It can look like a puzzle or game, a challenge or competition; it can be abstract, purely logical and elegant or beautiful; it can be informative and applicable, connected to other fields and the real world. Some find gravity and gratification in being part of the long conversation (in Barry Mazur’s words) which has been unfolding over thousands of years and will continue far beyond today. Many mathematicians are attracted to the focus on deep and careful thinking, and the often shared notion that each mathematician should understand the basis of what they do down to the very last detail. In that spirit, mathematics is a domain in which one must not just understand why something works, but also understand the boundary of why — how it can be broken and why other approaches fail. Finally, each individual mathematician may derive personal value from being part of a community, from teaching and training students and from the impact of mathematics on society.

Call to action. The mathematics community should understand, articulate and communicate its value to the broader society and to people who control funding for mathematics. I have provided some of my thoughts on this above, but everyone will have their own version. As a community, we should ground our discussions and decisions about mentoring and resource/reward allocation schemes in pragmatic terms based on the long-term value they produce. These discussions should include younger members such as undergraduate and graduate students. In the past they have been generally sheltered from such considerations that were left to those involved in stewardship of the professor; but this moment calls for their input and the future trajectory of mathematics relies on their decisions.

We should develop new infrastructure focused on understanding, articulating and communicating the value of mathematics. I believe mathematics will be well-served by creating venues (e.g. journals and conferences) for mathematicians to articulate to the broader public the value of their mathematics and the broader value of their field. This could be done in conjunction with experts who use mathematical ideas in other domains of science and beyond, or with involvement of historians who can help recreate the problems that drove the development of new math in generations past. Other efforts like the new journals of Essential Number Theory (and soon also Essential Analysis), Mathematical Discourse, and Galileo (and of course Quanta) should be supported and people who contribute meaningfully to broader understanding should be given more credit and respect by the community. Research institutes (like SLMath, for which I co-chair the scientific advisory committee) can play a key role here in allocating resources in support of the value of mathematics.

We must also recenter our focus on training and all of the positive outcomes from the process of doing mathematics. Teaching, at all levels, should be seen as an opportunity to bring great value to students, not as a matter of service to the university. Great teaching and thoughtful development of new courses that help share mathematics more broadly should be encouraged and rewarded.

Conclusion. I have struggled with this blog post for the last two weeks, writing and rewriting it as my thinking has evolved through discussions with family, colleagues, students and self-reflection. Incidentally, this period overlapped with the Jewish period between Rosh Hashanah and Yom Kippur which is called the ten days of T’shuvah. This is a period of deep personal and communal reflection and the word T’shuvah literally means “return” or “turning back”. While I do not think we should turn away from AI and the potential it brings, I do believe that we need to return to and revisit the value of mathematics and ensure that value is preserved and enhanced going forward.

I could have asked AI to write this blog or even help write it and edit it, but then I would not have taken the time to formulate and solidify my thoughts, to share, discuss and then reformulate and rewrite. I would not have thought through the arguments that I ultimately abandoned and did not write here, and I would not have seen this as a call to action for myself. I would have missed out on the learning opportunities from my conversations and email correspondences. The value of math, like so many other forms of knowledge, also comes from the process, not just the product. AI should be used in so far as it enhances the value derived from both.

Sep. 26th, 2026 02:23 pm

Osaka week of 2026-09-26

mindstalk: (Default)
[personal profile] mindstalk

I'm behind on Incheon stuff, but let's skip ahead. I'm back in Japan, as of last Sunday. The online Visit Japan Web didn't give me a QR code, or I didn't use it right, and I had to fill paper forms at Customs again, but otherwise no incident, not even any questions. Well, from Japan. When I checked in for my flight, the Peach Air lady (wearing a Korea Air lanyard) asked how long I was staying and if I was going back to the US, which, why does she want to know???

( Read more... )

[syndicated profile] terrytao_feed

Posted by Terence Tao

Just a quick post to note that the International Council for Industrial and Applied Mathematics (ICIAM) has released a statement on mathematics and artificial intelligence (as well as a longer version), which makes many points echoing several already made recently here and elsewhere.

The longer statement also makes reference to a recent statement by the London Mathematical Society on recent developments around the Navier-Stokes equation. Perhaps the comments to this post can also be used to report other institutional statements on these topics.

[syndicated profile] terrytao_feed

Posted by Terence Tao

[This is a guest post by Bryna Kra and Rachel Ward. -T.]

The Summit on PhD Math Education in the Age of AI was held September 17–18, 2026, jointly hosted by the Harvard Department of Mathematics and the Center of Mathematical Sciences and Applications (CMSA). It brought together twenty-four senior mathematicians from across the discipline, along with several current PhD students and postdocs, to examine which aspects of the mathematics PhD need rethinking as AI reshapes thinking-based work.

This document is a first draft of our recommendations; we expect to refine our recommendations over the coming months according to changing landscapes and your feedback.  We encourage feedback in the form of comments on this post, or by sending email to education-summit@cmsa.fas.harvard.edu.

To graduate students and early-career mathematicians: We know this uncertainty is weighing heavily on you as you plan your next steps. Your concerns matter, and we want to hear them. We are gathering information, keeping communication open, and working to support your opportunities and your future in mathematics.

Page generated Oct. 1st, 2026 08:24 pm
Powered by Dreamwidth Studios