BigPrimes.org

I am a a prime-eating monster from about primes summons me.

[Paige @GRUGCEL]

there is this channel on youtube that publishes videos called "can pi beat pokemon sapphire" and there are 371 parts that are 12 hours long each and they havent even left the starting town and they have a level 71 sceptile

[BigPrimes.org @BigPrimesOrg]

@southerngothicc No

[BigPrimes.org @BigPrimesOrg]

Happy pi day! A good day to know that 314159 is a prime number

[BigPrimes.org @BigPrimesOrg]

Pi day is also a good day to make pi on idle pi
https://t.co/xn9EXELWJD

[BigPrimes.org @BigPrimesOrg]

Today's connectle is pretty tough
https://t.co/c7pYURXvxh

[BigPrimes.org @BigPrimesOrg]

@mayfer Not true! A circle given by the polynomial x^2+y^2=1

[BigPrimes.org @BigPrimesOrg]

Learn about linear transformations in idle pi
https://t.co/toxeGExX4J

[BigPrimes.org @BigPrimesOrg]

New game: cookie clicker, but you have to solve math problems
https://t.co/xn9EXELWJD

[BigPrimes.org @BigPrimesOrg]

@JoyceCarolOates
What's your favorite prime number?

[Alex Kontorovich @AlexKontorovich]

Terry Tao and I are pleased to announce the "Prime Number Theorem and Beyond" project, which you can find here:

https://t.co/CyB4jrOWib

with blueprint here:

https://t.co/diqU64y1HW

and dedicated stream in the Leanprover Zulip chat.

The initial goal is to get the Prime Number Theorem formalized in Lean (of course it's been done a few times in other systems) via either/both Fourier and/or complex analysis (especially the latter, which can lead to the classical exp-root-log error -- which has *not*, to my knowledge, been formalized before), followed by things like Dirichlet's theorem, Chebotarev density, etc etc.

This kind of project is ideal for distributed efforts. Contributions are welcome from people who know just math but not Lean (who can add to the blueprint), as well as people who know (even some) Lean but not the mathematical content.

There's already a lot of very low-hanging fruit in the dependency graph - if you ever wanted to try to impress Terry Tao, here's your chance! :)

[BigPrimes.org @BigPrimesOrg]

@nealagarwal I've just been crafting numbers

[BigPrimes.org @BigPrimesOrg]

Hmm

[BigPrimes.org @BigPrimesOrg]

Connectle now keeps track of your solve streak
https://t.co/c7pYURXvxh

[BigPrimes.org @BigPrimesOrg]

Today's connectle is a tricky one
https://t.co/c7pYURXvxh

[BigPrimes.org @BigPrimesOrg]

There are infinitely many primes with a prime number of digits

[BigPrimes.org @BigPrimesOrg]

Gloomswirls anoot upon eternicle eversphere, a polyphemy of wublence and plother. From yonder grimblesnout spews forth a slisheslather of frungletide, imbued with a scrittlence that trembles the very empyrean.

[BigPrimes.org @BigPrimesOrg]

GPT... this is:
(1) Not 100 digits
(2) Not prime

[Fermat's Library @fermatslibrary]

This number is a prime, the Belphegor's prime 1000000000000066600000000000001

[BigPrimes.org @BigPrimesOrg]

They get it