Mehmet Mars Seven ♞
@mehmetmars7.bsky.social
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
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
Pinned
I'm sure many names are missing, but even putting this list together took some time. Please feel free to suggest more names from any discipline, economics, computer science, political science, biology, mathematics, and so on, either via DM or by simply tagging them below
go.bsky.app/RjAhP7Z
go.bsky.app/RjAhP7Z
Reposted by Mehmet Mars Seven ♞
One from a few days ago.
November 18, 2025 at 10:45 PM
One from a few days ago.
Reposted by Mehmet Mars Seven ♞
📢 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
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
Lecturer in Economics | King's College London
www.kcl.ac.uk
November 18, 2025 at 9:50 AM
📢 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
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
Reposted by Mehmet Mars Seven ♞
The Writers Museum - Edinburgh, Scotland
November 16, 2025 at 7:04 PM
The Writers Museum - Edinburgh, Scotland
Reposted by Mehmet Mars Seven ♞
Guys, I saw magnificent Aurora Borealis this week which makes everything else inconsequential
November 17, 2025 at 1:48 AM
Guys, I saw magnificent Aurora Borealis this week which makes everything else inconsequential
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...
H/t Arka Pal #LLMalert
openreview.net/forum?id=1Ne...
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ₖ))ʰ ×...
openreview.net
November 14, 2025 at 10:42 AM
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...
H/t Arka Pal #LLMalert
openreview.net/forum?id=1Ne...
Reposted by Mehmet Mars Seven ♞
From my house in the suburbs. There is a lot of light pollution here and can actually see the reds with naked eye. Saw better last year in October, but had to drive 35-40 min out to the country.
November 12, 2025 at 3:37 AM
From my house in the suburbs. There is a lot of light pollution here and can actually see the reds with naked eye. Saw better last year in October, but had to drive 35-40 min out to the country.
Reposted by Mehmet Mars Seven ♞
This view never gets old
November 12, 2025 at 5:19 PM
This view never gets old
Reposted by Mehmet Mars Seven ♞
One of the cartoons in my new book 'Physics for Cats' which is out now in the UK, USA, Canada, France and Germany. Order from your local bookshops or online: www.tomgauld.com/
October 10, 2025 at 1:20 PM
One of the cartoons in my new book 'Physics for Cats' which is out now in the UK, USA, Canada, France and Germany. Order from your local bookshops or online: www.tomgauld.com/
Simulator's Dilemma: If we fear our simulations could outsmart us, imagine what our simulators (if any) might be thinking right now
November 10, 2025 at 11:58 AM
Simulator's Dilemma: If we fear our simulations could outsmart us, imagine what our simulators (if any) might be thinking right now
Reposted by Mehmet Mars Seven ♞
Econ, artificial intelligence and machine learning …
#EconConf #econsky
marketdesigner.blogspot.com/2025/11/econ...
#EconConf #econsky
marketdesigner.blogspot.com/2025/11/econ...
Economics and CS (AI+ML) in Ithaca in June: call for papers
marketdesigner.blogspot.com
November 9, 2025 at 2:08 PM
Econ, artificial intelligence and machine learning …
#EconConf #econsky
marketdesigner.blogspot.com/2025/11/econ...
#EconConf #econsky
marketdesigner.blogspot.com/2025/11/econ...
"Building a pipeline of .. AI tools.. for the Kakeya problem, AlphaEvolve discovered an interesting general construction. When we fed this .. to Deep Think, it successfully derived a proof.. This proof was then fully formalized in the Lean proof assistant using AlphaProof" arxiv.org/pdf/2511.02864
arxiv.org
November 6, 2025 at 12:13 PM
"Building a pipeline of .. AI tools.. for the Kakeya problem, AlphaEvolve discovered an interesting general construction. When we fed this .. to Deep Think, it successfully derived a proof.. This proof was then fully formalized in the Lean proof assistant using AlphaProof" arxiv.org/pdf/2511.02864
Reposted by Mehmet Mars Seven ♞
lol Cowen is at it again
November 5, 2025 at 8:02 PM
lol Cowen is at it again
Quick take: The NYC election showed how social media amplifies extremes.
Evidence-based debate on real issues eg affordability was missing.
We need politicians, economists and political scientists to debate and work together on solutions and trial them. “Easy fixes” are rarely as easy as they seem
Evidence-based debate on real issues eg affordability was missing.
We need politicians, economists and political scientists to debate and work together on solutions and trial them. “Easy fixes” are rarely as easy as they seem
November 5, 2025 at 5:30 PM
Quick take: The NYC election showed how social media amplifies extremes.
Evidence-based debate on real issues eg affordability was missing.
We need politicians, economists and political scientists to debate and work together on solutions and trial them. “Easy fixes” are rarely as easy as they seem
Evidence-based debate on real issues eg affordability was missing.
We need politicians, economists and political scientists to debate and work together on solutions and trial them. “Easy fixes” are rarely as easy as they seem
(1) Ben Golub seems to have found a promising use case.
I’ve already bought 1 & thought it was worth it.
For anyone curious, try via this referral: If you buy 1, you get 1 free for you & me. I'm mostly interested in comparing it further vs GPT Pro and Deep Think
www.refine.ink?ref=bWVobWV0...
I’ve already bought 1 & thought it was worth it.
For anyone curious, try via this referral: If you buy 1, you get 1 free for you & me. I'm mostly interested in comparing it further vs GPT Pro and Deep Think
www.refine.ink?ref=bWVobWV0...
refine
AI feedback for research.
www.refine.ink
November 4, 2025 at 1:54 PM
(1) Ben Golub seems to have found a promising use case.
I’ve already bought 1 & thought it was worth it.
For anyone curious, try via this referral: If you buy 1, you get 1 free for you & me. I'm mostly interested in comparing it further vs GPT Pro and Deep Think
www.refine.ink?ref=bWVobWV0...
I’ve already bought 1 & thought it was worth it.
For anyone curious, try via this referral: If you buy 1, you get 1 free for you & me. I'm mostly interested in comparing it further vs GPT Pro and Deep Think
www.refine.ink?ref=bWVobWV0...
ChatGPT Pro may be making the news in math, but in #gametheory it still makes basic mistakes -- the same kinds humans often make. Here, it tried to prove a unique equilibrium in an infinite-horizon game just because the stage game had a unique equilibrium 😅
#econsky
#econsky
November 2, 2025 at 1:16 PM
ChatGPT Pro may be making the news in math, but in #gametheory it still makes basic mistakes -- the same kinds humans often make. Here, it tried to prove a unique equilibrium in an infinite-horizon game just because the stage game had a unique equilibrium 😅
#econsky
#econsky
Reposted by Mehmet Mars Seven ♞
I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me. 1/3
October 31, 2025 at 7:25 PM
I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me. 1/3
Live: King's Experts Series: The Future of Higher Education
www.youtube.com/watch?v=kBYP...
@kingscollegelondon.bsky.social
www.youtube.com/watch?v=kBYP...
@kingscollegelondon.bsky.social
King's Experts Series: The Future of Higher Education
YouTube video by KCL Alumni
www.youtube.com
October 30, 2025 at 6:31 PM
Live: King's Experts Series: The Future of Higher Education
www.youtube.com/watch?v=kBYP...
@kingscollegelondon.bsky.social
www.youtube.com/watch?v=kBYP...
@kingscollegelondon.bsky.social
A simple suggestion to improve email user experience: Each time I click “Reply All” to a mailing list, Outlook and Gmail etc. should display a visible highlight in the message-typing area. The highlight can be removed with a simple acknowledgement from the user
October 30, 2025 at 11:55 AM
A simple suggestion to improve email user experience: Each time I click “Reply All” to a mailing list, Outlook and Gmail etc. should display a visible highlight in the message-typing area. The highlight can be removed with a simple acknowledgement from the user
Reposted by Mehmet Mars Seven ♞
As usual, some surprises in the exit poll for the Dutch elections. D66 largest in the exit poll, just before PVV. Given MOE still uncertain which party has won. VVD more or less stable, and given earlier poll losses, they celebrate that as a win. GL-PvdA lose 5 seats. CDA gains.
October 29, 2025 at 10:21 PM
As usual, some surprises in the exit poll for the Dutch elections. D66 largest in the exit poll, just before PVV. Given MOE still uncertain which party has won. VVD more or less stable, and given earlier poll losses, they celebrate that as a win. GL-PvdA lose 5 seats. CDA gains.
Reposted by Mehmet Mars Seven ♞
ChatGPT will never be forgiven for ruining the em-dash.
October 29, 2025 at 7:01 PM
ChatGPT will never be forgiven for ruining the em-dash.
Reposted by Mehmet Mars Seven ♞
Girls who start with the same age and rating as boys will continue to play chess at a similar rate and at a similar level as those boys, especially in areas where participation is more gender-balanced, according to a new study.
www.chess.com/news/view/li...
www.chess.com/news/view/li...
Study Reveals New Insights Into Gender Gap In Chess: Equal Start, Equal Progress
Girls who start with the same age and rating as boys will continue to play chess at a similar rate and at a similar level as those boys, a new study revealed.
www.chess.com
October 28, 2025 at 6:44 PM
Girls who start with the same age and rating as boys will continue to play chess at a similar rate and at a similar level as those boys, especially in areas where participation is more gender-balanced, according to a new study.
www.chess.com/news/view/li...
www.chess.com/news/view/li...
Via Gil Kalai:
mathoverflow.net/questions/50...
mathoverflow.net/questions/50...
Examples for the use of AI and especially LLMs in notable mathematical developments
The purpose of this question is to collect examples where large language models (LLMs) like ChatGPT have led to notable mathematical developments.
The emphasis in this question is on LLMs, but ans...
mathoverflow.net
October 28, 2025 at 3:07 PM
Via Gil Kalai:
mathoverflow.net/questions/50...
mathoverflow.net/questions/50...
Reposted by Mehmet Mars Seven ♞
PROCJAM - the Procedural Generation Jam - is back for another year! Join us on itch.io this November for another week of making something that makes something - a bskybot, a videogame, a digital artwork, a dice table or something else!
🗓️ Nov 21st - Dec 1st
🔮 itch.io/jam/procjam
🗓️ Nov 21st - Dec 1st
🔮 itch.io/jam/procjam
PROCJAM - The Procedural Generation Jam
A game jam from 2025-11-21 to 2025-12-01 hosted by PROCJAM. Let's Make Something! PROCJAM - the Procedural Generation Jam - is a creative coding jam about making things that make things. This normally...
itch.io
October 27, 2025 at 3:35 PM
PROCJAM - the Procedural Generation Jam - is back for another year! Join us on itch.io this November for another week of making something that makes something - a bskybot, a videogame, a digital artwork, a dice table or something else!
🗓️ Nov 21st - Dec 1st
🔮 itch.io/jam/procjam
🗓️ Nov 21st - Dec 1st
🔮 itch.io/jam/procjam