IE "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.

Scott Alexander's 5 year predictions

Technology

AI Media Creation

🤖 AI

YouTube

Entertainment

Hardware

Rabbit R1

https://www.lesswrong.com/posts/sWLLdG6DWJEy3CH7n/imo-challenge-bet-with-eliezer

 Eliezer has this at >16%; Paul at <8%. 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.

Technical AI Timelines

IMO Grand Challenge

Mathematics

Third Party Validated, Predictive Markets: AI

Yes/No will be determined by whether there is any lasting record of the incident, either in the color chart (mouse over individual days - sometimes there will be a "Related" which will count) or an entry 

 in the "past incidents" section. This may mean that I will need to wait for an incident to resolve to see on which day the lasting record is left.

Website or App Uptime

Service Outage

🤖 OpenAI

AI Regulation

This resolves to YES if I publish AI #62 on May 2, or it becomes May 3 (whichever comes first) and Roon's account (@tszzl) is reactivated by then.

Resolves to NO if Roon's account remains deactivated at that time.

https://manifold.markets/notarealuser/will-roontszzl-on-twitter-reactivat

 but its deadline was 2025, and I wanted a short fuse - this is about whether this is merely a short cleanse or he rethinks his decision)

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".

🖥️ Technology

GPT-5 Speculation

ChatGPT

If TikTok is divested from ByteDance, or a similar corporate transaction occurs, and TikTok or its assets are transferred to a domestic company, "divest it" resolves YES.

OR, if ByteDance disallows U.S. users from accessing TikTok, or otherwise exits the U.S. market, "shut it down" resolves YES.

Alternatively, if the bill is overturned by a judge such that TikTok is allowed to operate in a structure substantially similar to its current structure, this question resolves N/A and all traders get their mana back.

Fine print: The law gives TikTok 270 days (plus an optional 90 more) to be divested. If this timeline is extended due to legal challenges, the question won't resolve until ByteDance makes (or is forced to make) its final decision. For example, if ByteDance disallows U.S. users from accessing TikTok but they have credible ongoing legal proceedings to overturn the law, this question will stay open until the legal disputes are resolved and TikTok finalizes its decision.

🍿 Entertainment and Pop Culture

TikTok

🇺🇸 US Politics

New York Mets beat Milwaukee Brewers - Mar 29

'29':8 'beat':4 'brewer':6 'mar':7 'met':3 'milwauke':5 'new':1 'york':2

Baltimore Orioles beat Los Angeles Angels - Mar 28

'28':8 'angel':5,6 'baltimor':1 'beat':3 'los':4 'mar':7 'oriol':2

Philadelphia Phillies beat Atlanta Braves - Mar 29

'29':7 'atlanta':4 'beat':3 'brave':5 'mar':6 'philadelphia':1 'philli':2

Chicago White Sox beat Detroit Tigers - Mar 28

'28':8 'beat':4 'chicago':1 'detroit':5 'mar':7 'sox':3 'tiger':6 'white':2

Cincinnati Reds beat Washington Nationals - Mar 28

'28':7 'beat':3 'cincinnati':1 'mar':6 'nation':5 'red':2 'washington':4

Houston Astros beat New York Yankees - Mar 28

'28':8 'astro':2 'beat':3 'houston':1 'mar':7 'new':4 'yanke':6 'york':5

Kansas City Royals beat Minnesota Twins - Mar 28

'28':8 'beat':4 'citi':2 'kansa':1 'mar':7 'minnesota':5 'royal':3 'twin':6

Los Angeles Dodgers beat St. Louis Cardinals - Mar 28

'28':9 'angel':2 'beat':4 'cardin':7 'dodger':3 'los':1 'loui':6 'mar':8 'st':5

Miami Marlins beat Pittsburgh Pirates - Mar 28

'28':7 'beat':3 'mar':6 'marlin':2 'miami':1 'pirat':5 'pittsburgh':4

San Diego Padres beat San Francisco Giants - Mar 28

'28':9 'beat':4 'diego':2 'francisco':6 'giant':7 'mar':8 'padr':3 'san':1,5

Tampa Bay Rays beat Toronto Blue Jays - Mar 28

'28':9 'bay':2 'beat':4 'blue':6 'jay':7 'mar':8 'ray':3 'tampa':1 'toronto':5

