News for hackers. Stuff that matters.
Re:Erdos 281 solved with ChatGPT 5.2 Pro by cubefox on Monday January 19, 2026 @04:04AM (#46676588)
Mathematical theorems at least have objectively lower information content, because they merely rule out the impossible, while scientific knowledge also rules out the possible but non-actual.
Re:Erdos 281 solved with ChatGPT 5.2 Pro by antonvs on Tuesday January 20, 2026 @02:29AM (#46688940)
You have it backwards. Mathematical theorems have objectively higher information content, because they rule out the impossible and model possibilities in all possible worlds that satisfy their preconditions. Scientific knowledge can never do more than inductive projections from observations in the single world we have physical access to.

The only thing that saves science from being nothing more than “huh, will you look at that,” is when it can make use of a mathematical model to provide insight into relationships between phenomena.