Search: “Turing”

9 stories

Searchkeyword smart Sortlatest hot importance relevance

DomainAll Cyber AIWindow24h 3d 7d 30d AllIn the wild Important only Show duplicates

CategoryAll Malware 20 Research 16 Vulnerability 10 Ransomware 10 Policy & legal 10 Industry 9 Exploit / PoC 7 Data breach 5 AI safety & security 4 Advisory 3 Threat actor 3 Phishing & fraud 3 AI industry 2 AI research 2

SeverityAll critical 27 high 20 medium 16 low 35 info 9

Beyond the Turing threshold: Productive grammars generate essentially undecidable languages

A theoretical paper designs formal grammars that emulate Post's productive sets, generating languages that are provably beyond Turing decidability.

The paper elaborates on Emil Post's productive sets, which are not even semi-computable, and builds formal grammars that emulate their construction over natural numbers. The resulting languages are shown to be essentially undecidable, placing them beyond Turing decidability. This is pure computability and formal language theory with limited direct security relevance.

arXiv cs.CRSep 10, 11:20 UTC · 5d agoResearch1

UK Launches Initiative to Develop Global AI Standards

Infosecurity MagazineJan 12, 12:09 UTC · Jan 12, 2022AI policy

Sparks Fly: NVIDIA Accelerates Local AI at IFA 2026

NVIDIA announces local AI push at IFA 2026 with faster llama.cpp/vLLM inference, PAIR routing tool, and October RTX Spark PCs.

At IFA 2026, NVIDIA announced simplified local AI support for agents in Hermes Agent, OpenClaw, and Perplexity Portable Computer, plus new llama.cpp and vLLM optimizations delivering up to 1.9x faster local inference. NVIDIA also unveiled PAIR, a Personal AI Router for distributing inference across a local network's PCs, and compact RTX Spark Windows PCs from Lenovo and Acer arriving in October. The post recaps recent local-capable model releases including Nemotron 3.5 Lightning (30B), Qwen3.8-Flash-Next and Qwen3.8-27B, DeepSeek v4 Flash (284B MoE, 13B active), Meta Muse Glimmer (30B), Z.ai GLM-5.3-Flash, LTX 2.5, and MiniMax-H3 with the FastH3 distilled variant.

NVIDIA BlogSep 3, 16:00 UTC · 12d agoAI industry

Import AI 470: No rights for machines; automating environment generation with SPADE; and building better GPU kernels with Hawkeye

METR analysis finds AI accelerating cyber vulnerability discovery, while SPADE self-play environment generation improves Qwen3 reasoning benchmark scores at 30B scale.

Import AI 470 discusses a METR research note reporting differential acceleration from AI: major acceleration in reported cyber vulnerabilities (cURL, OpenSSL, Firefox, Microsoft, NVD, OSV), minor acceleration in mathematics, and no measurable acceleration in AI-research optimization benchmarks. It also covers SPADE, a self-play framework from a multi-university team (University of Washington, Stanford, MIT, CMU, and others) that co-evolves executable training environments and agent capability using Environment Designer and Reasoning Agent roles with hint-based regret rewards. Trained on Qwen3-4B-Instruct-2507, Qwen3-8B, and Qwen3-30B-A3B-Instruct-2507 via GRPO (400 rollouts of 25 environments), SPADE lifted the 30B-A3B game-environment suite average to 58.3, +8.1 over base, and improved tool-use results across backbones. The issue also references Hawkeye for building better GPU kernels.

Import AIAug 24, 13:12 UTC · 22d agoAI research

The Evolution of the Agent Harness

Latent Space essay argues late-2025 agent gains came from models and harnesses maturing together, with harness logic absorbed into model weights.

The piece defines the agent harness as everything beyond model weights—tools, context, memory, guardrails—and charts its evolution from ReAct prompting (October 2022) through AutoGPT's premature autonomy, Cursor/Copilot's human-in-the-loop retreat, and Devin's roughly 15% success rate, to o1's capability overhang and Claude Code's February 2025 terminal agent with permission rules. It argues the Christmas 2025 jump cited by Transformer co-inventor Lukasz Kaiser reflected model and harness curves crossing, and that remaining harnesses will serve human attention rather than the model.

Latent SpaceAug 22, 07:30 UTC · 25d agoAI tools & infra

'I Saw a Shiny Thing': Cop Explains Why He Used License Plate Reader to Stalk Woman

Body camera footage shows Florida officer Lamar Roman used DMV databases and ALPR cameras to stalk a woman; dozens of Flock misuse cases surfaced.

404 Media published body camera footage showing the investigation into officer Lamar Roman, who met a woman on the set of Apple TV's Bad Monkey, then illegally queried DMV databases and placed her plate on an ALPR hot list. He nearly caused a head-on collision while following her and illegally pulled her over, and was later arrested in front of his home. Flock's CEO said the system has caught many abusive officers, and the Washington Post found at least 50 misuse incidents; Roman used Turing's Guardian ALPR system.

404 MediaAug 20, 06:56 UTC · 27d agoPolicy & legal