{"source":"manifold","id":"NqZNZgILEL","ticker":null,"slug":"opensource-ai-model-gets-perfect-im","title":"Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]","description":"all questions right & all points received.\n\nUsual rules:\n\nNo internet\n\nAs much allotted real-time as humans, parallel reasoning allowed\n\nLean4 or other theorem proving software allowed\n\nNatural language proofs and formal proofs allowed\n\nThe model completing the task must be open-weight, but the scaffold it makes use of need not be open-source.\n\nNote: the open-weight model must be released before the IMO 2026 to count.","image":null,"icon":null,"active":true,"closed":false,"start_date":"2025-07-19T14:27:35.906000Z","end_date":"2026-08-31T23:59:00Z","closed_time":null,"volume":100635.81386366303,"volume_24hr":2500.0,"volume_24h_change":null,"normalized_vol_24hr":77.32817077636719,"normalized_volume":49.74199295043945,"liquidity":10000.0,"open_interest":0.0,"categories":["Science and Technology"],"tags":[],"synthetic":true,"is_group":false,"group_key":null,"parent_event_id":null,"probability":0.13,"spread":null,"top_outcome":"Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]","top_outcome_probability":0.13,"top_outcome_prob_24h_change":-0.021897,"top_outcome_volume_24h_change":2289.0,"updated_at":"2026-08-17T16:44:44.518114Z","fetched_at":"2026-08-17T16:44:44.518114Z","added_at":null,"url":"https://manifold.markets/Bayesian/opensource-ai-model-gets-perfect-im","chart_24h":[0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.131513,0.13,0.13,0.13,0.13,0.13,0.13,0.13],"markets":[{"source":"manifold","id":"NqZNZgILEL","event_id":"NqZNZgILEL","slug":"opensource-ai-model-gets-perfect-im","question":"Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]","group_item_title":null,"description":"all questions right & all points received.\n\nUsual rules:\n\nNo internet\n\nAs much allotted real-time as humans, parallel reasoning allowed\n\nLean4 or other theorem proving software allowed\n\nNatural language proofs and formal proofs allowed\n\nThe model completing the task must be open-weight, but the scaffold it makes use of need not be open-source.\n\nNote: the open-weight model must be released before the IMO 2026 to count.","image":null,"icon":null,"outcomes":["YES","NO"],"outcome_prices":[0.13,0.87],"probability":0.13,"spread":null,"active":true,"closed":false,"start_date":"2025-07-19T14:27:35.906000Z","end_date":"2026-08-31T23:59:00Z","closed_time":null,"volume":100635.81386366303,"volume_24hr":2500.0,"prob_24h_change":-0.021897,"volume_24h_change":2289.0,"normalized_vol_24hr":77.32817077636719,"normalized_volume":49.74199295043945,"liquidity":10000.0,"categories":["Science and Technology"],"countries":[],"updated_at":"2026-08-17T16:42:13.874982Z","fetched_at":"2026-08-17T16:42:13.874982Z","added_at":null,"url":"https://manifold.markets/Bayesian/opensource-ai-model-gets-perfect-im","event_title":"Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]","chart_24h":[0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.151897,0.131513,0.13,0.13,0.13,0.13,0.13,0.13,0.13]}],"_meta":{"attribution":"pdata.world — aggregated prediction-market data across 8 platforms","canonical_url":"https://pdata.world/events/manifold/NqZNZgILEL","as_of":"2026-08-17T16:51:55.685532Z","docs":"https://api.pdata.world/docs","cite_as":"According to pdata.world (tracking Manifold): \"Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]\" — top market at 13% probability across 1 outcome","source_url":null}}