This is allegedly it: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c
Here’s a github tracking AI contributions to Erdos problems: https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erdős-problems
“The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,” Lichtman says. But now he and Tao have shortened the proof so that it better distills the LLM’s key insight.
This tracks with what I have seen regarding AI. It looks superficially awesome, but when you start to analyze its output it has a lot of holes that require someone trained in the art to fix. You know, someone with years of experience, and who got that experience without the benefit of AI shortcuts.
What happens 10 or 15 years from now, when all the current crop of experts are retired and all the experts who could have curated the AI output had to spend all that time as baristas instead because the AI took all of their entry level jobs?
Lol, capitalism & CEO rule 1: only think about the next quarter profits, fuck the future, I’ve already made my money
Why didn’t they just ask ChatGPT to summarize it for them? /s
If you have your steak a little burnt already, then you can’t fix that with more heat.
That’s when you ask chatgpt how to un-burn the steak! It probably involves glue, or perhaps sunblock.
“A little bleach will take that char right off — and gives the steak a bold, vibrant flavor as well!”
I see you too have eaten my father in law’s steaks.
t when you start to analyze its output it has a lot of holes that require someone trained in the art to fix.
I don’t disagree, but that’s not really what the article is saying.
The article is saying: GPT found a novel approach resulting in a solution where none existed before, presented it poorly - though still technically correctly - and they polished the output to make it more human friendly.
I have used the new LLMs for various things over the past few months, the one constant: for anything longer than a paragraph of output, you can get better results by reading the output (yourself) and feeding back “notes” for things to improve.
What happens 10 or 15 years from now, when all the current crop of experts are retired and all the experts who could have curated the AI output had to spend all that time as baristas instead because the AI took all of their entry level jobs?
Presumably, that next crop of experts will be curating AI output for 10-15 years before the current crop expires. Hopefully they learn what they’re doing in that time.
This is allegedly it: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c
More hype lies




