News for hackers. Stuff that matters.
Re:Responsible Release of AI-Generated Mathematics by fasterik on Friday October 02, 2026 @08:24PM (#49940227)
I provided an argument: mathematics is a discipline where we invent axioms and try to find interesting consequences of those axioms. By its nature, there are an infinite number of possible problems. Even if there is a finite number of problems interesting to humans (which could itself be questioned), we don't have any reason to think that we are anywhere close to running out of them. Saying there is "no evidence" for my view is a non sequitur; the burden of proof would be to establish that there's a finite number of interesting problems and that we've, say, exhausted 80% of them.

I don't think I'm the one adding noise here. You've done nothing but put words in my mouth, attack me personally, and use argument from authority instead of responding to the substance of the debate.

Re:Responsible Release of AI-Generated Mathematics by GPerson on Friday October 02, 2026 @08:46PM (#49940346)
You’re free to generate an arbitrary set of axioms and study the consequences. Zero people will care. People care about doing mathematics in a community, working toward recognizable goals.

The infinitude of mathematics doesn’t matter. What matters if mathematics doesn’t change radically is the size of the database of AI results relative to the potential output of a human lifetime.

You don’t actually understand what argument from authority is. There’s an actual reason the “authority” here is being appealed to which is not just their authority. You don’t respect people who know more than you, but you should still read Terence Tao’s mathstodon posts on stripmining mathematics.