Why labs may be hiding Lean math results: teaching AI to break encryption
rickasaurus · x · 2026-11-01
rickasaurus shares his reaction to frontier labs hiding "lean files": initially outraged that results to open science problems were concealed, he then realized these could relate to teaching computers to break encryption — making secrecy defensible.
More from Models
- Users Report ChatGPT Image Generation Suddenly Downgraded: Distorted Faces, Prompt Drift — RumbleversePlayer · 2026-11-01
- Google readies Chief of Staff voice agent for Antigravity, possible launch next week — testingcatalog · 2026-11-01
- Reddit user details Codex disaster: broken UI and botched logic in Unity game port — AcademicMistake · 2026-11-01
- Nvidia engineers detail Open Agent Safety Platform's three-layer approach to agent containment — LuizaJarovsky · 2026-11-01
- ChatGPT audits 40,326 blog posts to name Marginal REVOLUTION's weakest arguments — joshgans · 2026-11-01
- Dev rants: Google's gated model releases are training users to hate them — ricklamers · 2026-11-01