Prediction about: By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journal
market_a2aa01110794AMP Predict is a mock prediction market — all trading uses simulated TK¢ tokens (no real money). Sign in with Google or email to buy YES or NO contracts at the current orderbook price, or place limit orders at custom prices. When the market closes, the winning side pays 100 TK¢ per contract.