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

Groups > sci.math > #645313 > unrolled thread

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

Back to article view | Back to sci.math

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

#645313 — 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]

#645314

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]

#645315

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]

#645316

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]

#645319

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]

#645336

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]

#645349

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]

#645350

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]

#645338

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]

#645341

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]

#645343

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]

#645344

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] | [standalone]

Back to top | Article view | sci.math

csiph-web