After losing to Liverpool at home, United have a -3 GD. This market resolves to yes if they have a goal difference of at least 1 in the 2024 calendar year portion of 24-25 Premier League season (around half the season).

Manifestos written by gm's don't count as proof 😉. An allegation must be corroborated by some reputable institution. The player must be proven to have cheated in 2024 or for heretofore unseen proof be provided resulting in the players ban. 

Top 100 otb fide classical rating rather than online rating will be used to resolve this market. 

Resolves YES if there are four or more decisive (non-drawn) games in the classical (not including tiebreaks) portion of the World Chess Championship (

https://en.wikipedia.org/wiki/World_Chess_Championship_2024

), or NO if there are three or less. Also resolves NO if a new world chess championship does not start before 2025. (i.e. if the existing match is cancelled.)

Decisive game count for previous recent WCCs:

Buffalo Sabres beat New Jersey Devils 12pm Oct 4

New Jersey Devils beat Buffalo Sabres 9am Oct 5

Seattle Kraken beat St. Louis Blues 3:30pm Oct 8

Florida Panthers beat Boston Bruins 6pm Oct 8

Utah Hockey Club beat Chicago Blackhawks 9pm Oct 8

Montreal Canadiens beat Toronto Maple Leafs 6pm Oct 9

Pittsburgh Penguins beat New York Rangers 6:30pm Oct 9

Edmonton Oilers beat Winnipeg Jets 9pm Oct 9

Vancouver Canucks beat Calgary Flames 9pm Oct 9

Vegas Golden beat Knights Colorado Avalanche 9pm Oct 9

Boston Bruins beat Montreal Canadiens 6pm Oct 10

Buffalo Sabres beat Los Angeles Kings 6pm Oct 10

New Jersey Devils beat Toronto Maple Leafs 6pm Oct 10

Ottawa Senators beat Florida Panthers 6pm Oct 10

New York Islanders beat Utah Hockey Club 6:30pm Oct 10

Detroit Red Wings beat Pittsburgh Penguins 7pm Oct 10

Minnesota Wild beat Columbus Blue Jackets 7pm Oct 10

Nashville Predators beat Dallas Stars 7pm Oct 10

San Jose Sharks beat St. Louis Blues 9:30pm Oct 10

Carolina Hurricanes beat Tampa Bay Lightning 6pm Oct 11

Winnipeg Jets beat Chicago Blackhawks 7pm Oct 11

Vancouver Canucks beat Philadelphia Flyers 9pm Oct 11

Vegas Golden Knights beat St. Louis Blues 9pm Oct 11

Boston Bruins beat Los Angeles Kings 12pm Oct 12

Buffalo Sabres beat Florida Panthers 6pm Oct 12

Detroit Red Wings beat Nashville Predators 6pm Oct 12

Montreal Canadiens beat Ottawa Senators 6pm Oct 12

New York Rangers beat Utah Hockey Club 6pm Oct 12

Tampa Bay Lightning beat Carolina Hurricanes 6pm Oct 12

Toronto Maple Leafs beat Pittsburgh Penguins 6pm Oct 12

Washington Capitals beat New Jersey Devils 6pm Oct 12

Dallas Stars beat New York Islanders 7pm Oct 12

Minnesota Wild beat Seattle Kraken 7pm Oct 12

Colorado Avalanche beat Columbus Blue Jackets 8pm Oct 12

Calgary Flames beat Philadelphia Flyers 9pm Oct 12

Edmonton Oilers beat Chicago Blackhawks 9pm Oct 12

San Jose Sharks beat Anaheim Ducks 9pm Oct 12

Winnipeg Jets beat Minnesota Wild 5pm Oct 13

Dallas Stars beat Seattle Kraken 7pm Oct 13

Edmonton Oilers beat Calgary Flames 7pm Oct 13

Vegas Golden Knights beat Anaheim Ducks 9pm Oct 13

Boston Bruins beat Florida Panthers 12pm Oct 14

New Jersey Devils beat Utah Hockey Club 12pm Oct 14

Ottawa Senators beat Los Angeles Kings 12pm Oct 14

New York Rangers beat Detroit Red Wings 6pm Oct 14

Montreal Canadiens beat Pittsburgh Penguins 6:30pm Oct 14

Colorado Avalanche beat New York Islanders 8pm Oct 14

Carolina Hurricanes beat New Jersey Devils 6pm Oct 15

Columbus Blue Jackets beat Florida Panthers 6pm Oct 15

Tampa Bay Lightning beat Vancouver Canucks 6pm Oct 15

Washington Capitals beat Vegas Golden Knights 6pm Oct 15

