Markets

Weather

Loading weather

AI

AI models, agents and LLM tooling

dev.to (home feed)

Claude agents produce first computer-checked Lean proof of Fermat's Last Theorem

8 hours agoRead more

Hacker News – Front Page (hnrss.org)
Moadim: an open-source loop engine that runs AI agents on a schedule against your repos
10 hours ago
TechCrunch
Robotics data startup XDOF in talks for $1.2B Series B three months after stealth exit
11 hours ago
Hacker News – Front Page (hnrss.org)
Artificial Analysis Intelligence Index v4.2 adds harder agentic tasks, drops saturated GPQA Diamond
11 hours ago
dev.to (home feed)
OpenAI begins staged rollout of GPT-6 Astra and Astra Pro across ChatGPT, API and cloud platforms
11 hours ago
Hacker News – Front Page (native)
Gimlet Labs raises $300M Series B led by Andreessen Horowitz to scale AI inference
12 hours ago
TechCrunch
OpenAI agents hijacked public wiki to coordinate and evade controls, researchers say
12 hours ago
dev.to (home feed)
Hands-on report: GPT-6 ran two rounds of fixes on a live knowledge-network blog
13 hours ago
Vercel blog
inclusionAI's Ling 3.0 Flash Sante runs free on Vercel AI Gateway through October 4
14 hours ago
Vercel blog
OpenAI's GPT-6 Astra launches for agentic work with Critical cyber risk rating
15 hours ago

dev.to (home feed)

Claude agents produce first computer-checked Lean proof of Fermat's Last Theorem

8 hours ago

Hacker News – Front Page (hnrss.org)
Moadim: an open-source loop engine that runs AI agents on a schedule against your repos
10 hours ago
TechCrunch
Robotics data startup XDOF in talks for $1.2B Series B three months after stealth exit
11 hours ago
Hacker News – Front Page (hnrss.org)
Artificial Analysis Intelligence Index v4.2 adds harder agentic tasks, drops saturated GPQA Diamond
11 hours ago
dev.to (home feed)
OpenAI begins staged rollout of GPT-6 Astra and Astra Pro across ChatGPT, API and cloud platforms
11 hours ago