Resolves to AGI/ASI

not following closely but obv turing invented the field and was a great mind, not goat tho

@BionicD0LPH1N why so confident it won't be the guy who basically invented the field?

@TheAllMemeingEye seems like he did good work in computer science but that seems pretty distant from AI research

@TheAllMemeingEye It’s pretty clear that Alan Turing is not the greatest AI researcher of all time. Seniority helps to some extent, but doesn’t make up for what @Bayesian said.

he replied to the george boole bet, i think he is saying boole invented the field (which seems more wrong than turing inventing the field imo)

@Bayesian Ohhh my bad, you’re right, I misread. Boole I bet down due to basically never having heard his name in relation to AI. That might just mean I’m not well informed, but I don’t see him winning over Noam personally.

@BionicD0LPH1N you've never heard of the Boolean data type in programming languages like Python? Obs he did way more than just that but that's the main thing I constantly come across that's directly named after him

Context:

George Boole [...] was an English autodidactic, mathematician, philosopher and logician [...] and is best known as the author of The Laws of Thought (1854), which contains Boolean algebra. Boolean logic, essential to computer programming, is credited with helping to lay the foundations for the Information Age.

[...]

Some of his key works include a paper on early invariant theory and "The Mathematical Analysis of Logic", which introduced symbolic logic.

[...]

In 1847, Boole developed Boolean algebra, a fundamental concept in binary logic, which laid the groundwork for the algebra of logic tradition and forms the foundation of digital circuit design and modern computer science.

George Boole - Wikipedia

how will this market be resolved? arguing for my favorites is really unprofitable 😭

@KJW_01294 uhhhh in the same way the greatest mathematician market will be resolved

@Bayesian If there's an ASI around, you could just ask it to resolve this.

@Bayesian I recommend a poll

boxing AI to “just ASI and nothing else” is an anachronistic reduction of a broad field of study. If Djikstra or the researchers behind Deep Blue etc shouldn’t qualify, wouldn’t it make more sense for this market to be titled “LLM researcher” or “neural networks” researcher or similar?

@KJW_01294 It resolves at the time of ASI, but not in a way related to how ASI itself is developed. that's just an arbitrary cut off point after which I decide that the market closes, analogously to how the "Greatest Mathematician of all time" market closes when the Riemann hypothesis is proven, despite the greatest mathematician not necessarily being the one that solves the riemann hypothesis. so rest assured, djikstra might still win

@Bayesian is it taboo to ask what the resolution criterion is?

@jim it would be taboo for me to answer this question