Captain Sude

Can you be my 301st follower? Thanks.

[Captain Sude @captain_sude]

The Liouville version of the Goldbach conjecture is now fully proven and Lean verified!

Every positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.

https://t.co/hzeoRu6QBy

[Captain Sude @captain_sude]

@nihilunbounded

[Captain Sude @captain_sude]

@teortaxesTex He is probably only counting the Trvkesocial poll.

[Captain Sude @captain_sude]

This sounded less dumb when I was drunker

[Captain Sude @captain_sude]

If AI isn't better than you at your job already then it isn't a real job

[Captain Sude @captain_sude]

Extremely drunk, yelling at CgatGPT to solve Goldbach conjecture, still getting impressive partial results. This is the future of mathematics and its glorious, posting reults soon

[Captain Sude @captain_sude]

@Lavader_ I was expecting to hate it, but its kino. I am very drunk tho.

[Captain Sude @captain_sude]

@Xenoimpulse She and Baron are his kids he actually likes.

[Captain Sude @captain_sude]

@Xenoimpulse Ivanka

[Captain Sude @captain_sude]

@AlgebraFact More interestingly: the sum of the reciprocals of the twin primes converges. But we still don't know if there is a finite or infinite number of them.

[Captain Sude @captain_sude]

@boazbaraktcs @thecrimson >missing out on jostling other people on the bus

nah I'm good

[Captain Sude @captain_sude]

@doomslide Some of us were wondering if maybe you thought yourself to cool to be a frogposter, now that you're a fancy Substack writer and all... glad it was just a misunderstanding.

[Captain Sude @captain_sude]

The question was already present in this paper:
https://t.co/oGQvuraISY

But I only realized this after @AlanSiwiec04 raised the question.

[Captain Sude @captain_sude]

Conjecture: For any integer n >= 4, n = x + y where x, y are positive integers with odd numbers of prime factors with multiplicity.

This is solved for n even, but still open for n odd.

[Y A @AlanSiwiec04]

@captain_sude It seems every integer >=4, even or odd, is the sum of two integers with Liouville value -1. A simple computer search found no counterexamples within 10^6. Maybe you can solve this one?

[Captain Sude @captain_sude]

@AlanSiwiec04 Woah that is pretty cool! I don't have the tokens to get Astra involved but I'll see if I get something. This doesn't seem to be an immediate consequence of the even case, so maybe there is new math to be discovered here.

[Captain Sude @captain_sude]

The Liouville version of the Goldbach conjecture is now fully proven and Lean verified!

Every positive even number greater than 2 is the sum of two positive numbers with Liouville value -1.

https://t.co/hzeoRu6QBy

[Captain Sude @captain_sude]

@octonion HW/HF > HW/AF > AW/HF > AW/AF > HW/U >>> AW/U

[Captain Sude @captain_sude]

@GeroKipbak No. I also change chat windows a lot to make the approach "fresh".

[Captain Sude @captain_sude]

@GeroKipbak Work, ultra, 25 minutes. But only after a lot of previous back and forth on the problem the day before. The original attempt lasted hours, many different prompts and effort levels.

[Captain Sude @captain_sude]

@GeroKipbak This is the one that worked.

[Captain Sude @captain_sude]

@GeroKipbak 2/2 Next day while we were looking for a different problem, Astra realized that our previous problem could actually be tackled if we dropped the previous fancy analytic approach and opted for using elementary methods. I let it do its thing and done.

[Captain Sude @captain_sude]

@GeroKipbak 1/2 Long conversation with Astra about which sorts of problems could be ammenable to the methods we created to tackle disjunctivity and normality of special constants. It flagged this one and tried to solve it. We failed but got a cool partial result.