Elektrine lite

← Feed

@tao@mathstodon.xyz

Post #2920373

2026-05-10 18:11 UTC

I can return to the culinary analogy I have been using recently to illustrate this point. We chew food that is hard to swallow, in order to make it easier to digest. And we have cooking techniques to make tough foods more tender, to reduce the amount of chewing needed. However, if one decided to automate and optimize digestion by minimizing the chewing needed, the logical solution would be to put all of our meals into a blender and serve them through feeding tubes. This technically solves the problem of indigestion, but is not a popular option (save for people too ill to chew food properly). There are other valuable benefits of eating, such as the sensory enjoyment of the experience or the ability to create a social event around a meal, which go beyond the mere ingestion of nutrients, and which would be negatively impacted by such an overemphasis on maximizing digestibility. This is not to say that blenders and similar devices are useless; but their use cases are situational. In a similar vein, using AI tools to make mathematical papers "as easy to read" as possible are not necessarily desirable; they can be useful in identifying particular pockets of "artificial difficulty" in a draft paper that would benefit from a rewrite (similar to how an overly tough piece of meat could be tenderized before serving), but using them to smooth out "natural difficulties" in a text that actually are of benefit for the reader to "chew over" can end up being counterproductive to the actual goal of advancing the collective understanding of the result by the community. (2/3)

Replies (2)

  • @tao@mathstodon.xyz 2026-05-10 18:11

    Again, if one adopts the mindset that the solution to any issue with a proposed optimization is to simply perform more optimization, one could propose to just modify the rubric one is directing an AI tool to optimize to incorporate any such objection raised, iterating as needed. However, it is telling that we choose not to do this with (for instance) food preparation, with meals prepared by expert human chefs being valued at a premium above machine-prepared food, even when the latter is safe to eat, well-presented, easy to digest, convenient, and appealingly flavored. This is not to say that such processed foods do not have utility; but they are not seriously proposed as a complete replacement for the human art of cooking. I believe the situation with mathematics and AI-generated proofs will be analogous. (3/3)

    Open ##2920374

  • @jesusmargar@mastodon.social 2026-05-10 20:12

    @tao@mathstodon.xyz moreover, and to continue the culinary metaphor, an important consequence of the classical eating experience for, say, a chef, is to reflect while eating it which other different, new and innovative dishes could be created. Good luck getting this from the blended food experience.

    Open ##2920383