[kypro]

This isn't how it will play out though. At first chess AIs got enough to beat unskilled players. They they were good enough to beat intermediate players. Then they challenged the grandmasters. Today no human, no matter how long they practise or how hard they train will ever get close to beating an AI at chess.

Your assumption that this raises the bar for human 3D artists is correct today, but it won't be long before human 3D artists are seen as much slower and less competent than AI artists, and there will be no going back.

[geraldwhen]

This will not be true if ai produced works can’t be copyrighted.

[tekknik]

Copyrights are one of the foundations of business. As much as the HN crowd hates them, they aren’t going anywhere. You’re literally wasting electrons.

[wizzwizz4]

Chess is fundamentally a different kind of problem. You can prove things about chess in the general case, but it's mathematically impossible to prove things about computer programs in the general case.

[ux-app]

>Chess is fundamentally a different kind of problem.

irrelevant.

my whole world view changed when I read https://arxiv.org/pdf/2303.12712.pdf

now pair that with a larger memory, backtracking/revising and on-the-fly weight adjustment (aka, real-time "learning") and I think it might be game over.

add goals and motivations and maybe a vision system? game over for meat bags.

These advances are not only possible, they're inevitable. It's just too tantalising to leave alone.

[DrewADesign]

There's no mathematical proof for the correctness of graphic design, either, but that won't stop cheap AI-generated garbage from taking over the role of making commodity images and putting a lot of people out of work.

[creativenolo]

I'm curious about graphic design and if AI can do it to a passable standard. Generating fiction photographs, paintings, illustrations seems more flexible than constrained and balanced proper graphic design. I am sure AI can mash together templates and icons. Less sure about producing a solution to a client brief with a timely and timeless design.

[DrewADesign]

I do freelance Graphic design. The whole conceptual thinking/visual communication aspect of it seems unlikely to be touched by these tools any time soon... But the commodity work that puts food on a lot of people's tables is likely toast. It's not like it will replace graphic designers, it just takes over the everyday jobs that drive most of the demand for their services and we all know what a drastically reduced demand does to a market.

[riku_iki]

> but it's mathematically impossible to prove things about computer programs in the general case.

there is such thing as verifiable software.

[sebzim4500]

True, but you are verifying that the code meets some formal criteria, not that it actually does what you want.

[riku_iki]

formal criteria defines what you want.

[wizzwizz4]

Pray, Mr. Babbage, if you verify the wrong properties, will the right answer come out?

Only some software is possible to verify, and there are many properties that it's impossible to verify because the software isn't the only thing that exists in the universe. No amount of mathematical proof on an ideal RAM machine will anticipate rowhammer.

And: just because something's theoretically possible, that doesn't mean an AI system would automatically pick up the ability to do it. Verifiable software in practice is still way behind what we currently know to be possible.

[riku_iki]

> No amount of mathematical proof on an ideal RAM machine will anticipate rowhammer.

you can infer algorithm failure rate depending on other input factors as an input. Say you found algorithm will fails every 10e15 years of continues run, you can accept such algorithm as reliable.