Mehmet Mars Seven ♞'s Avatar

Mehmet Mars Seven ♞

@mehmetmars7

Lecturer @kcl-spe.bsky.social @kingscollegelondon.bsky.social Game Theory, Econ & CS, Pol-Econ, Sport Chess ♟️ Game Theory Corner at Norway Chess Studied in Istanbul -> Paris -> Bielefeld -> Maastricht https://linktr.ee/drmehmetismail Views are my own

2,707
Followers
2,034
Following
278
Posts
08.02.2025
Joined
Posts Following

Latest posts by Mehmet Mars Seven ♞ @mehmetmars7

📢 Publication alert -- a paper on tennis with Steven Brams and Marc Kilgour

19.01.2026 11:24 👍 3 🔁 0 💬 0 📌 0
Carrapicho - Tic, tic tac Video Oficial HD
Carrapicho - Tic, tic tac Video Oficial HD YouTube video by Jhojann Noreña

Some morning pre-caffeine boost www.youtube.com/watch?v=MDAd...

14.01.2026 08:54 👍 1 🔁 0 💬 0 📌 0

4/ Markets, large-scale collaboration etc aren’t individual achievements. They’re collective.
So the question shifts from:
“Can one AI do what one human can do?”
to:
“Can an AI succeed where humans only can together?”
Curious what people think: are individual benchmarks enough?

12.01.2026 08:32 👍 1 🔁 0 💬 0 📌 0

3/
This motivates Artificial Game-Theoretic Intelligence (AGTI): AI systems evaluated by what groups of humans can achieve in n-player, non-zero-sum settings. This doesn’t require many agents, as it could be one integrated system. What matters is group-level outcomes.

12.01.2026 08:32 👍 2 🔁 0 💬 1 📌 0

2/
That framing works for benchmarks like reasoning, math, memory, speed, etc. But some theory (“single-player AGI” models) shows limits when you treat AGI as a single strategic agent in the world, especially across both zero-sum and general-sum games.

12.01.2026 08:32 👍 1 🔁 0 💬 1 📌 0
Post image

🧵1/
What's next after AGI? Most AGI discussions assume intelligence is measured at the level of a single mind. Recent work including “Levels of AGI” and “A Definition of AGI” (in the picture) makes this explicit: AGI = one system matching one human’s measurable cognitive skills across domains

12.01.2026 08:32 👍 3 🔁 1 💬 1 📌 0
Preview
AI contributions to Erdős problems A community database for the problems on the erdosproblems.com site - teorth/erdosproblems

The Erdős Rush phase of the Proof Boom:
In the past few months, more than 10 open problems have been solved directly by AI, and many more were solved or had older solutions rediscovered using AI tools such as AlphaEvolve and Aristotle.

Must share resource by Terrence Tao:
github.com/teorth/erdos...

06.01.2026 19:39 👍 1 🔁 0 💬 0 📌 0
A greenish grey toad with a very large head and long, skinny legs! They have occasional black splotches and black stripes on their legs! The top half of their eye is a reddish-orange color! Photo by waramis https://www.inaturalist.org/observations/323635816

A greenish grey toad with a very large head and long, skinny legs! They have occasional black splotches and black stripes on their legs! The top half of their eye is a reddish-orange color! Photo by waramis https://www.inaturalist.org/observations/323635816

Our friend the Dusky Litter Toad is also known as the Sooty Toadfrog! They are currently only known from a single location in southwestern Thailand! They are a member of family Megophryidae, also known as Goose Frogs, known for their camouflage and large heads! (photo by waramis)

19.12.2025 17:00 👍 1259 🔁 166 💬 18 📌 5
Post image

White to move and win:

16.12.2025 05:41 👍 19 🔁 4 💬 6 📌 1

Bluesky has genuinely revived my love for science communication online. After watching the same posts go nowhere on Twitter, seeing them resonate here has been such a good reminder of why I do this. Thanks for being here 🖤

14.12.2025 20:55 👍 4705 🔁 352 💬 58 📌 12

💡 LOFT Conference Coming to London 💡

A call for papers has been issued ahead of the 2026 Conference on Logic and the Foundations of Game and Decision Theory (LOFT), the first time the event has been held in London, and it's coming to King's!

More here 👇

sites.google.com/view/loft2026

11.12.2025 08:37 👍 5 🔁 3 💬 0 📌 0
Post image Post image Post image Post image

Northern lights going wild last night

11.12.2025 06:17 👍 2574 🔁 317 💬 38 📌 19

We are currently at the beginning of the Erdős Rush phase of the Proof Boom

02.12.2025 11:50 👍 0 🔁 0 💬 0 📌 0
Post image

If you are looking for something fun (and informative) to watch this weekend, The Thinking Game has some great stories... including how one brutal chess game stuck with a kid who’d go on to win a Nobel Prize 😅
www.youtube.com/watch?v=d95J...

