What else should they do? See these models get smarter and smarter, somewhat-solve things but only to the tune of 90% what mathematicians (or experts in any other field) would deem acceptable, and then gate keep the findings for the next few years going through peer review and paywalled journals? I for one welcome the flood, bring on more in every possible industry and see where all that progress lands up. Sure it will upset a lot. A lot of things also upset the luddites.

▲

XenophileJKO 8 hours ago | parent | next [-]

Exactly.. this is an opportunity for people to pick up where the model left off and run with it. Like you don't have to, nobody is forcing you to.

However, there are always smarter, hungrier people out there and this is a buffet.

Some output is going to be wrong or incomplete. I am willing to bet even those have nuggets that can be used elsewhere.

▲

fn-mote 7 hours ago | parent [-]

> this is an opportunity for people to pick up where the model left off and run with it

Like people enjoy racing in front of a stopped train? As soon as they turn on the engine again, they will run you over. The questions that remain will be only the low value ones, not worth the effort to vacuum up.

So no, the smarter, hungrier people are not the ones that are going to swoop in. It will be the most desperate.

> Some output is going to be wrong or incomplete

This is a very human take on the situation. No, the Lean proof is not going to be wrong, and it will be incomplete only in the sense that OpenAI didn’t try to push the results further.

	▲	7 hours ago \| parent [-]
		[deleted]

▲

bamboozled 8 hours ago | parent | prev [-]

Are you going to be doing the work to verify the results ? Will you just expecting other people to wade through the flood and reap the benefits later on?

▲

fbrncci 8 hours ago | parent [-]

Nobody is forced to verify the results. I am honestly not expecting anything other than AI to get smarter and smarter and people who are motivated and interested enough to pick up after it; and potentially reap all the long term benefits ahead of those who aren’t (seeing this happening with software development in my own field). But in the end; if you don’t like it, you’re not forced to do anything.

	▲	bamboozled 4 hours ago \| parent [-]
		Wondering if you read the article?