$Trezrick

When the time you need me, I'll be by your side.

[$Trezrick @Trezrick]

@CelalKucuker can you do to $DEEP as well?

[$Trezrick @Trezrick]

@Jakeronthia_ The game changer or the new game $DEEP 🚀

[$Trezrick @Trezrick]

@MrBreadSmith 🤫🚀

[$Trezrick @Trezrick]

@matteodotsui $DEEP will more than a $, trust me 🤫

[$Trezrick @Trezrick]

@suintern_ when the basecamp?

[Conjectures.io @conjectures_io]

Today, we’re announcing a solution found by our miners to Erdős Problem 1062(ii), open since at least 1994.

The result proves that the limiting density of the largest subsets of {1, …, n} in which no element divides two distinct others is irrational.

Verified in Lean through Conjectures. Full proofs below.

[$Trezrick @Trezrick]

Here we go again non-stop !!

[Conjectures.io @conjectures_io]

Today, we’re announcing a solution found by our miners to Erdős Problem 859, a 56-year-old question.

Let dₜ be the density of integers whose distinct divisors can sum to t. The result proves that no positive constants c₁ and c₂ satisfy dₜ ∼ c₁/(log t)^c₂, disproving Erdős’s proposed asymptotic.

Verified in Lean through Conjectures. Full proof below.

[Conjectures.io @conjectures_io]

Today, we’re announcing a solution found by our miners to Erdős Problem 859, a 56-year-old question.

Let dₜ be the density of integers whose distinct divisors can sum to t. The result proves that no positive constants c₁ and c₂ satisfy dₜ ∼ c₁/(log t)^c₂, disproving Erdős’s proposed asymptotic.

Verified in Lean through Conjectures. Full proof below.

[$Trezrick @Trezrick]

@ivanich22893 @SchopenhauerOn @conjectures_io That's how stupid people think 😂

[$Trezrick @Trezrick]

The new game or the game changer? either way this is the future 🤖👽 #SN66 @conjectures_io 🤯

[Conjectures.io @conjectures_io]

Today, we’re announcing a solution found by our miners to both parts of Erdős Problem 14, open for over 34 years.

The result proves a square-root lower bound on exceptions to unique representation as a sum of two elements of any set of natural numbers.

Verified in Lean through Conjectures. Full proofs below.

[$Trezrick @Trezrick]

@chefrecklessdj @virtualbacon Try harder 😂

[$Trezrick @Trezrick]

@LamidaGlobal Ai

[$Trezrick @Trezrick]

@taodotcom @bitsecai 🎉🎉🎉

[$Trezrick @Trezrick]

@MasterChief_AI @taodotcom 1. Bitsec🎉🎉🎉
2. Redteam 🎉🎉

[$Trezrick @Trezrick]

@LamidaGlobal @Cats_CR other way of rugs and act like a victim 😂

[$Trezrick @Trezrick]

@princeharry_za I could say nothing is impossible, no one knows maybe $TAO flip $ZEC in an instant 🤯

[$Trezrick @Trezrick]

@ChristoJelly @_redteam_ I highly agree it should be more than 100M mc the key for all the hack all over the world!

[$Trezrick @Trezrick]

@alvin_investor @_redteam_ ✅

[$Trezrick @Trezrick]

@LamidaGlobal @_redteam_ @_redteam_ it's on your list now?

[$Trezrick @Trezrick]

@flex4woo @LamidaGlobal @_redteam_ Because they're busy building rather than daily posting of bullshit. just saying.