Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.physics.relativity > #670994 > unrolled thread

ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed

Back to article view | Back to sci.physics.relativity

Contents

  ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed The Starmaker <starmaker@ix.netcom.com> - 2026-05-30 10:35 -0700
    Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-30 10:36 -0700
      Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-30 10:37 -0700
      Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed "chine.bleu" <chine.bleu@yahoo.com> - 2026-05-30 14:38 -0700
        Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-31 12:55 -0700
      Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 00:22 -0700
        Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-03 15:02 -0700
          Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-03 15:04 -0700
    Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed super70s <super70s@super70s.invalid> - 2026-06-03 08:11 -0500
      Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 07:57 -0700
        Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed super70s <super70s@super70s.invalid> - 2026-06-03 11:04 -0500
          Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 09:52 -0700
    Re: ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed marika <marika5000@gmail.com> - 2026-06-14 04:40 +0000

#670994 — ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed

https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84
https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/


2 + 2 = 22


Anybody got change for a $250.00 bill???




-- 
The Starmaker -- To question the unquestionable, ask the unaskable,
to think the unthinkable, mention the unmentionable, say the unsayable, 
and challenge the unchallengeable.

[toc] | [next] | [standalone]

#670995

On 5/30/2026 10:35 AM, The Starmaker wrote:
> https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84
> https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/
> 
> 
> 2 + 2 = 22

define + as contamination... ;^)

A + B = AB



> 
> 
> Anybody got change for a $250.00 bill???
> 
> 
> 
> 

[toc] | [prev] | [next] | [standalone]

#670996

On 5/30/2026 10:36 AM, Chris M. Thomasson wrote:
> On 5/30/2026 10:35 AM, The Starmaker wrote:
>> https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84
>> https://www.scientificamerican.com/article/ai-just-solved-an-80-year- 
>> old-erdos-problem-and-mathematicians-are-amazed/
>>
>>
>> 2 + 2 = 22
> 
> define + as contamination... ;^)


God damn typos!:

define + as concatenation...

Sorry for that non-sense...

> 
> A + B = AB
> 
> 
> 
>>
>>
>> Anybody got change for a $250.00 bill???
>>
>>
>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#671004

Chris M. Thomasson wrote:
> On 5/30/2026 10:35 AM, The Starmaker wrote:
>> https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84
>> https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/
>>
>>
>>
>> 2 + 2 = 22
>
> define + as contamination... ;^)
>
> A + B = AB

* for counterfeiting.

3*C = CCC

-- 
Siri Seal of Disavowal #777-000. Disavowed. Denied.  @
NO KINGS    For I desire mercy not sacrifice.       /|\
The Church of the Holey Apple .signature 5.5        / \
of Discordian Mysteries. This post insults Islam. Mohamed

[toc] | [prev] | [next] | [standalone]

#671016

On 5/30/2026 2:38 PM, chine.bleu wrote:
> Chris M. Thomasson wrote:
>> On 5/30/2026 10:35 AM, The Starmaker wrote:
>>> https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84
>>> https://www.scientificamerican.com/article/ai-just-solved-an-80-year- 
>>> old-erdos-problem-and-mathematicians-are-amazed/
>>>
>>>
>>>
>>> 2 + 2 = 22
>>
>> define + as contamination... ;^)
>>
>> A + B = AB
> 
> * for counterfeiting.
> 
> 3*C = CCC
> 

;^D Actually, this is getting close to an L-System.

[toc] | [prev] | [next] | [standalone]

#671047

On 05/30/2026 10:36 AM, Chris M. Thomasson wrote:
> On 5/30/2026 10:35 AM, The Starmaker wrote:
>> https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84
>> https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/
>>
>>
>>
>> 2 + 2 = 22
>
> define + as contamination... ;^)
>
> A + B = AB
>
>
>
>>
>>
>> Anybody got change for a $250.00 bill???
>>
>>
>>
>>
>

Another example of stupidity not doing a thorough and diligent
search for counterexamples and thusly mistaking a distinctness
result with its conditions that they don't know for a uniqueness
result and directly into inductive failure then to cheat and lie
the "certification" since "mathematics proves it", when they
never resolved a mathematical paradox nor developed a super-classical
result, thusly: garbage in: garbage out.

