Research

LLMs Make Formal Software Verification Feasible at Scale

Large language models are making formal software verification feasible at a much larger scale. This development helps improve the reliability and security of software systems while reducing the cost of manual verification.

Summarized by AI from one outlet

Source

Latest

  1. Research

    Alibaba Qwen Leader Details Personal AI Agent Tech Framework

    Jiang Guanhui, head of Alibaba Qwen's AI algorithms, shared technical insights on personal AI agents at the 2026 China Computer Conference. He stated that model, memory, and ecosystem synergy are core to achieving incremental value and proactive personalized services.

    IT之家

  2. Research

    Anthropic Co-Founder Moves Self-Improving AI Prediction to 2027

    A new benchmark by P-Zero Research shows rapid improvements in AI models' ability to design experiments autonomously. This has led Anthropic co-founder Jack Clark to move his prediction for self-improving AI to 2027. The timeline shift highlights the accelerating pace of progress in AI's capacity for autonomous scientific research.

    THE DECODER

  3. Research

    Anthropic Says Single Agent Beats Subagents

    Anthropic released a migration kit suggesting companies consolidate multiple sub-agents into a single agent. The single-agent architecture proved faster and handles complexity better by loading context on demand.

    THE DECODER

  4. Research

    Study: LLMs Absorbing 'Farm Content' May Cause Reasoning Decay

    Researchers at Texas A&M University found that large language models exposed to long-term low-quality but popular social media content may experience 'AI brain rot.' This phenomenon leads to irreversible degradation in reasoning capabilities, raising concerns about the quality of long-term training data for AI models.

    科技新報

  5. Research

    MIT study: AI implanted false memories may distort expert judgment

    MIT researcher Pattie Maes told The Washington Post that generative AI can implant false memories, causing users to develop misplaced confidence. The research warns that even expert judgment in specific fields can be distorted by erroneous AI information, raising concerns about the reliability of AI-driven decision-making.

    科技新報

All news → · All rights belong to the original creators