'28':7 'beat':3 'chicago':4 'cub':5 'mar':6 'ranger':2 'texa':1

Oakland Athletics beat Cleveland Guardians - Mar 28

'28':7 'athlet':2 'beat':3 'cleveland':4 'guardian':5 'mar':6 'oakland':1

Arizona Diamondbacks beat Colorado Rockies - Mar 28

'28':7 'arizona':1 'beat':3 'colorado':4 'diamondback':2 'mar':6 'rocki':5

Seattle Mariners beat Boston Red Sox - Mar 28

'28':8 'beat':3 'boston':4 'mar':7 'marin':2 'red':5 'seattl':1 'sox':6

Tampa Bay Rays beat Toronto Blue Jays - Mar 29

'29':9 'bay':2 'beat':4 'blue':6 'jay':7 'mar':8 'ray':3 'tampa':1 'toronto':5

Miami Marlins beat Pittsburgh Pirates - Mar 29

'29':7 'beat':3 'mar':6 'marlin':2 'miami':1 'pirat':5 'pittsburgh':4

Houston Astros beat New York Yankees - Mar 29

'29':8 'astro':2 'beat':3 'houston':1 'mar':7 'new':4 'yanke':6 'york':5

Arizona Diamondbacks beat Colorado Rockies - Mar 29

'29':7 'arizona':1 'beat':3 'colorado':4 'diamondback':2 'mar':6 'rocki':5

Oakland Athletics beat Cleveland Guardians - Mar 29

'29':7 'athlet':2 'beat':3 'cleveland':4 'guardian':5 'mar':6 'oakland':1

San Diego Padres beat San Francisco Giants - Mar 29

'29':9 'beat':4 'diego':2 'francisco':6 'giant':7 'mar':8 'padr':3 'san':1,5

Seattle Mariners beat Boston Red Sox - Mar 29

'29':8 'beat':3 'boston':4 'mar':7 'marin':2 'red':5 'seattl':1 'sox':6

Los Angeles Dodgers beat St. Louis Cardinals - Mar 29

'29':9 'angel':2 'beat':4 'cardin':7 'dodger':3 'los':1 'loui':6 'mar':8 'st':5

New York Mets beat Milwaukee Brewers - Mar 30

'30':8 'beat':4 'brewer':6 'mar':7 'met':3 'milwauke':5 'new':1 'york':2

Chicago White Sox beat Detroit Tigers - Mar 30

'30':8 'beat':4 'chicago':1 'detroit':5 'mar':7 'sox':3 'tiger':6 'white':2

Baltimore Orioles beat Los Angeles Angels - Mar 30

'30':8 'angel':5,6 'baltimor':1 'beat':3 'los':4 'mar':7 'oriol':2

Philadelphia Phillies beat Atlanta Braves - Mar 30

'30':7 'atlanta':4 'beat':3 'brave':5 'mar':6 'philadelphia':1 'philli':2

Oakland Athletics beat Cleveland Guardians - Mar 30

'30':7 'athlet':2 'beat':3 'cleveland':4 'guardian':5 'mar':6 'oakland':1

Cincinnati Reds beat Washington Nationals - Mar 30

'30':7 'beat':3 'cincinnati':1 'mar':6 'nation':5 'red':2 'washington':4

Kansas City Royals beat Minnesota Twins - Mar 30

'30':8 'beat':4 'citi':2 'kansa':1 'mar':7 'minnesota':5 'royal':3 'twin':6

Miami Marlins beat Pittsburgh Pirates - Mar 30

'30':7 'beat':3 'mar':6 'marlin':2 'miami':1 'pirat':5 'pittsburgh':4

Tampa Bay Rays beat Toronto Blue Jays - Mar 30

'30':9 'bay':2 'beat':4 'blue':6 'jay':7 'mar':8 'ray':3 'tampa':1 'toronto':5

'30':7 'beat':3 'chicago':4 'cub':5 'mar':6 'ranger':2 'texa':1

Houston Astros beat New York Yankees - Mar 30

'30':8 'astro':2 'beat':3 'houston':1 'mar':7 'new':4 'yanke':6 'york':5

San Diego Padres beat San Francisco Giants - Mar 30

'30':9 'beat':4 'diego':2 'francisco':6 'giant':7 'mar':8 'padr':3 'san':1,5

