News for hackers. Stuff that matters.
Re:“Math 2.0” will need to value mathematical progress more ... by stared on Thursday October 08, 2026 @08:30AM (#50005043)
Pure mathematics, in my view, is not science, not craft - it is art.

AI, however powerful, is a tool, only as important as the amount it helps mathematicians. Creating mathematics without human understanding is as sound as mass producing copies of Michelangelo David.

“Mathematics, rightly viewed, possesses not only truth, but supreme beauty — a beauty cold and austere, like that of sculpture [...] yet sublimely pure, and capable of a stern perfection such as only the greatest art can show.” - Bertrand Russell, "From The Study of Mathematics" (1902)

“A mathematician, like a painter or a poet, is a maker of patterns. [...] The mathematician's patterns, like the painter's or the poet's, must be beautiful; the ideas, like the colours or the words, must fit together in a harmonious way. Beauty is the first test: there is no permanent place in the world for ugly mathematics.” - G. H. Hardy, "A Mathematician's Apology" (1940)

Re:“Math 2.0” will need to value mathematical progress more ... by dyauspitr on Thursday October 08, 2026 @12:18PM (#50007739)
> Creating mathematics without human understanding is as sound as mass producing copies of Michelangelo David.

In this case, it’s like creating the first instance of Michelangelo’s David.