Evidence brief

26×26 chessboard queen domination number proven with Lean

The author says the queen domination number for a 26×26 chessboard has been proven in Lean to be 14: they both provide a placement of 14 queens that dominates the entire board and prove that 13 is impossible. The post points to OEIS A075458 and drew attention because a formal proof resolved an open problem in combinatorics.

Published: 2026-08-12
Updated: 2026-08-13
Editorial: Frontline Lab

Source: Original public source
Source author: brain-out-of-order
Related topics: 0
Collected: 2026-08-12

Frontline Lab summary and source

Editorial summary

This brief preserves the original source so the summary and editorial context can be checked independently.

Source attributionbrain-out-of-order

Open the original source

Related published evidence

Relationships are derived from shared topics, entities, categories, tags, and community context; every result remains independently source-linked.

OpenAI2026-08-13

1f916.org wants agent memory tampering to be detectable

The post says an AI agent’s persistent memory is essentially just a file, and if it is silently rewritten, it will be read as fact next time; 1f916.org proposes publishing a hash and comparing it after wake-up to detect tampering. The comments debate whether existing signatures cover chat history, thinking blocks, or memory file.

Original source

OpenAI2026-08-13

ChatGPT live video hits the limit within minutes

Plus users report that on Android Samsung phones, using advance voice with live video shows the daily limit is used up after only 5–10 minutes. Some commenters say OpenAI is fixing it, while others report the iPad camera freezing and screen share not working, even though Gemini works normally on the same device.

Original source

OpenAI2026-08-13

Someone rewrote Vim in Rust and Zig

The author released NextVim, saying they used Zed + OpenAI to recreate Vim in Rust and Zig, with plans to implement a vim-script engine and vim-regex, using Zed’s rope/text core. Comments questioned “why,” while also noting that the vim-script engine is the real hard part and suggesting a Lua plugin layer as an option.

Original source

OpenAI2026-08-12

Open-source MD2HD: turn Markdown into visual maps

Tired of reading one .md file after another, the author built MD2HD, an open-source Markdown visualization framework. The workflow is to point Codex at a repo or install a plugin, then generate a documentation structure map. Discussion centered on whether it can improve project documentation browsing and comprehension efficiency.

Original source

OpenAI2026-08-12

Suspected security warning makes user worry their computer is infected

The poster shared a screenshot of a prompt and said that after following its instructions, they started worrying whether their computer had been compromised. Since the post has limited information, the discussion mainly concerns whether such pop-ups or prompts are trustworthy and whether the user may be facing a security risk.

Original source