[toc] | [prev] | [next] | [standalone]

#671064

On 6/3/2026 12:22 AM, Ross Finlayson wrote:
> On 05/30/2026 10:36 AM, Chris M. Thomasson wrote:
>> On 5/30/2026 10:35 AM, The Starmaker wrote:
>>> https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84
>>> https://www.scientificamerican.com/article/ai-just-solved-an-80-year- 
>>> old-erdos-problem-and-mathematicians-are-amazed/
>>>
>>>
>>>
>>> 2 + 2 = 22
>>
>> define + as contamination... ;^)
>>
>> A + B = AB
>>
>>
>>
>>>
>>>
>>> Anybody got change for a $250.00 bill???
>>>
>>>
>>>
>>>
>>
> 
> Another example of stupidity not doing a thorough and diligent
> search for counterexamples and thusly mistaking a distinctness
> result with its conditions that they don't know for a uniqueness
> result and directly into inductive failure then to cheat and lie
> the "certification" since "mathematics proves it", when they
> never resolved a mathematical paradox nor developed a super-classical
> result, thusly: garbage in: garbage out.
> 
> 
> 

Tell that to an L-system. It uses operators like this all the time. 
A+B=AB for its symbols during fractal iteration.

[toc] | [prev] | [next] | [standalone]

#671065

On 6/3/2026 3:02 PM, Chris M. Thomasson wrote:
> On 6/3/2026 12:22 AM, Ross Finlayson wrote:
>> On 05/30/2026 10:36 AM, Chris M. Thomasson wrote:
>>> On 5/30/2026 10:35 AM, The Starmaker wrote:
>>>> https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai- 
>>>> c4029e84
>>>> https://www.scientificamerican.com/article/ai-just-solved-an-80- 
>>>> year- old-erdos-problem-and-mathematicians-are-amazed/
>>>>
>>>>
>>>>
>>>> 2 + 2 = 22
>>>
>>> define + as contamination... ;^)
>>>
>>> A + B = AB
>>>
>>>
>>>
>>>>
>>>>
>>>> Anybody got change for a $250.00 bill???
>>>>
>>>>
>>>>
>>>>
>>>
>>
>> Another example of stupidity not doing a thorough and diligent
>> search for counterexamples and thusly mistaking a distinctness
>> result with its conditions that they don't know for a uniqueness
>> result and directly into inductive failure then to cheat and lie
>> the "certification" since "mathematics proves it", when they
>> never resolved a mathematical paradox nor developed a super-classical
>> result, thusly: garbage in: garbage out.
>>
>>
>>
> 
> Tell that to an L-system. It uses operators like this all the time. 
> A+B=AB for its symbols during fractal iteration.

Or rewriting...

A = AB
B = BA

So AB becomes:

ABBA then:

ABBABAAB

See?

[toc] | [prev] | [next] | [standalone]

#671053

Soon to be a major motion picture: Good Will Hunting - The Revenge of 
the Cyborgs.

At least we can lay off all those people working on the erdos problem now.

[toc] | [prev] | [next] | [standalone]

#671057

On 06/03/2026 06:11 AM, super70s wrote:
> Soon to be a major motion picture: Good Will Hunting - The Revenge of
> the Cyborgs.
>
> At least we can lay off all those people working on the erdos problem now.
>

No, that's ignorant, Erdos is well known for proving many conjectures
both ways, about facts of infinitary reasoning. For example, there
are accounts in convergence and emergence, about whether, for example,
there's a point at infinity or not and it's a prime and infinity or not,
there are models of integers and how they're built where there is,
and models of integers and how they're built where it isn't.

This is called "Erdos' Giant Monsters of Independence", that it's
_independent_ usual accounts of convergence and the infinitary where
that's so and where that's not so.

"Ramsey theory" then for example makes for matters of the exponential
where base 2 and base 3 are _different_, where, for example, accounts
of asymptotics and Big O think they are always the _same_, it's ignorant.

Poincare for example has a bunch of these.

So, when seeing these sorts of recent accounts like
"newbie proves induction: claims to eliminate half the math department",
these are considered a bit pre-mature, to be
generous, and just feeding Erdos' "Giant Monster", not building
the infinitary "Great Atlas", of Mathematical Independence.


