1. July 2026
  2. Mistral's Leanstral 1.5 is an open model that proves theorems and finds real bugs (mistral.ai)
    AI · · July 14, 2026 · Mistral · Open Models · Research
  3. AI helps individual scientists but narrows what science explores (spectrum.ieee.org)
    AI · · July 13, 2026 · Research · Science
  4. Lilian Weng: the harness matters as much as the model (lilianweng.github.io)
    AI · · July 13, 2026 · Agents · Research · Safety
  5. Mistral's Robostral Navigate steers a robot from a single camera (mistral.ai)
    AI · · July 13, 2026 · Mistral · Robotics · Agents
  6. Nathan Lambert: open models may face US limits within months (interconnects.ai)
    AI · · July 13, 2026 · Open Models · Policy · Anthropic
  7. Terence Tao rebuilds two dozen old applets with coding agents (terrytao.wordpress.com)
    AI · · July 13, 2026 · Agents · Coding · Engineering
  8. Apple sues OpenAI, alleging its hardware is built on stolen secrets (techcrunch.com)
    AI · · July 12, 2026 · OpenAI · Apple · Legal
  9. Anthropic's new Reflect feature nudges you to use Claude less (anthropic.com)
    AI · · July 12, 2026 · Anthropic · Claude · Product
  10. OpenAI ships GPT-5.6, strong on agents but not the coding leader (openai.com)
    AI · · July 12, 2026 · OpenAI · Models · Agents
  11. The open model world now runs on three kinds of makers (interconnects.ai)
    AI · · July 12, 2026 · Open Models · Licensing