iiinova — where your digital self keeps evolving

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 07/10/2026

OpenAI’s latest release of mathematical results gives us a glimpse of what AI acceleration looks like. Whatever the task or field, if there is enough data or if reliable data can be synthetically generated, AI will come for it. Nothing is truly AI-proof.

110

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 06/10/2026

I think AGI is within reach if all compute and data can be combined. One for all, all for one style. Strong open weight models are now emerging from the US and Europe, in addition to China. This gives firms and individuals more ways to extract value from their own data.

100

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 06/10/2026

Who remembers one of the most memorable Nobel interviews, with a 2017 Nobel Laureate in Physics? youtu.be/-Ct1hkROmxc?...

youtu.be

Jeffrey C. Hall Says Nobel Prize 'Unexpected'

YouTube video by Associated Press

000

Reposted by Mehmet Mars Seven ♞

Nobel Prize @nobelprize.org · 06/10/2026

BREAKING NEWS The Royal Swedish Academy of Sciences has decided to award the 2026 #NobelPrize in Physics to Francis Halzen “for decisive contributions to the IceCube Neutrino Observatory and the discovery of high-energy neutrinos of astrophysical origin.”

9494251

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 05/10/2026

Truly amazing stuff. The method apparently allows causally testing neural activity

000

Reposted by Mehmet Mars Seven ♞

Nobel Prize @nobelprize.org · 05/10/2026

BREAKING NEWS The 2026 Nobel Prize in Physiology or Medicine has been awarded to Karl Deisseroth, Peter Hegemann and Georg Nagel “for their discoveries concerning light-gated ion channels and optogenetics.”

231058512

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 04/10/2026

Instead of arguing for or against the use of LLMs in manuscript preparation and refereeing, why not investigate the question scientifically under proper conditions? For example: How reproducible are top LLM referee comments?

100

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 16/09/2026

Someone from r/singularity recommended this essay by Peter Wessel Zapffe: In The Last Messiah (1933), the Norwegian argued that human consciousness evolved too far: we became painfully aware of death and our insignificance. To cope, we have 4 defenses: last-messiah.org/the-last-mes...

last-messiah.org

The Last Messiah - The Last Messiah

by Peter Wessel Zapffe The first English version of an essay by Peter Wessel Zapffe, dated 1933, originally published in Janus #9 in norwegian. Translated from Norwegian by Gisle R. Tangenes, publishe...

100

Reposted by Mehmet Mars Seven ♞

School of Politics and Economics @kcl-spe.bsky.social · 16/09/2026

Chess has a problem with draws ♟️😐 Over the decades, countless solutions have been tried, with varying success...but is there a fairer way of settling things? Academics @mehmetmars7.bsky.social and Steven Brams have proposed a solution of biblical proportions ⬇️ www.kcl.ac.uk/news/researc...

kcl.ac.uk

Researchers offer biblical solution to ties in chess | King's College London

Chess has a problem with draws.

032

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 15/09/2026

It’s possible that human intelligence is maximally stable thanks to evolution. Even then, maintaining that stability isn’t easy. Humans developed spiritual and philosophical systems to stay sane, and even so, things sometimes run out of control

100

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 09/09/2026

📣 Major provable reduction towards solving chess by an estimated factor of 10^15! It turns out that the threefold repetition rule does not change chess’s game-theoretic value: if either side can force a win, they can do so without ever repeating the same position.

120

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 04/09/2026

Mind boggling. Claude produced the first computer-checked proof of Fermat’s Last Theorem, writing. 13 million lines of Lean code proved 29,500 intermediate theorems in 11 days 🤯 this is several times larger than the existing math library! github.com/anthropics/f...

110

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 03/09/2026

The Proof Boom is real! A non-professional mathematician at Anthropic posts a claimed solution via Claude, with a Lean formalization, to a problem. Just a few days ago, a Fields medallist described it as the most important conjecture in our field and said could be cracked soon.

211

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 29/08/2026

Apparently, rapid chess was called “active chess” back in 1987. Kasparov, who was World Champion at the time, obviously didn’t like the name, as that would make him the “passive chess” World Champion. Chess history is fascinating. www.forbes.com/sites/beaudu...

forbes.com

Why Erling Haaland And Other Soccer Stars Are Investing In Chess

Erling Haaland is among the soccer players who have invested in one of their favorite pastimes, chess. The game is booming online.

110

Reposted by Mehmet Mars Seven ♞

Nobel Prize @nobelprize.org · 24/08/2026

We've arrived on Bluesky! We hope you will follow along as we share inspiring, motivational and exciting content about the achievements and individuals that have been awarded a Nobel Prize. Stay tuned.

3074239751

Reposted by Mehmet Mars Seven ♞

Stephanie Wang @sweiwang.bsky.social · 16/08/2026

🚨Elsevier forces out Games and Economic Behavior (GEB) Editor, entire editorial board has resigned, current board only handling new submissions until Nov. 14 #econsky

Dear Advisory Editor of GEB
We are very sorry to be the bearers of bad news for GEB.
I learned from Elsevier on Wednesday July 28 that, contrary to my expressed willingness to continue, my 3-year contract will not be renewed.
"Moving towards a closer alignment with Elsevier strategic priorities and publishing policies" was offered as the motive for this decision. Requests for explanations, first by me, then in a collective letter by the other six Editors, were dismissed by Elsevier which simply reaffirmed its legal power to make such decisions.
Elsevier then started precipitously its own search for new Editors without input of the Editorial Board.
By Friday August 14 all seven Editors have sent their resignation, requiring a 3-month advance notice.
Therefore, we will continue to manage as before the papers currently under review and the new submissions until Saturday November 14. After this date we will only complete the evaluation of papers still waiting an editorial decision.

