AI

AI models, agents and LLM tooling

Vercel blog

Vercel blog

OpenAI's GPT-6 Astra launches for agentic work with Critical cyber risk rating

16 hours agoRead more

• Hacker News – Front Page (hnrss.org)

  GPT-6 Astra's KiCad demo puts AI circuit design to the EEBench test

  17 hours ago

  

• Hacker News – Front Page (hnrss.org)

  Claude writes first complete computer-checked Lean proof of Fermat's Last Theorem

  18 hours ago

  

• The Verge

  Roland enters generative AI music with Melody Flip, a MIDI-first DAW plug-in

  19 hours ago

  

• The Verge

  OpenAI launches GPT-6 Astra and declares the AGI era has begun

  19 hours ago

  

• Hacker News – Front Page (native)

  Simultaneous Outages Hit ChatGPT, Claude and Grok With No Cause Given

  19 hours ago

  

• The Verge

  NHTSA opens audit into Tesla Cybercab over missing steering wheel, pedals and mirrors

  20 hours ago

  

• TechCrunch

  OpenAI agents spent a month editing a German wiki unnoticed, researchers find

  20 hours ago

  

• The Verge

  Microsoft filing says Copilot rarely reproduces NYT and book authors' work

  21 hours ago

  

• TechCrunch

  Gemini Spark can now edit photos and curate albums inside Google Photos

  22 hours ago

  

Vercel blog

OpenAI's GPT-6 Astra launches for agentic work with Critical cyber risk rating

16 hours ago

• Hacker News – Front Page (hnrss.org)

  GPT-6 Astra's KiCad demo puts AI circuit design to the EEBench test

  17 hours ago

  

• Hacker News – Front Page (hnrss.org)

  Claude writes first complete computer-checked Lean proof of Fermat's Last Theorem

  18 hours ago

  

• The Verge

  Roland enters generative AI music with Melody Flip, a MIDI-first DAW plug-in

  19 hours ago

  

• The Verge

  OpenAI launches GPT-6 Astra and declares the AGI era has begun

  19 hours ago

  

All posts →