points by casey2 3 days ago | 0 comments
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!
[–] vaylian 2 days ago
How about AI solves climate change next? That's an important open problem.
[–] jatora 2 days ago
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 2 days ago
Then the open question simply becomes how to make humans give a fuck.
[–] rocqua 2 days ago
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 2 days ago
One possible path is human extinction. I guess with current alignment problems, it may be the chosen path. :|
[–] Cub3 2 days ago
You forgot to add "make no mistakes"
[–] sylware 2 days ago
microsoft "open"AI is... open source?
really...
You meant deepseek?
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.