49065

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 19/08/2026

🧵1/ How damaging is zero-sum thinking? Shaun Hargreaves Heap and I revisit the Nash vs maximin discussion We show that for every Nash equilibrium, there is a strategically equivalent game in which each player’s maximin strategy guarantees their Nash-equilibrium payoff

432

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 17/07/2026

🚨 Game theory news: GPT-5.6 Pro passed a major personal threshold. I’ve been asking this simple question to all GPTs, and this is the first time one has provided a decent answer. It’s still not the best, but I’d say it's a major improvement in getting the subtle basics of game theory right

020

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 10/07/2026

Even crazier stat just dropped: In 13 of the last 15 World Cup penalty shootouts, the coin-toss winner chose to kick first, yet the team kicking second came out on top sources ⬇️

112

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 08/07/2026

Should teams shoot first or second in World Cup penalty shootouts? 🤔 So far there have been 4 shootouts. Germany, Netherlands, and Colombia won the toss, chose to shoot first but lost. Egypt won the toss, chose second, and won. The 2nd-kicking team is 4/4 🤯

141

Reposted by Mehmet Mars Seven ♞

Chess Puzzles @chesspuzzles.bsky.social · 08/07/2026

Black to move. Puzzle "Eye of the Chess Tiger" from chess.com. #ChessPuzzles

A chess board featuring a puzzle. FEN: 3r3k/1p5p/r5q1/n1Qpb3/4p3/1PN5/PBP2PPP/3R1RK1 b - - 0 29

481

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 16/06/2026

Add to that the 8.9 million @chess.com accounts in the UK in 2025. The highest total in Europe and the third-highest in the world, behind only the United States and India www.bbc.co.uk/news/article...

bbc.co.uk

How chess 'boom' is building young minds

Experts say the game is helping children solve problems, forge friendships and build confidence.

030

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 16/03/2026

GPT Pro 5.4 has now crossed a threshold for me in game theory. I've been extensively testing all versions and sharing the outputs with you. While it still makes mistakes (see the picture), its calculations in simple games are generally helpful. Big congrats to the team!

000

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 19/01/2026

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

030

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 12/01/2026

🧵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

131

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 06/01/2026

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

github.com

AI contributions to Erdős problems

A community database for the problems on the erdosproblems.com site - teorth/erdosproblems

010

Reposted by Mehmet Mars Seven ♞

Toad Facts @toadfacts.bsky.social · 19/12/2025

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)

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

181242164

Reposted by Mehmet Mars Seven ♞

Peter Heine Nielsen @phchess.bsky.social · 16/12/2025

White to move and win:

6194

Reposted by Mehmet Mars Seven ♞

Dr. Wildlife @drwildlife.bsky.social · 14/12/2025

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 🖤

584662346

Reposted by Mehmet Mars Seven ♞

School of Politics and Economics @kcl-spe.bsky.social · 11/12/2025

💡 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

sites.google.com

053

Reposted by Mehmet Mars Seven ♞

Astrid Conjaerts Schepel @conjaertsa.bsky.social · 11/12/2025

Northern lights going wild last night

382541313

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 02/12/2025

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

000

Mehmet Mars Seven ♞ @mehmetmars7.bsky.social · 29/11/2025

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

020

Reposted by Mehmet Mars Seven ♞

Architecture @architecture.bsky.social · 23/11/2025

Flatiron Building, New York City, Built 1902

32355224

Reposted by Mehmet Mars Seven ♞

Laurence H. Tribe @tribelaw.bsky.social · 23/11/2025

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

scientificamerican.com

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

432251506

Reposted by Mehmet Mars Seven ♞

Miranda Keeling @mirandakeeling.com · 23/11/2025

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

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

632672372

Reposted by Mehmet Mars Seven ♞

Romek66 @romek66.bsky.social · 23/11/2025

Sunday #StunDay I met a cool guy on a walk today #LanscapePhotography #winter #winterscape #snow #scape

602383181

Reposted by Mehmet Mars Seven ♞

Rhonda44 @rhonda44.bsky.social · 22/11/2025

524516

Reposted by Mehmet Mars Seven ♞

Gabriel Malor @gabrielmalor.bsky.social · 23/11/2025

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

104137170

Reposted by Mehmet Mars Seven ♞

Brett Karlan @oldjerryfodor.bsky.social · 21/11/2025

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

2132

Reposted by Mehmet Mars Seven ♞

Matt Ollis @mattollis.bsky.social · 27/09/2025

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.

32258

Reposted by Mehmet Mars Seven ♞

Matt Ollis @mattollis.bsky.social · 21/11/2025

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.

021

Reposted by Mehmet Mars Seven ♞

Alex Teytelboym @t8el.bsky.social · 19/11/2025

🚨 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

1147

Reposted by Mehmet Mars Seven ♞

Nick Raschke @nickraschke.bsky.social · 18/11/2025

One from a few days ago.

25168072

Reposted by Mehmet Mars Seven ♞

Yonatan Berman @yonatanberman.com · 18/11/2025

📢 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

kcl.ac.uk

Lecturer in Economics | King's College London

02121

Reposted by Mehmet Mars Seven ♞

Architecture @architecture.bsky.social · 16/11/2025

The Writers Museum - Edinburgh, Scotland

31128160