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
Coin image for mZLzrhddEWBf7VatXjYoBr2idtSRtSr2fZvSdvFpump
Logic Theorist First AI Program logo

Logic Theorist First AI Program

$LogicAI

Solana
Hkj6rc2y ago

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.

logictheoristlogictheor...logictheorist
theoremprover-museumtheorempro...theoremprover-museum
github.comgithub.comgithub.com
View on Terminal
Vol 24h
Price
5m
1h
6h

$LogicAI community

Loading recent activity…

Visit community
Report
Market cap.
$2.29K