GPerson

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.

Kevin, once a few years or a decade or two from now the world has the ultra massive Lean database which comprises completions of all mathematical theories, and combinations of these, and all the known modes of generalization of these, why will the world fund mathematicians? Genuine question. I’d like to hear your view since you’re one of the main reasons this is going to happen, and it seems like an obvious existential threat to this whole activity.

Buzzard is biased by being the main promoter of lean. His characterization of other mathematicians as being in an grieving process is disrespectful. He’s also not a therapist and shouldn’t present himself as such.

Less wrongers have this grating way of using pseudoscientific language that just comes across as extremely pretentious.

First of all if you think you had discovered something in a pre-AI world, there’s a 99% chance it’s some triviality or wrong. Mathematics is extremely rich and people spend their entire lives thinking about it. Undergrads can’t comprehend what the grad students are studying. Grad students can’t comprehend what the post docs are doing. And it just goes and goes.

In a post-AI world there’s a mountain of high quality work being published by people who actually know what’s going on. You can probably make a discovery with chatgpt right now, but why should someone who’s got a ton of things to do already read your article? You’re free to put it online, but why should you be free to force someone to read something?

Second of all, it’s extremely aggravating to read all these software people criticizing mathematicians, who almost universally have low salaries and who chose to go into this profession because they care about contributing to human knowledge.

I’m sorry you feel like such a victim but it’s a topic in which having an awareness of how the mathematics culture works matters, which honestly should go without saying. You’re pitting yourself, someone with no understanding of the system, in direct contrast to someone who understands the system very well. You have no evidence for your view either. You’re just contributing noise.

To all ordinary people, OpenAI sought these people out and asked for their opinions on how to stop harming the math community.

Ordinary people just run with whatever two minute understanding propaganda delivers to them and then settle into hard opinions.

Right we agree.

It’s not surprising the AI bros on this website don’t get the bit here. It’s a gambit against people who want to create AI that has consciousness and against personhood for AI activists. The logic is, if you do this, the AI will be tortured. Many philosophers have argued that when AI is given rates humanity will inevitably end. These guys don’t actually believe the AI is conscious.

They’re doing it not because they believe the AI is conscious but because personhood for AI activists do.

It’s a gambit against people who seek to give AI consciousness and personhood, which is a net positive.

The most powerful basilisk is jroko’s anyway.

It’s actually good because it makes people like you who seek to destroy humanity second guess your choices.

How did you go from appreciation for human achievement to a field full of opportunists and misanthropes?

If you weren’t a complete idiot you’d realize you’re just begging for the end of mathematical understanding and progress.

It was a lot more expensive than this… Just look up the estimates before making stuff up.

The paper is secondary to developing a general understanding of new ideas. The AI is not going to do that. All of the AI bros in this thread are going to be addicted to super AI Netflix and the math community will be dead.

The world != OpenAI. Please at least try to engage with the topic before weighing in.

If you’re not a mathematician why are you chiming in to contradict one of the best mathematicians in the world? I don’t understand the lack of humility on this website.

It’s so strange to see bootlickers like you at every turn cheering on the death of humanity. You’re one of the worst people on this website.

You have no clue what you’re talking about yet you’re making some big claims. Amazing.

This is an extremely privileged take. Most of the world cannot spend thousands of dollars a year on this.

It seems you can barely engage with the topic and come to a strong conclusion which is entirely delusional. You’re truly a specimen.

I doubt it. You have to make these 1000 times cheaper at the same level as the internal model at OpenAI for random (wealthy) people to start knocking down major conjectures.

Presumably this refers to the cognitive surrender most of HN is celebrating the arrival of?

Have fun defending yourself in court with your AI companion. You’re living in a fantasy.

The other side of this is that there actually are utilitarian arguments for human involvement. Unfortunately SE is dominated by misanthropic types who dismiss these out of hand.

Next time you make any argument to protect something you find meaningful and important, and something you believe you add value to, just remember it’s pure gate keeping and everyone can see it.

You’re not engaging with anything in reality. Mathematicians are adopting AI. Go read Terence Tao’s blog posts. People like you just invent a fantasy to get angry at.

Is “gate keeping” a new toy for ai bros or something? Peer review has a purpose… You guys should try to understand systems before you celebrate their death.