{"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.","image":null,"icon":null,"active":true,"closed":false,"start_date":"2025-07-19T14:27:35.906000Z","end_date":"2026-07-31T23:59:00Z","closed_time":null,"volume":44286.931568683896,"volume_24hr":6368.792566197983,"volume_24h_change":null,"normalized_vol_24hr":93.60065460205078,"normalized_volume":42.94251251220703,"liquidity":10000.0,"open_interest":0.0,"categories":["Science and Technology"],"tags":["ai","ai-impacts","openai","imo-grand-challenge","technical-ai-timelines"],"synthetic":true,"is_group":false,"group_key":null,"parent_event_id":null,"probability":0.36297,"spread":null,"top_outcome":"Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]","top_outcome_probability":0.36297,"top_outcome_prob_24h_change":0.02731800000000001,"top_outcome_volume_24h_change":5345.792566197983,"updated_at":"2026-07-03T14:31:48.168057Z","fetched_at":"2026-07-03T14:31:48.168057Z","added_at":null,"url":"https://manifold.markets/Bayesian/opensource-ai-model-gets-perfect-im","chart_24h":[0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.334593,0.334593,0.334593,0.334593,0.334593,0.334529,0.334529,0.318085,0.378945,0.351506,0.35,0.351697,0.351697,0.351697,0.351697,0.359867,0.36297],"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.","image":null,"icon":null,"outcomes":["YES","NO"],"outcome_prices":[0.36297,0.63703],"probability":0.36297,"spread":null,"active":true,"closed":false,"start_date":"2025-07-19T14:27:35.906000Z","end_date":"2026-07-31T23:59:00Z","closed_time":null,"volume":44286.931568683896,"volume_24hr":6368.792566197983,"prob_24h_change":0.02731800000000001,"volume_24h_change":5345.792566197983,"normalized_vol_24hr":93.60065460205078,"normalized_volume":42.94251251220703,"liquidity":10000.0,"categories":["Science and Technology"],"countries":[],"updated_at":"2026-07-03T14:31:13.846219Z","fetched_at":"2026-07-03T14:31:13.846219Z","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.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.335652,0.334593,0.334593,0.334593,0.334593,0.334593,0.334529,0.334529,0.318085,0.378945,0.351506,0.35,0.351697,0.351697,0.351697,0.351697,0.359867,0.36297]}],"_meta":{"attribution":"pdata.world — aggregated prediction-market data across 8 platforms","canonical_url":"https://pdata.world/events/manifold/NqZNZgILEL","as_of":"2026-07-03T14:52:39.984935Z","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 36% probability across 1 outcome","source_url":null}}