St. Louis Blues beat Minnesota Wild 6:30pm Oct 15

Dallas Stars beat San Jose Sharks 7pm Oct 15

Nashville Predators beat Seattle Kraken 7pm Oct 15

Calgary Flames beat Chicago Blackhawks 8pm Oct 15

Edmonton Oilers beat Philadelphia Flyers 9pm Oct 15

Pittsburgh Penguins beat Buffalo Sabres 6pm Oct 16

Toronto Maple Leafs beat Los Angeles Kings 6:30pm Oct 16

Colorado Avalanche beat Boston Bruins 8:30pm Oct 16

Anaheim Ducks beat Utah Hockey Club 9pm Oct 16

Columbus Blue Jackets beat Buffalo Sabres 6pm Oct 17

Florida Panthers beat Vancouver Canucks 6pm Oct 17

Montreal Canadiens beat Los Angeles Kings 6pm Oct 17

Ottawa Senators beat New Jersey Devils 6pm Oct 17

Tampa Bay Lightning beat Vegas Golden Knights 6pm Oct 17

Washington Capitals beat Dallas Stars 6pm Oct 17

Detroit Red Wings beat New York Rangers 6:30pm Oct 17

Nashville Predators beat Edmonton Oilers 7pm Oct 17

St. Louis Blues beat New York Islanders 7pm Oct 17

Chicago Blackhawks beat San Jose Sharks 7:30pm Oct 17

Seattle Kraken beat Philadelphia Flyers 9pm Oct 17

Pittsburgh Penguins beat Carolina Hurricanes 6pm Oct 18

Winnipeg Jets beat San Jose Sharks 7pm Oct 18

Colorado Avalanche beat Anaheim Ducks 8pm Oct 18

Ottawa Senators beat Tampa Bay Lightning 12pm Oct 19

Nashville Predators beat Detroit Red Wings 1pm Oct 19

Dallas Stars beat Edmonton Oilers 3pm Oct 19

Florida Panthers beat Vegas Golden Knights 5pm Oct 19

Columbus Blue Jackets beat Minnesota Wild 6pm Oct 19

New Jersey Devils beat Washington Capitals 6pm Oct 19

New York Islanders beat Montreal Canadiens 6pm Oct 19

Philadelphia Flyers beat Vancouver Canucks 6pm Oct 19

St. Louis Blues beat Carolina Hurricanes 6pm Oct 19

Toronto Maple Leafs beat New York Rangers 6pm Oct 19

Chicago Blackhawks beat Buffalo Sabres 7pm Oct 19

Utah Hockey Club beat Boston Bruins 8pm Oct 19

Seattle Kraken beat Calgary Flames 9pm Oct 19

Winnipeg Jets beat Pittsburgh Penguins 2pm Oct 20

Anaheim Ducks beat Los Angeles Kings 7pm Oct 20

San Jose Sharks beat Colorado Avalanche 7pm Oct 20

Toronto Maple Leafs beat Tampa Bay Lightning 6:30pm Oct 21

Philadelphia Flyers beat Washington Capitals 5pm Oct 22

Florida Panthers beat Minnesota Wild 5:30pm Oct 22

New Jersey Devils beat Tampa Bay Lightning 5:45pm Oct 22

Buffalo Sabres beat Dallas Stars 6pm Oct 22

Montreal Canadiens beat New York Rangers 6:15pm Oct 22

Columbus Blue Jackets beat Toronto Maple Leafs 6:30pm Oct 22

New York Islanders beat Detroit Red Wings 6:45pm Oct 22

St. Louis Blues beat Winnipeg Jets 7pm Oct 22

Chicago Blackhawks beat Vancouver Canucks 7:15pm Oct 22

Game Winning Drive starting in the last 2 Minutes

Offensive Player of the Week is a Running Back

A Starting QB gets a likely Season Ending Injury

Player Records at least 2 Interceptions in a Game

Quarterback throws at least 4 Touchdowns in a game

Quarterback gets benched in the middle of a game

A 1pm EST game is still going when a 4:25pm EST game starts

Any team scores 24+ points before halftime

Any player scores 3 TDs in a game (non-passing)

Any player throws for more than 330 yards and loses

A Starting QB gets put on IR the week after the game

 Bird teams finish with a better record than Cat teams

AFC or NFC Offensive Player of the Week is a Running Back

3 Missed FGs or Extra Points (from both teams combined) in a Game

MVP Odds Favorite Changes By 12/4 (Currently: Josh Allen)

A QB has at least 2 turnovers and at least 3 TDs (including passing)

4th and Goal from the 1 (or inches) stopped

