Mistral AI Releases Leanstral 1.5 for Lean 4 Proof Assistance
other 1 sources · Jul 1

Mistral AI Releases Leanstral 1.5 for Lean 4 Proof Assistance

Leanstral 1.5 aims to reduce the labor of converting human-readable math and specifications into Lean 4 notation, potentially broadening formal proof use beyond expert mathematicians to practical software verification.

GIGAZINE
Quasimorph Sets July 31 Official Release Date
games 2 sources · Jul 1

Quasimorph Sets July 31 Official Release Date

After an early access period that is now ending, Quasimorph's 1.0 release locks in the full narrative and systems for a game built around permanent loss on death.

Game Spark
OpenAI Engineers Find Way to Cut Inference Costs by More Than Half
other 1 sources · Jul 1

OpenAI Engineers Find Way to Cut Inference Costs by More Than Half

If the cost reduction can be generalized across all users, OpenAI could lower prices, expand free access, or absorb more agent workloads without purchasing additional chips, protecting profit margins in an industry racing to build data centers.

GIGAZINE
Kyoto Xanadu -Ouka Genbu- Pre-Releases Insert Song, Drops New Trailer
games 5 sources · Jul 1

Kyoto Xanadu -Ouka Genbu- Pre-Releases Insert Song, Drops New Trailer

The early release of a story-critical insert song two weeks before launch signals Falcom's strategy to build pre-release engagement through the game's fictional virtual singer, treating LinoN as a real artist with a distribution rollout.

4Gamer.net, Denfaminicogamer, ASCII.jp, and 1 more
Toshihiro Miyata Named Official Supporter for TGS2026
games 1 sources · Jul 1

Toshihiro Miyata Named Official Supporter for TGS2026

The appointment of a celebrity with deep gaming credentials, rather than a purely promotional figure, signals TGS's intent to emphasize authentic gamer culture for its milestone 30th edition.

Game Spark
Chiikawa Film Appears on FNS Kayousai Ahead of July 24 Release
anime 2 sources · Jul 1

Chiikawa Film Appears on FNS Kayousai Ahead of July 24 Release

The FNS Kayousai appearance and the July 3 information day represent a coordinated promotional push for Chiikawa's first film, a franchise that has grown from a Twitter manga to a multimedia phenomenon with over 400 million YouTube views.

KAI-YOU, Anime Anime