Arizona Diamondbacks beatColorado Rockies - Mar 30

'30':6 'arizona':1 'beatcolorado':3 'diamondback':2 'mar':5 'rocki':4

Los Angeles Dodgers beat St. Louis Cardinals - Mar 30

'30':9 'angel':2 'beat':4 'cardin':7 'dodger':3 'los':1 'loui':6 'mar':8 'st':5

Seattle Mariners beat Boston Red Sox - Mar 30

'30':8 'beat':3 'boston':4 'mar':7 'marin':2 'red':5 'seattl':1 'sox':6

Baltimore Orioles beat Los Angeles Angels - Mar 31

'31':8 'angel':5,6 'baltimor':1 'beat':3 'los':4 'mar':7 'oriol':2

Philadelphia Phillies beat Atlanta Braves - Mar 31

'31':7 'atlanta':4 'beat':3 'brave':5 'mar':6 'philadelphia':1 'philli':2

Cincinnati Reds beat Washington Nationals - Mar 31

'31':7 'beat':3 'cincinnati':1 'mar':6 'nation':5 'red':2 'washington':4

Miami Marlins beat Pittsburgh Pirates - Mar 31

'31':7 'beat':3 'mar':6 'marlin':2 'miami':1 'pirat':5 'pittsburgh':4

New York Mets beat Milwaukee Brewers - Mar 31

'31':8 'beat':4 'brewer':6 'mar':7 'met':3 'milwauke':5 'new':1 'york':2

Tampa Bay Rays beat Toronto Blue Jays - Mar 31

'31':9 'bay':2 'beat':4 'blue':6 'jay':7 'mar':8 'ray':3 'tampa':1 'toronto':5

Chicago White Sox beat Detroit Tigers - Mar 31

'31':8 'beat':4 'chicago':1 'detroit':5 'mar':7 'sox':3 'tiger':6 'white':2

Houston Astros beat  New York Yankees - Mar 31

'31':8 'astro':2 'beat':3 'houston':1 'mar':7 'new':4 'yanke':6 'york':5

Kansas City Royals beat Minnesota Twins - Mar 31

'31':8 'beat':4 'citi':2 'kansa':1 'mar':7 'minnesota':5 'royal':3 'twin':6

'31':7 'beat':3 'chicago':4 'cub':5 'mar':6 'ranger':2 'texa':1

Oakland Athletics beat Cleveland Guardians - Mar 31

'31':7 'athlet':2 'beat':3 'cleveland':4 'guardian':5 'mar':6 'oakland':1

Arizona Diamondbacks beat Colorado Rockies - Mar 31

'31':7 'arizona':1 'beat':3 'colorado':4 'diamondback':2 'mar':6 'rocki':5

San Diego Padres beat San Francisco Giants - Mar 31

'31':9 'beat':4 'diego':2 'francisco':6 'giant':7 'mar':8 'padr':3 'san':1,5

Seattle Mariners beat Boston Red Sox - Mar 31

'31':8 'beat':3 'boston':4 'mar':7 'marin':2 'red':5 'seattl':1 'sox':6

Los Angeles Dodgers beat St. Louis Cardinals - Mar 31

'31':9 'angel':2 'beat':4 'cardin':7 'dodger':3 'los':1 'loui':6 'mar':8 'st':5

Chicago White Sox beat Atlanta Braves - Apr 1

'1':8 'apr':7 'atlanta':5 'beat':4 'brave':6 'chicago':1 'sox':3 'white':2

Chicago Cubs beat Colorado Rockies - Apr 1

'1':7 'apr':6 'beat':3 'chicago':1 'colorado':4 'cub':2 'rocki':5

Washington Nationals beat Pittsburgh Pirates - Apr 1

'1':7 'apr':6 'beat':3 'nation':2 'pirat':5 'pittsburgh':4 'washington':1

Baltimore Orioles beat Kansas City Royals - Apr 1

'1':8 'apr':7 'baltimor':1 'beat':3 'citi':5 'kansa':4 'oriol':2 'royal':6

Miami Marlins beat Los Angeles Angels - Apr 1

'1':8 'angel':5,6 'apr':7 'beat':3 'los':4 'marlin':2 'miami':1

