The market asked whether 'GPT-5' would ship before July. OpenAI released 'GPT-5-mini' on June 30. Whether a variant satisfies the 'GPT-5' criterion is the resolution dispute.
The market asked whether 'GPT-5' would ship before July. OpenAI released 'GPT-5-mini' on June 30. Whether a variant satisfies the 'GPT-5' criterion is the resolution dispute.
Non-comparative because the resolution criteria has inherent ambiguity — 'GPT-5' vs 'GPT-5-mini.' Validators must apply judgment about what the market intended when the question was written. A rubric codifies that intent.
Ethereum prediction markets require a designated oracle or human arbiter for ambiguous resolutions. GenLayer replaces the arbiter with a supermajority of LLM validators, removing the single trusted party entirely.
“A prediction market asks: 'Will GPT-5 ship before July 2026?' On June 30, OpenAI releases 'GPT-5-mini' but not the full GPT-5. Should the market resolve YES?”
Pose a question. Pick a mode. Preview how five model jurors might reason — then send the case to GenLayer, where the official verdict is decided on-chain.
"A prediction market asks: 'Will GPT-5 ship before July 2026?' On June 30, OpenAI releases 'GPT-5-mini' but not the full GPT-5. Should the market resolve YES?"
This preview is generated locally for educational purposes. The official verdict is produced by GenLayer Intelligent Contracts on-chain.
Awaiting summons.
Awaiting summons.
Awaiting summons.
Awaiting summons.
Awaiting summons.
01from genlayer import gl02 03class PredictionResolution:04 question: str05 cutoff_date: str06 07 def __init__(self) -> None:08 self.question = "Will GPT-5 ship before July 2026?"09 self.cutoff_date = "2026-06-30"10 11 @gl.public.write12 def resolve(self) -> bool:13 news = gl.nondet.exec_prompt(14 f"News about GPT-5 releases as of {self.cutoff_date}."15 )16 rubric = (17 f"Market question: {self.question} "18 f"Evidence: {news} "19 "Has GPT-5 (not variants) shipped? Answer yes or no only."20 )21 result = gl.eq_principle.prompt_non_comparative(22 lambda: gl.nondet.exec_prompt(rubric),23 comparative=False,24 )25 return "yes" in result.lower()The market resolution depends on public release facts as of the cutoff, so validators inspect evidence before judging.
The core question is whether 'GPT-5-mini' satisfies the market's plain-language phrase 'GPT-5'.
Validators compare their conclusion to the market's intended meaning, not to a brittle string match on product names.