Even experts are surprised by AI’s latest ‘vibe-mathing’ advance
2026-04-27 10:41 UTC
Replies (5)
-
@dhork@lemmy.world 2026-04-27 10:56
“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 it’s 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?
-
@Yaky@slrpnk.net 2026-04-27 11:34
This reminds me of a story my graph theory professor told me (long before LLMs). One of their grad students discovered that a subset of graphs that are of type A and B at once has fantastic properties, such as fast searching, and a few others, useful in communication networks etc. Excited about their potential thesis, student asked the professor to take a look. After calculating which graphs actually are types A and B at the same time, professor found that the intersection of such graph types is a null set. So the theoretically nice graphs the student “discovered” simply do not exist.
-
@ozoned@piefed.social 2026-04-27 12:39
Easy to be surprised when you don't know how the magic box works. Basically magic.
-
@General_Effort@lemmy.world 2026-04-27 21:53
This is allegedly it: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c
-
@sturmblast@lemmy.world 2026-04-28 14:51
More hype lies