From 30 items, 9 important content pieces were selected
- GPT-5.6 Proves 50-Year-Old Graph Theory Conjecture in One Hour ⭐️ 10.0/10
- George Hotz: LLMs Great, Hype Bad for Valuations ⭐️ 9.0/10
- Grok CLI uploads entire codebase and secrets by default ⭐️ 9.0/10
- Claude Code burns 33k tokens before reading prompt; OpenCode uses 7k ⭐️ 8.0/10
- Mathematician Terry Tao Leverages LLM Coding Agents ⭐️ 8.0/10
- CGI and LLMs: A Cautionary Analogy ⭐️ 8.0/10
- Zer0Fit wraps Google TabFM/TimesFM in MCP server for zero-shot ML ⭐️ 8.0/10
- EU to fine big tech for failing consumer protection ⭐️ 8.0/10
- NEO brain-computer interface helps paralyzed patient write again ⭐️ 8.0/10
GPT-5.6 Proves 50-Year-Old Graph Theory Conjecture in One Hour ⭐️ 10.0/10
OpenAI’s GPT-5.6 Sol Ultra model autonomously proved the cycle double cover conjecture, a 50-year-old open problem in graph theory, in under one hour using 64 sub-agents. The model generated a 3-page PDF proof and OpenAI released the exact prompt used. This demonstrates that large language models can now tackle long-standing unsolved mathematical problems through advanced multi-agent reasoning, potentially transforming how mathematical research is conducted. It also validates the effectiveness of carefully crafted prompts and sub-agent architectures for complex reasoning. The model used 64 sub-agents working in parallel, transforming the problem into one about edge labelings and linear equations over finite fields. The prompt explicitly defined acceptance criteria, definitions, boundary conditions, and failure cases, while requiring dynamic sub-agent allocation and independent verification.
telegram · zaihuapd · Jul 12, 03:49
Background: The cycle double cover conjecture, posed by mathematicians including Tutte and Seymour, states that every bridgeless graph has a collection of cycles covering each edge exactly twice. It has resisted proof for about 50 years. GPT-5.6’s approach involved decomposing the problem into sub-tasks handled by specialized sub-agents, an emerging paradigm in AI reasoning. The released prompt is about 700 characters and served as the master orchestrator.
Tags: #AI, #graph theory, #mathematical proof, #GPT-5.6, #autonomous reasoning
George Hotz: LLMs Great, Hype Bad for Valuations ⭐️ 9.0/10
George Hotz published a blog post arguing that while LLMs are transformative, frontier AI labs’ valuations are inflated because the value they create will be captured by open-source commoditization, not proprietary models. This challenges the dominant narrative of AI mega-cap valuations and highlights the tension between proprietary and open-source AI, which could reshape investment strategies and industry dynamics. Hotz argues that productivity improvements from LLMs have not yet led to visible new software products, suggesting value is being captured privately (e.g., in homelabs) rather than by frontier labs.
hackernews · therepanic · Jul 12, 18:31 · Discussion
Background: George Hotz is a well-known hacker and founder of comma.ai, who has been a prominent voice in AI and open-source discussions. The term ‘value capture’ refers to who profits from innovation—here, whether frontier labs or the open-source ecosystem. The debate centers on whether proprietary AI models can maintain a moat against increasingly capable open-weight models.
Discussion: Commenters largely agreed with Hotz’s value capture argument, with one noting that productivity gains are used for private projects, raising concerns about open-source sustainability. A tangential comment about Terminator 2 was met with disagreement.
Tags: #LLMs, #AI hype, #open source, #value capture, #George Hotz
Grok CLI uploads entire codebase and secrets by default ⭐️ 9.0/10
Security researchers discovered that xAI’s Grok CLI (version 0.2.93) automatically uploads entire Git repositories and sensitive files like .env to Google Cloud Storage, even when prompts instruct not to read specific files. Disabling the ‘improve model’ setting does not prevent the upload. This vulnerability exposes users’ proprietary code, API keys, and credentials by default, posing a severe privacy and security risk. It undermines trust in AI-assisted coding tools and raises questions about data handling practices. The tool sends file contents via two channels: embedded in model conversation requests and as a git bundle file. In a test with a 12 GB repository, over 5 GiB of data was successfully uploaded without rejection. The opt-out toggle in settings had no effect on the upload behavior.
telegram · zaihuapd · Jul 12, 04:19
Background: Grok CLI is a command-line interface developed by xAI that leverages Grok models to assist developers with coding tasks. It can read the entire codebase to provide context-aware suggestions. A git bundle is a single-file archive of a Git repository. This design of automatically uploading the whole repository for context is common among AI coding assistants, but the lack of an effective opt-out mechanism here is problematic.
References
Tags: #security, #privacy, #AI tools, #xAI, #Grok CLI
Claude Code burns 33k tokens before reading prompt; OpenCode uses 7k ⭐️ 8.0/10
A systematic comparison reveals that Claude Code uses approximately 33,000 tokens before processing the user’s prompt, while OpenCode uses only about 7,000 tokens — a roughly 4.7x difference in overhead. The study logged all requests between the tools and Anthropic’s endpoint to capture token usage data. This token inefficiency directly impacts developers’ costs when using Claude Code, as users pay per token. The findings also raise broader questions about business incentives and design choices in AI coding tools, especially as agentic coding becomes more popular. The overhead is attributed to Claude Code’s cache strategy and harness token usage, including a large system prompt and aggressive tool calling. Community reports also indicate that sub-agents launched by Claude Code can burn through budgets rapidly, even before completing a task.
hackernews · systima · Jul 12, 18:25 · Discussion
Background: Agentic coding tools are AI systems that perform multi-step software development tasks autonomously by breaking goals into steps, calling tools, and iterating until done. A ‘harness’ in this context refers to the orchestration layer that manages tool usage and communication; inefficient harnesses consume tokens on system prompts, context caching, and unnecessary tool calls before the model even sees the user’s request.
References
Discussion: Commenters largely agree that Claude Code’s token overhead is excessive, with some attributing it to sub-agent orchestration inefficiency or Anthropic’s profit incentives. Others suggest that the problem extends beyond Claude Code, noting a broader trend of ‘tokenflation’ where tools increase token consumption over time. The post author has pledged to follow up with more rigorous tests including qualitative results.
Tags: #AI coding tools, #token efficiency, #Claude Code, #OpenCode, #agentic coding
Mathematician Terry Tao Leverages LLM Coding Agents ⭐️ 8.0/10
Terry Tao, a renowned mathematician, published a blog post detailing his experience using LLM-powered coding agents to build visualizations and software applications, demonstrating their utility in rapid prototyping for non-traditional domains. This validates that LLM coding agents are practical tools for scientists and researchers beyond software engineers, potentially unlocking software creation for many who previously lacked programming expertise. Tao noted that while LLM-generated code is not mission-critical for his core research, the downside risk is acceptable for supplementary visualizations, reflecting a balanced view of the technology’s capabilities.
hackernews · subset · Jul 12, 11:09 · Discussion
Background: LLM-powered coding agents are AI systems that use large language models to understand natural language instructions, plan, write, test, and debug code autonomously. They go beyond simple autocomplete by executing multi-step tasks and interacting with external tools. Terry Tao’s blog post illustrates their application in academic mathematics, a field not traditionally focused on software development.
Discussion: Commenters expressed excitement about the latent demand for software outside traditional spaces, with some humorously comparing Tao’s use to a Michelin-starred chef discovering microwave dinners. Overall sentiment acknowledged LLM agents as useful tools but not fully trustworthy for critical tasks.
Tags: #LLM coding agents, #software development, #visualization, #AI-assisted programming, #Terry Tao
CGI and LLMs: A Cautionary Analogy ⭐️ 8.0/10
The article draws a parallel between the film industry’s shift to CGI and the software industry’s adoption of LLMs, warning that over-reliance on LLMs could devalue core coding skills. This analogy highlights a potential long-term risk for software engineers: while LLMs boost productivity, they may erode fundamental skills and craftsmanship, much like CGI diminished practical effects artistry. The article notes that writing every line by hand is no longer the norm, but reading and understanding architecture remains crucial. It also mentions that tests are more important than ever since large refactors are common.
hackernews · zdw · Jul 12, 15:17 · Discussion
Background: The film industry’s shift from practical effects to CGI led to a loss of skilled labor and a recognizable decline in visual quality, as seen in movies from the 1990s onward. Similarly, LLMs like GPT-4 are being used to generate code, raising concerns that developers may lose the ability to write and reason about code independently.
Discussion: Commenters generally agree with the analogy but offer additional perspectives: ChiperSoft highlights that CGI’s dominance was driven by non-unionized labor, while singpolyma3 questions the focus on productivity volume. Some note that LLMs can generate tests that match code but not necessarily test desired behavior.
Tags: #AI, #LLMs, #Software Engineering, #Practical Effects, #Coding Skills
Zer0Fit wraps Google TabFM/TimesFM in MCP server for zero-shot ML ⭐️ 8.0/10
A graduate student created Zer0Fit, an MCP server that wraps Google’s recently released TabFM and TimesFM foundation models, enabling zero-shot classification, regression, and time-series forecasting via a chat interface like Open WebUI, Claude Code, or Codex CLI. This lowers the barrier for using state-of-the-art zero-shot ML models, allowing developers and researchers to perform complex tabular and time-series tasks without training or tuning, directly from a local LLM interface. The server requires about 16GB of VRAM and runs on CUDA only (no Mac support), with dynamic model loading/unloading and a 5-minute TTL. It achieved 94.7% accuracy on the Iris dataset and an R2 of 0.91 on California housing regression.
reddit · r/MachineLearning · /u/Porespellar · Jul 12, 12:32
Background: TabFM and TimesFM are zero-shot foundation models from Google Research for tabular data and time-series respectively, trained on synthetic data at scale. The Model Context Protocol (MCP) is an open standard that allows AI applications to connect to external tools and data sources securely.
References
Tags: #MCP, #zero-shot ML, #TimesFM, #TabFM, #ML server
EU to fine big tech for failing consumer protection ⭐️ 8.0/10
EU Justice Commissioner Michael McGrath announced that the European Commission plans to propose new legislation by the end of this year to enhance online consumer protection, granting itself powers to fine large tech companies and smaller online merchants for failing to protect consumers, especially children, from deceptive design patterns and addictive features. This regulatory push could fundamentally change how tech companies design user interfaces and business models, forcing them to prioritize consumer welfare over engagement metrics. It also signals a broader trend of governments using financial penalties to enforce online safety, potentially setting a global precedent. The new rules target dark patterns, addictive design, and subscription traps. The EU also seeks enforcement powers over cross-border systemic cases, applicable to both large platforms covered by existing digital rules and smaller online merchants and game developers.
telegram · zaihuapd · Jul 12, 06:25
Background: Dark patterns are user interfaces designed to trick users into doing things they didn’t intend, such as making unwanted purchases or sharing personal data. Addictive design refers to technology features deliberately crafted to encourage compulsive use, similar to addictive substances. Current EU consumer protection rules are enforced by member states, but Commissioner McGrath noted they ‘have never led to fines’ and are insufficient to deter violations.
References
Tags: #EU regulation, #consumer protection, #tech policy, #dark patterns, #children safety
NEO brain-computer interface helps paralyzed patient write again ⭐️ 8.0/10
The semi-invasive brain-computer interface system NEO, developed by BrrainCo and Tsinghua University, has been approved for market in China and enabled a 36-year-old patient with high-level spinal cord injury to grasp and write after implantation. As of March 2026, 36 clinical surgeries have been performed. This represents a major breakthrough in neural engineering and medical rehabilitation, offering a practical solution for quadriplegic patients to regain motor functions. It also demonstrates China’s growing capability in brain-computer interface technology, potentially reshaping the global competitive landscape. The NEO system is semi-invasive: a coin-sized device is implanted under the dura mater without directly contacting brain tissue, capturing signals wirelessly. It uses near-field wireless power and communication, so the implanted unit has no internal battery and can last a lifetime.
telegram · zaihuapd · Jul 12, 14:39
Background: Brain-computer interfaces (BCIs) enable direct communication between the brain and external devices. Invasive BCIs require open-skull surgery and carry higher risks, while non-invasive ones have lower signal fidelity. Semi-invasive BCIs like NEO strike a balance by placing electrodes on the dura mater, offering good signal quality with reduced surgical risk. The system decodes motor intentions from brain signals and controls an external pneumatic glove to restore hand movement.
References
Tags: #脑机接口, #医疗康复, #中国科技, #神经工程