News for hackers. Stuff that matters.
Re:AI just proved Erdos Problem #124 by magicalist on Monday December 01, 2025 @08:41AM (#46107285)
Is your argument that Terence Tao says it was a consequence from a known result and he categorizes it as low hanging fruit, but to you it feels like one of those things that's only obvious in retrospect after it's explained to you, and without "evidence" of Tao's claim, you're going to go with your vibes?

What exactly would constitute evidence?

Re:AI just proved Erdos Problem #124 by adastra22 on Monday December 01, 2025 @10:43AM (#46108723)
Consequence from a known result describes literally every proof.
Re:AI just proved Erdos Problem #124 by menaerus on Monday December 01, 2025 @08:44AM (#46107307)
Known result from where? I failed to see the reference where it was proven before. Maybe I missed it. Do you have a reference?