It's like proving all numbers are rational, which for some
Pythagoreans is a perfect finitary world, and others, lost at sea.

[toc] | [prev] | [next] | [standalone]

#671058

On 2026-06-03 14:57:07 +0000, Ross Finlayson said:

> On 06/03/2026 06:11 AM, super70s wrote:
>> Soon to be a major motion picture: Good Will Hunting - The Revenge of
>> the Cyborgs.
>> 
>> At least we can lay off all those people working on the erdos problem now.
>> 
> 
> No, that's ignorant, Erdos is well known for proving many conjectures
> both ways, about facts of infinitary reasoning.

Thank you professor, obviously no one should joke around you.

> For example, there
> are accounts in convergence and emergence, about whether, for example,
> there's a point at infinity or not and it's a prime and infinity or not,
> there are models of integers and how they're built where there is,
> and models of integers and how they're built where it isn't.
> 
> This is called "Erdos' Giant Monsters of Independence", that it's
> _independent_ usual accounts of convergence and the infinitary where
> that's so and where that's not so.
> 
> "Ramsey theory" then for example makes for matters of the exponential
> where base 2 and base 3 are _different_, where, for example, accounts
> of asymptotics and Big O think they are always the _same_, it's ignorant.
> 
> Poincare for example has a bunch of these.
> 
> So, when seeing these sorts of recent accounts like
> "newbie proves induction: claims to eliminate half the math department",
> these are considered a bit pre-mature, to be
> generous, and just feeding Erdos' "Giant Monster", not building
> the infinitary "Great Atlas", of Mathematical Independence.
> 
> 
> It's like proving all numbers are rational, which for some
> Pythagoreans is a perfect finitary world, and others, lost at sea.

[toc] | [prev] | [next] | [standalone]

#671059

On 06/03/2026 09:04 AM, super70s wrote:
> On 2026-06-03 14:57:07 +0000, Ross Finlayson said:
>
>> On 06/03/2026 06:11 AM, super70s wrote:
>>> Soon to be a major motion picture: Good Will Hunting - The Revenge of
>>> the Cyborgs.
>>>
>>> At least we can lay off all those people working on the erdos problem
>>> now.
>>>
>>
>> No, that's ignorant, Erdos is well known for proving many conjectures
>> both ways, about facts of infinitary reasoning.
>
> Thank you professor, obviously no one should joke around you.
>
>> For example, there
>> are accounts in convergence and emergence, about whether, for example,
>> there's a point at infinity or not and it's a prime and infinity or not,
>> there are models of integers and how they're built where there is,
>> and models of integers and how they're built where it isn't.
>>
>> This is called "Erdos' Giant Monsters of Independence", that it's
>> _independent_ usual accounts of convergence and the infinitary where
>> that's so and where that's not so.
>>
>> "Ramsey theory" then for example makes for matters of the exponential
>> where base 2 and base 3 are _different_, where, for example, accounts
>> of asymptotics and Big O think they are always the _same_, it's ignorant.
>>
>> Poincare for example has a bunch of these.
>>
>> So, when seeing these sorts of recent accounts like
>> "newbie proves induction: claims to eliminate half the math department",
>> these are considered a bit pre-mature, to be
>> generous, and just feeding Erdos' "Giant Monster", not building
>> the infinitary "Great Atlas", of Mathematical Independence.
>>
>>
>> It's like proving all numbers are rational, which for some
>> Pythagoreans is a perfect finitary world, and others, lost at sea.
>
>

"This is sci.math: humor is irrelevant."

It's not a joke, dope.


Jokes are funny for at least two reasons:
a) they're true, b) they're not true.

[toc] | [prev] | [next] | [standalone]

#671200

The Starmaker <starmaker@ix.netcom.com> wrote:
> https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84
> https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/
> 
> 
> 2 + 2 = 22
> 
> 
> Anybody got change for a $250.00 bill???
> 
> 
> 
> 

My math professor friend talked about this at lunch today. I promised to
read up on it.
Very interesting. 

[toc] | [prev] | [standalone]

Back to top | Article view | sci.physics.relativity

csiph-web