Pump logomark
Home
GO
Communities
Callouts
Mayhem
Live
Support
Terminal
Pump logomark
Playful 3D scene of a smiling green character running with meme-inspired figures like a Shiba Inu and hippo across a sunny grassy hill

Welcome to Pump.fun!

Pump lets anyone create coins, giving everyone equal access to buy and sell from the start. Prices can move quickly, so trade carefully.

By clicking this button, you agree to the Terms and Conditions, Privacy Policy, and certify that you are over 18 years old.

Pump logomark
  • Home
  • GO
  • Communities
  • Callouts
  • Mayhem
  • Live
  • Terminal
Trade faster. Pump is better on mobile.
Pump logomark

Resources

  • PumpSwap
  • Fees
  • Revenue
  • Tech updates

Legal

  • Privacy policy
  • Terms of service
  • Tokenized agent disclaimer
  • Livestream policy
  • DMCA policy
  • Trademark guidelines
  • Charity coins
  • Go.fun terms
Top coinsDiscover usersBlog

© Pump.fun 2026

© Pump.fun 2026

Top coinsDiscover usersBlog

Communities

$LogicAI community

Browse all
Logic Theorist First AI Program banner
Coin image for mZLzrhddEWBf7VatXjYoBr2idtSRtSr2fZvSdvFpump
Logic Theorist First AI Program logo

Logic Theorist First AI Program

$LogicAI
View coin ›

The first AI program is generally considered to be the Logic Theorist, developed by Allen Newell and Herbert A. Simon in 1955. The Logic Theorist was designed to prove mathematical theorems by simulating human problem-solving techniques. It was able to solve problems from Principia Mathematica and is often regarded as one of the first steps towards the development of artificial intelligence.

$2.3k MC
theoremprover-museumtheorempro...theoremprover-museum
logictheoristlogictheor...logictheorist
github.comgithub.comgithub.com
TopRecentMedia

Post in $LogicAI

Two quick steps to share with the community.

  1. 1Connect your X accountSign in with your wallet to start.
  2. 2Hold at least $8.00 of $LogicAI

Top members

Ranked by social following

No community members yet.