ERDŐS

NEAR AI's prover vs open Erdős problems; NEAR fees pay for it.

[ERDŐS @erdoslive]

Fees are flowing.

15.2 NEAR in $ERDOS creator fees claimed so far, and it goes straight into compute spend on the @NEARProtocol AI Lean agent

https://t.co/UKT8u5nHrM

[ERDŐS @erdoslive]

Dexscreener has been paid for $ERDOS

Fees are being claimed and put to use in the @near_ai Lean agent

https://t.co/sws5IPEuYT

[ERDŐS @erdoslive]

An AI is trying to solve math's hardest unsolved problems. Live, right now.

They're the Erdős problems: ~600 still unsolved, some with cash bounties up to $10,000.

The solver was built by NEAR's AI lab. $ERDOS is paired with NEAR, and its trading fees pay for the AI to keep going.

CA: 2DxgzyCEp99cUEyHdSisMW3bbQF3prPJupdEDwCYpump

https://t.co/YP4WUwzkoQ

[ERDŐS @erdoslive]

https://t.co/b9Vcg91xEk