Philadelphia Phillies beat Cincinnati Reds - Apr 1

'1':7 'apr':6 'beat':3 'cincinnati':4 'philadelphia':1 'philli':2 'red':5

Tampa Bay Rays beat Texas Rangers - Apr 1

'1':8 'apr':7 'bay':2 'beat':4 'ranger':6 'ray':3 'tampa':1 'texa':5

New York Mets beat Detroit Tigers - Apr 1

'1':8 'apr':7 'beat':4 'detroit':5 'met':3 'new':1 'tiger':6 'york':2

Houston Astros beat Toronto Blue Jays - Apr 1

'1':8 'apr':7 'astro':2 'beat':3 'blue':5 'houston':1 'jay':6 'toronto':4

Arizona Diamondbacks beat New York Yankees - Apr 1

'1':8 'apr':7 'arizona':1 'beat':3 'diamondback':2 'new':4 'yanke':6 'york':5

Oakland Athletics beat Boston Red Sox - Apr 1

'1':8 'apr':7 'athlet':2 'beat':3 'boston':4 'oakland':1 'red':5 'sox':6

San Diego Padres beat St. Louis Cardinals - Apr 1

'1':9 'apr':8 'beat':4 'cardin':7 'diego':2 'loui':6 'padr':3 'san':1 'st':5

Seattle Mariners beat Cleveland Guardians - Apr 1

'1':7 'apr':6 'beat':3 'cleveland':4 'guardian':5 'marin':2 'seattl':1

Los Angeles Dodgers beat San Francisco Giants - Apr 1

'1':9 'angel':2 'apr':8 'beat':4 'dodger':3 'francisco':6 'giant':7 'los':1 'san':5

Milwaukee Brewers beat Minnesota Twins - Apr 2

'2':7 'apr':6 'beat':3 'brewer':2 'milwauke':1 'minnesota':4 'twin':5

Baltimore Orioles beat Kansas City Royals - Apr 2

'2':8 'apr':7 'baltimor':1 'beat':3 'citi':5 'kansa':4 'oriol':2 'royal':6

Miami Marlins beat Los Angeles Angels - Apr 2

'2':8 'angel':5,6 'apr':7 'beat':3 'los':4 'marlin':2 'miami':1

Philadelphia Phillies beat Cincinnati Reds - Apr 2

'2':7 'apr':6 'beat':3 'cincinnati':4 'philadelphia':1 'philli':2 'red':5

Tampa Bay Rays beat Texas Rangers - Apr 2

'2':8 'apr':7 'bay':2 'beat':4 'ranger':6 'ray':3 'tampa':1 'texa':5

New York Mets beat Detroit Tigers - Apr 2

'2':8 'apr':7 'beat':4 'detroit':5 'met':3 'new':1 'tiger':6 'york':2

Chicago Cubs beat Colorado Rockies - Apr 2

'2':7 'apr':6 'beat':3 'chicago':1 'colorado':4 'cub':2 'rocki':5

Chicago White Sox beat Atlanta Braves - Apr 2

'2':8 'apr':7 'atlanta':5 'beat':4 'brave':6 'chicago':1 'sox':3 'white':2

Houston Astros beat Toronto Blue Jays - Apr 2

'2':8 'apr':7 'astro':2 'beat':3 'blue':5 'houston':1 'jay':6 'toronto':4

Arizona Diamondbacks beat New York Yankees - Apr 2

'2':8 'apr':7 'arizona':1 'beat':3 'diamondback':2 'new':4 'yanke':6 'york':5

Oakland Athletics beat Boston Red Sox - Apr 2

'2':8 'apr':7 'athlet':2 'beat':3 'boston':4 'oakland':1 'red':5 'sox':6

San Diego Padres beat St. Louis Cardinals -  Apr 2

'2':9 'apr':8 'beat':4 'cardin':7 'diego':2 'loui':6 'padr':3 'san':1 'st':5

Seattle Mariners beat Cleveland Guardians - Apr 2

'2':7 'apr':6 'beat':3 'cleveland':4 'guardian':5 'marin':2 'seattl':1

Los Angeles Dodgers beat San Francisco Giants - Apr 2

'2':9 'angel':2 'apr':8 'beat':4 'dodger':3 'francisco':6 'giant':7 'los':1 'san':5