And who says AI doesn't create open problems. This unlocks thousands of high quality open problems.

Turns out the 'opne' in open AI wasn't referring to open source, but open problems!

contubernio 20 hours ago | parent | next [-]

It's not AI that has created those open problems. It has simply shown that some conjecture is false and that leads naturally to problems in a sense already posed.

A very different thing is proposing a framework and in it identifying interesting questions. So far AI has only worked within existing frameworks addressing problems already posed. That may change in the future, but it would be a genuine and qualitative evolution.

▲

vaylian 15 hours ago | parent | prev | next [-]

How about AI solves climate change next? That's an important open problem.

▲

Cub3 15 minutes ago | parent | next [-]

You forgot to add "make no mistakes"

▲

jatora 14 hours ago | parent | prev | next [-]

Climate change has many clean solutions lol. Just none that anyone gives a fuck about enacting. We'll deal with it post singularity (if we even care then)

	▲	vaylian 8 hours ago \| parent [-]
		Then the open question simply becomes how to make humans give a fuck.

▲

rocqua 15 hours ago | parent | prev | next [-]

It's not the type of problem where a useful solution can be verified in Lean. Which makes LLMs a lot less good at solving that type of problem.

▲

theresq 13 hours ago | parent | prev [-]

One possible path is human extinction. I guess with current alignment problems, it may be the chosen path. :|

▲

sylware 16 hours ago | parent | prev [-]

microsoft "open"AI is... open source?

really...

You meant deepseek?