@tao Also, with log tables, there is the question of what AI-based or AI-necessited things should be added to projects like the Digital Library of Mathematical Functions (DLMF). This is an exact question that Charles Clark asked me last week. The DLMF is the 'modern' version (though getting older) of Abramowitz and Stegun, and one change is that the latter has things like tables of values of evaluated special functions but the former does not (deemed as old-fashioned).