29.11.2025 14:16 👍 2 🔁 0 💬 0 📌 0
Preview
Contest design with threshold objectives - International Journal of Game Theory We study contests where the designer’s objective is an extension of the widely studied objective of maximizing the total output: The designer gets zero marginal utility from a player’s output if the o...

New paper in the Int J Game Theory (with Edith Elkind and Abheek Ghosh): "Contest design with threshold objectives"

link.springer.com/article/10.1...

24.11.2025 12:18 👍 6 🔁 1 💬 0 📌 0
Flatiron Building, New York City, Built 1902

Flatiron Building, New York City, Built 1902

Flatiron Building, New York City, Built 1902

23.11.2025 08:52 👍 2385 🔁 228 💬 3 📌 18
Preview
The James Webb Telescope May Have Seen the First Stars in the Universe Although these findings from JWST are yet to be confirmed, they mark the closest astronomers have come to locating the universe’s most ancient stars

Although these findings from JWST are yet to be confirmed, they mark the closest astronomers have come to locating the universe’s most ancient stars
www.scientificamerican.com/article/the-...

23.11.2025 17:38 👍 2265 🔁 508 💬 44 📌 19
A photo of a puddle in the woods, with leaves across the surface and reflections of the trees they fell from.

A photo of a puddle in the woods, with leaves across the surface and reflections of the trees they fell from.

In reflection, these leaves fallen across a puddle, have found a way back into their parents’ arms.

23.11.2025 10:04 👍 2700 🔁 377 💬 63 📌 16
Post image

Sunday #StunDay

I met a cool guy on a walk today

#LanscapePhotography #winter #winterscape #snow #scape

23.11.2025 17:27 👍 2414 🔁 182 💬 60 📌 4
Post image
22.11.2025 14:30 👍 248 🔁 18 💬 5 📌 1
Post image

My knowledge of colors is not sophisticated enough for this game.

23.11.2025 00:08 👍 4178 🔁 170 💬 10 📌 75

I think everyone should cite me and also should include a little footnote on each citation saying I'm a cool guy they like. Just my own two cents on citational justice

21.11.2025 02:02 👍 13 🔁 2 💬 2 📌 0

Hey #boardgamesky!

I'm looking for examples of /weird/ board games. Games that do something you don't expect games to do, whether theme, mechanic, player experience/emotion, or other surprises.

Bonus points for being cheap, recent and/or quick to play, but none of these are essential.

27.09.2025 18:16 👍 25 🔁 8 💬 32 📌 0

Halfway between daydreaming and serious planning: what are some events or things to do that are:

* related to #boardgames,
* taking place between mid-May and mid-June 2026,
* accessible from Birmingham, UK?

(And are not UK Games Expo---got that one!)

Bonus points if they have an academic slant.

21.11.2025 16:50 👍 2 🔁 1 💬 0 📌 0

🚨 EC'26 website is now live! 🚨

Deadline for abstracts 2 Feb & for papers 9 Feb ⏱️ 1st round decisions 26 March 😥 Rebuttal period 21-25 April 🙅 Decisions by 18 May 🎯 Conference 6-10 July in Rome 🍕🇮🇹🍝.

Instead of tracks, there are 13 amazing track chairs!
ec26.sigecom.org/index.html

19.11.2025 22:20 👍 14 🔁 7 💬 1 📌 0
Post image

One from a few days ago.

18.11.2025 22:44 👍 1701 🔁 73 💬 26 📌 4
Preview
Lecturer in Economics | King's College London

📢 We’re hiring!

King's College London Political Economy is recruiting an Assistant Professor (Lecturer in the UK system) in Economics.

Apply here: www.kcl.ac.uk/jobs/130885-...

Feel free to contact me for information about the role and our department.

@kcl-spe.bsky.social @kingsqpe.bsky.social

18.11.2025 09:50 👍 21 🔁 22 💬 0 📌 4
The Writers Museum - Edinburgh, Scotland

The Writers Museum - Edinburgh, Scotland

The Writers Museum - Edinburgh, Scotland

16.11.2025 19:04 👍 1116 🔁 152 💬 3 📌 3
Aurora Borealis

Aurora Borealis

Guys, I saw magnificent Aurora Borealis this week which makes everything else inconsequential

17.11.2025 01:48 👍 2643 🔁 197 💬 36 📌 4
Gauge Symmetries for Efficient Zero- Knowledge Proofs of Transformers We introduce GaugeZKP, a symmetry-aware verification framework for Transformers that exploits the maximal gauge group of attention. For canonical models the maximal group is Gₘₐₓ = ((GL(dₖ))ʰ ×...

Shocking but not so shocking stuff. This happens even in Open Review where referee reports are publicly available and the referees know this.
H/t Arka Pal #LLMalert
openreview.net/forum?id=1Ne...

14.11.2025 10:42 👍 0 🔁 0 💬 0 📌 0