An OpenAI model has disproved a central conjecture in discrete geometry

The back and forth in this discussion reveals to me we are sorting through a kind of philosophical debate about intelligence. That alone tells me LLMs are doing something novel.

Absolutely no proof that any LLM actually found the result, and just a mention of an "internal model". Served to you by one of the biggest liars in the world.

Why would anyone believe this to be true even for a split second?

The real test would be if an LLM makes an important conjecture.

I wonder if it has anything to do with the fact that AI is a grid of grid-calculating grids. It seems like it would be especially well suited to finding solutions about grids. That is until you consider the fact that even 1 trillion billion grids is still not anywhere close to an infinite grid. So, probably slop.

Back when “term rewriting” was “AI”, multiple math tools were released that took known math facts and did tricks like uncovering new integrals - apply the pattern in some depth in a tree, see what pops out.

What was discovered were numerous mistakes in the published literature on the subject. “New math! AI!” No, just mechanical application of rules, human mistakes.

There were things that were theorized, but couldn’t be exhaustively checked until computers were bigger.

Once again, a tool is applied, it has the AI label - its progress! But it isn’t something new. It’s just an LLM.

There’s a consistent under appreciation of AI (and math, honestly), but watching soulless AI mongers declare that their toy has created the new is something of a new low; uninspired, failed creatives, without rhyme or context; this is a bigger version of declaring that your spell checker has created new words.

The result is more impressive than what was done with tables of integrals and SAINT in 1961, sure.

Apparently if you add a “temperature” knob to a text predictor, otherwise sane individuals piss themselves and call it new.

Then again I thought NFTs, crypto, and the Metaverse were stupid, so what do I know.

neato. can we do any thing with this new found knowledge or is this mathematical sports?

can we please put these ground breaking AIs to work on actual problems humans have?

[flagged]

[dead]

[dead]

[flagged]

[flagged]

[dead]

[flagged]

[flagged]

ok. so what are the implications of for math

End times are approaching

Ask an LLM to invent a new word and post it here. You will see that it simply combines words already in the training data.

I dunno, I'm skeptical without proof. I've had the MAX+ plan for a while and I'm sorry, the quality between GPT vs Claude is night and day difference. Claude understands. GPT stumbles over every request I give it.