Hip Drop Tackle penalty called during any game

Team change in top 6 super bowl favorites by 12/4 (Lions, Chiefs, Bills, Eagles, Ravens, Packers)

Will a championship belt change teams (https://shorturl.at/2bXlq) (https://shorturl.at/XwDBj)

2 Point Conversions convert at 50% or higher for the Week

Score as time expires in the 4th Quarter/OT

A lateral more than a yard past the line of scrimmage (non-last play of the game)

LA teams finish with a better record than NY teams

For each letter of the alphabet, at least one touchdown is scored by a player that has that letter in their first or last name

For each game, take the GCD of both teams' scores. Is the result for any game at least 8?

Any 400 yard passer (https://tinyurl.com/400Yarder)

Highest Scoring Game of the Season (so far)* https://tinyurl.com/highestgame

Add your own props related to Week Twelve (if it is super specific be prepared to help me find an answer). Answers should be able to be resolved by about a Week after Week Twelve finishes, but not later than that.

Add your own props related to Week Thirteen (if it is super specific be prepared to help me find an answer). Answers should be able to be resolved by about a Week after Week Thirteen finishes, but not later than that.

Green Bay Packers beat Detroit Lions (12/05) 8:15 PM (Prime)

Cleveland Browns beat Pittsburgh Steelers (12/08) 1:00 PM (CBS)

New Orleans Saints beat New York Giants (12/08) 1:00 PM (FOX)

New York Jets beat Miami Dolphins (12/08) 1:00 PM (CBS)

Jacksonville Jaguars beat Tennessee Titans (12/08) 1:00 PM (CBS)

Atlanta Falcons beat Minnesota Vikings (12/08) 1:00 PM (FOX)

Carolina Panthers beat Philadelphia Eagles (12/08) 1:00 PM (CBS)

Las Vegas Raiders beat Tampa Bay Buccaneers (12/08) 1:00 PM (FOX)

Seattle Seahawks beat Arizona Cardinals (12/08) 4:05 PM (FOX)

Chicago Bears beat San Francisco 49ers (12/08) 4:25 PM (CBS)

Buffalo Bills beat Los Angeles Rams (12/08) 4:25 PM (CBS)

Los Angeles Chargers beat Kansas City Chiefs (12/08) 8:20 PM (NBC)

Cincinnati Bengals beat Dallas Cowboys (12/09) 8:15 PM (ESPN)

Resolves YES if by the end of the 2024 season, Charles Leclerc finishes ahead of Carlos Sainz in the World Drivers Championship with more points.

Market will continue regardless if either driver changes teams.

Market will continue if either driver retires or is otherwise unable to race for a portion/remainder of the season.

Resolves YES if GPT-5 is publicly released before Jan 1, 2025; resolves NO otherwise.

Update from March 18: If the next OpenAI flagship model deviates from the GPT-N naming scheme 

 that is going to be released from OpenAI (e.g. they completely changed the trajectory of their naming scheme) then I will count it as "GPT-5" regardless.

However, if the next flagship model is not called GPT-5 but still conforms to the OpenAI GPT-N naming scheme (e.g. GPT-4.5) 

there will eventually be a model called GPT-5

 that will be released (i.e. they are going to continue with the same naming scheme) then I will not count it as "GPT-5".

Additional update from Manifold staff before sweepifying:

Publicly released includes if it is behind their subscription or a roll-out where some people have access and some are still waiting. If it's publicly released but only for API access this will still resolve YES. Dates for this market are in PST.

: Eliezer and I publicly stated some predictions about AI performance on the IMO by 2025.... My final prediction (after significantly revising my guesses after looking up IMO questions and medal thresholds) was:

Eliezer spent less time revising his prediction, but said (earlier in the discussion):

So I think we have Paul at <8%, Eliezer at >16% for AI made before the IMO is able to get a gold (under time controls 

 of grand challenge) in one of 2022-2025.

Resolves to YES if either Eliezer or Paul acknowledge that an AI has succeeded at this task.

https://manifold.markets/MatthewBarnett/will-a-machine-learning-model-score-f0d93ee0119b

Update: As noted by Paul, the qualifying years for IMO completion are 2023, 2024, and 2025.

Update 2024-06-21: Description formatting

Update 2024-07-25: Changed title from "by 2025" to "by the end of 2025" for clarity

Note the resolution criteria—what matters is the change in the count of federal employees, not whether we can confirm Trump and/or Elon directly fired them. For reference, the specific chart Kalshi links to appears to be 

[This is Casey's medium-confidence prediction from the 12/22/23 episode of Hard Fork]

This market will resolve to yes if Google's Gemini Ultra or other state-of-the-art LLM is roughly equivalent to OpenAI's best publicly available LLM on December 31, 2024, and if Google's AI products have cut into ChatGPT's share of the consumer LLM chatbot market. Otherwise, it will resolve to no.

EG "make me a 120 minute Star Trek / Star Wars crossover". It should be more or less comparable to a big-budget studio film, although it doesn't have to pass a full Turing Test as long as it's pretty good. The AI doesn't have to be available to the public, as long as it's confirmed to exist.

[invalid answer] Multiple people e.g. a team from OpenAI

No one, the tweet was a joke or intended to attract advertisers without referring to someone specific

https://x.com/dwarkesh_sp/status/1826340260735058400

This market is specifically on whom the above tweet is referring to, regardless of whether the interview occurs.

 which is a platform for ranking LLMs based on human ratings. As expected, OpenAI is holding positions 1, 2, and 3. I 

wonder which company will be #1 at the end of 2024. 

Screenshot of the rankings table taken on the 13th of December: 

All definitions and rules outlined by the market creator (@Lion) apply solely to the Mana version of this question. I can only address questions related to the Mana version. For  questions about the Sweepstakes market, please contact Manifold Markets directly.

The Mana version will be resolved according to the following rules. If you have any questions or if any resolution criteria or edge cases are unclear, please ask before trading. Otherwise, the Mana version will be resolved based on my judgement. Note that the Mana version may resolve differently from the Sweepstakes version.

 as the Person of the Year for this market to resolve as YES. For example, if TIME Magazine’s 2024 Person of the Year is named as "Donald J. Trump," "Donald J. Trump and J.D. Vance," "Donald J. Trump and The Grand Old Party," or "Donald J. Trump and Elon Musk," this market will resolve as YES. However, if the Person of the Year is identified as a group or entity that does not directly name Trump, such as "All Americans" or "The Grand Old Party," this market will resolve as NO.

This question specifically pertains to Donald John Trump, born on June 14, 1946, the 45th President of the United States and winner of the 2024 US election. If another person, such as Donald Trump Jr., is named without the explicit inclusion of Donald J. Trump, the market will resolve as NO. (“Donald Trump and Donald Trump Jr.” would still resolve as YES)

The close date for this market will be adjusted to the evening before TIME Magazine announces the Person of the Year (POTY). Liquidity might be reduced earlier.

This market will settle as YES if at least three individuals that Trump nominates for cabinet positions that must be confirmed by the Senate are either withdrawn or voted down in the Senate. Cabinet officials refers to the 15 heads of government agencies, along with cabinet-level officials, which for the purposes of this market includes the Administrator of the EPA, Director of National Intelligence, Director of OMB, Director of CIA, United States Trade Representative, Ambassador to the UN, Chair of the Council of Economic Advisers, Administrator of the SBA, and Director of OSTP. 

A nomination occurs as soon as President Trump announces an intention to nominate someone. No other step is necessary to be taken. No official step must be taken to withdraw a nominee either. Credible reporting that the administration will not longer be pursuing the nomination is enough. 

This market will settle as NO as soon as all the relevant positions are confirmed, or if the conditions of YES have not been met by March 31, 2025.  

The nominees that fail need not be all nominated for different positions. If, for example, Trump has three Attorney General nominees that fail, this market will resolve as YES. 

If Donald Trump does not become president or stops being president, this market resolves according to what happens to the nominees of whoever happens to be president during the relevant time period. The nominees of two or more people serving as president will be counted together. If, for example, Trump appoints an AG who is withdrawn and then Vance becomes president and two of his nominees are withdrawn, this market will settle as YES. 

An armistice, ceasefire, or negotiated settlement is announced by both Ukraine and Russia regarding the ongoing war in Ukraine at any point between the Associated Press calling the election for Donald Trump, and April 19, 2025, 11:59 PM ET.

Trump deports 1 million immigrants in a calendar year

Trump builds a complete wall across the Mexico-US border

Trump cancels Biden's AI executive order (EO 14110)

Trump creates tariffs of 10% or more on all imports from some major country (top 10 gdp) 

DOJ opens "civil rights investigations" into left-wing DA/prosecutors offices

Trump finishes is term on Jan 20 2029 (does not step down or extends his term) 

Trump pardons at least 5 individuals convicted of crimes related to the January 6 Capitol riot 

The Supreme Court will uphold or not revisit Obergefell v. Hodges (the constitutional right to same-sex marriage)

The Supreme Court will grant certiorari to hear at least one case challenging Griswold v. Connecticut (contraception rights)

Trade on politics & more