undefined | Better HN

0 pointsliteralAardvark2mo ago0 comments

They can't do math?

ChatGPT 5.2 has recently been churning through unsolved Erdös problems.

I think right now one is partially validated by a pro and the other one I know of is "ai-solved" but not verified. As in: we're the ones who can't quite keep up.

https://arxiv.org/abs/2601.07421

And the only reason they can't count Rs is that we don't show them Rs due to a performance optimization.

0 comments

ironbound2mo ago

You can feed it the Hodge Conjecture for all I care, the current algorithms are a joke and without real breakthroughs your just generating left to right text with billions in hardware.

literalAardvarkOP2mo ago

Guess frontier math and programming are just left to right text then.

j / k navigate · click thread line to collapse