The actual math in this paper is over the heads of non-mathematicians but the core argument is pretty easy to follow: AI theorem-prover formalizations can't actually be trusted to faithfully be the same argument as the natural-language paper they come attached to arxiv.org/abs/2610.081...

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...

arxiv.org

Like imagine if everyone goes "well okay we don't really understand why but the code compiles so I guess the Riemann hypothesis is true" and it turns out that's not even valid either.

Just an FYI for folks, automation for bug tracking and testing has been a thing since at least when I started in AAA in 2016, so it pre-dates genAI quite a bit. I'm still in a wait-and-see for Capcom, but people being confused about old tech vs genAI is what the current techbros want.

John Linneman@dark1x.bsky.social · last wk.

EG fell for it too. :( The Capcom presentation contains a slide with "AI世代のゲームエンジンへ" - the article omits the "へ", for one, but the issue is that while 世代 means 'generation', it's in the 'console generation' sense, not like GenAI. Without へ, translation software gets it totally wrong.

every company using "ai" has split its workforce into two groups: those who are useless hacks and those who suddenly want to kill themselves

conventional wisdom for the entire time i've been programming has always been "less code is better". the idea that we must write more code faster is ridiculous. the problem has never been rate of output

let's fucking do this

hey all, i hope you enjoyed our... jet set radio evolution track that went up a month ago that i forgot to post about when it dropped. its a tribute to the totally tubular and awesome (and insanely creative) game hypnospace outlaw. nothing else big happened recently www.youtube.com/watch?v=C4O5...

COOLFUNK IS DEAD - Jet Set Radio Evolution

YouTube video by SiIvaGunner

youtube.com

What a wonderful day 🤍 I'm still at @fullindie.bsky.social this evening for the social!!!

Hey y'all, I'm at @fullindie.bsky.social !!!! Had a wonderful morning today with a couple AMAZING SESSIONS by @writnelson.bsky.social and Armando Troisi 🤍

no game dev skill is more important than making up your fuckin mind

Honestly I think like 50% of the Teams 101 course is just me saying this in 30 different ways with 15 different methods of making sure everybody on your team understands that decisions are made to be executed on, not argued about further, that's the whole-ass point of it being a decision.

Joe Wintergreen@joewintergreen.com · 3w ago

no game dev skill is more important than making up your fuckin mind

The original Mahjong Solitaire (Brodie Lockard, 1981) on the PLATO looked glorious. Also clever to show stack height with outline width.

AI185

AI2910

not so tough, really. Just puts the game in the same pile as any of the million other clones that have no substance.

Kotaku@kotaku.com · 2mo ago

Crazy Taxi: World Tour Is Fun Enough, But Some Fans Are Going To Have To Make A Hard Choice https://kotaku.com/crazy-taxi-world-tour-preview-sega-ai-use-steam-disclaimer-2000728372

Kotaku@kotaku.com · 2mo ago

Crazy Taxi: World Tour Is Fun Enough, But Some Fans Are Going To Have To Make A Hard Choice https://kotaku.com/crazy-taxi-world-tour-preview-sega-ai-use-steam-disclaimer-2000728372

Yep, leave me behind….. #BookSky

when i interviewed for wolfeye i had a separate interview with raf just to find out if i got imsims and it took like 15 minutes because you either get it or ya don't

Cara Ellison@caraellison.bsky.social · 2mo ago

laughed with enjoyment all the way through this interview because raf seemed to say several times ‘I just make a good imsim. What do you want from me? I just make em good.’

None of them can/will be solved with AI

GamesIndustry.biz@gibiz.bsky.social · 2mo ago

Sjoerd De Jong on why the new Immens game engine is needed: "We're at the point where the industry is facing a number of different challenges, and just continuing to do things as we've done before is not really it." https://bit.ly/4xRY14m

do get off there gang

John Pfaff@johnpfaff.bsky.social · 2mo ago

Evidence is already accruing that spending time on Twitter pulls ppl to the right, bc the algorithm feeds you horrible stuff. And again: academics are likely more vulnerable, bc they convince themselves they are less.

Godot being Open Source is empowering for game studios, but there are nuances. Thread 🧵👇🏼 #godotengine

Woah.

@edzitron.com had it on the money here

Gonna keep telling this story. I watched an hour long "How To Write An AI Novel" how to video out of curiosity and I shit you not, 60% of the video was about how to trick Claude into writing something that didn't look like it was AI. If genAI is a tool, it's core audience uses it mostly for fraud.

Devs, pay attention to who is actually, practically offering support to our laid off colleagues. It’s not the companies, it’s not the ESA, it’s the union, it’s us.

United Videogame Workers-CWA@videogameworkers.bsky.social · 3mo ago

🎉 IT'S LIVE 🎉 The game industry hardship fund itch bundle made in partnership with @necrosoftgames.com is HERE. Over 100 games for $10+ bucks: all funds (save for itch fees) go directly to the UVW-CWA Game Worker Hardship Fund. GOOD GAMES FOR A GOOD CAUSE👇 itch.io/b/3802/game-...

I dont think that's ridiculous to say

Ducktor Nald@ducktornald.bsky.social · 2mo ago

I don't want to say that one of the biggest corporate obstacles in making that Blade movie was that Blade is black but I am thinking it