111–120 of 310 posts
> no prior solutions found. This is no longer true, a prior solution has just been found[1], so the LLM proof has been moved to the Section 2 of Terence Tao's wiki[2]. [1] - https://www.erdosproblems.com/forum/thread/281#post-3325 [2] - https://github.com/teorth/erdosproblems/wiki/AI-contribution...
[flagged]
> no prior solutions found. This is no longer true, a prior solution has just been found[1], so the LLM proof has been moved to the Section 2 of Terence Tao's wiki[2]. [1] - https://www.erdosproblems.com/forum/thread/281#post-3325 [2] - https://github.com/teorth/erdosproblems/wiki/AI-contribution...
[flagged]
One wonders if some professional mathematicians are instead choosing to publish LLM proofs without attribution for career purposes.
Earlier quoted context omitted.
yea, i was suspicious by the second paragraph but was sure once i got to "that’s not engineering, it’s cosplay"
It's also the wording. The weird phrases "Glorified Google search with worse footnotes" what on earth does that mean? AI has a distinct feel to it
For better or worse, I think we might have to settle on “human-written until proven otherwise”, if we don’t want to throw “assume positive intent” out the window entirely on this site.
Earlier quoted context omitted.
I suspect this is AI generated, but it’s quite high quality, and doesn’t have any of the telltale signs that most AI generated content does. How did you generate this? It’s great.
Their comments are full of "it's not x, it's y" over and over. Short pithy sentences. I'm quite confident it's AI written, maybe with a more detailed prompt than the average I guess this is the end of the human internet
> the best way to find a previous proof of a seemingly open problem on the internet is not to ask for it; it's to post a new proof
> no prior solutions found. This is no longer true, a prior solution has just been found[1], so the LLM proof has been moved to the Section 2 of Terence Tao's wiki[2]. [1] - https://www.erdosproblems.com/forum/thread/281#post-3325 [2] - https://github.com/teorth/erdosproblems/wiki/AI-contribution...
A lot of pure mathematics seems to consist in solving neat logic puzzles without any intrinsic importance. Recreational puzzles for very intelligent people. Or LLMs.
Earlier quoted context omitted.
I think that was Tao's point, that the new proof was not just read out of the training set.
The model has multiple layers of mechanisms to prevent carbon copy output of the training data.
Earlier quoted context omitted.
yea, i was suspicious by the second paragraph but was sure once i got to "that’s not engineering, it’s cosplay"
It's also the wording. The weird phrases "Glorified Google search with worse footnotes" what on earth does that mean? AI has a distinct feel to it
Earlier quoted context omitted.
Your intuition on AI is out of date by about 6 months. Those telltale signs no longer exist. It wasn't AI generated. But if it was, there is currently no way for anyone to tell the difference.
> It wasn't AI generated. You're lying: https://www.pangram.com/history/94678f26-4898-496f-9559-8c4c... Not that I needed pangram to tell me that, it's obvious slop.