grep -r "Project Highlights" /news · homesearch
grep -rli "Project Highlights" /news

Project Highlights

Full-text search across 3781 articles. Combine with topic and date filters; results sorted by relevance.

results 3781 page 134/190
09:38
2026-07-21
machinebrief.com
artificial-intelligence

LWiAI Podcast #247 - Opus 4.8, MAI, Anthropic IPO, Minimax-M3

Anthropic released Claude Opus 4.8 with improved benchmark scores and Dynamic Workflows for multi-agent tasks, while Microsoft unveiled the always-on Scout assistant and new MAI models including MAI Thinking 1. Anthropic…

00:00
2026-07-20
blog.zksecurity.xyz
ai-tools

Bringing Aleo and Leo into zkao

ZkSecurity integrated the Leo programming language and Aleo program ecosystem into its AI bug detection tool zkao, collaborating with HumanityLink as a live test target and reporting findings back to them. HumanityLink i…

06:59
2026-07-19
chaoxu.prof
artificial-intelligence

AI Agents for the Working Mathematician

Mathematicians can now use autonomous AI agents such as OpenAI's Codex or ChatGPT Work to tackle conjectures over hours, far outperforming standard ChatGPT sessions. The agents maintain durable state, control context, us…

06:02
2026-07-19
pub.towardsai.net
artificial-intelligence

Understanding AI Agents: What Actually Works When Building AI Products

A guide to building AI products maps the core structure into five nodes, starting with the base LLM and moving through wrapping layers that add tools, memory, and RAG to overcome the model's limited knowledge and probabi…

15:44
2026-07-17
i-programmer.info
robotics

Giving Robots the Sense Of Touch

Amazon researchers and the University of Michigan have developed HydroShear, a physics-based simulator that teaches robots to use tactile shear forces for complex manipulation tasks, achieving a 93 percent average succes…

00:00
2026-07-17
effect.website
developer-tools

This Week in Effect - #127

Effect v4 Beta has moved to the canonical Effect-TS/effect repository, with the main branch now officially Effect v4 while v3 lives on the v3 branch. The effect-smol repository has been archived and its full Git history …

23:01
2026-07-16
pub.towardsai.net
large-language-models

Beyond the KV Cache: What Comes Next

A hardware analysis reveals that deploying 70-billion parameter models in FP16 requires moving 140 gigabytes of weights across the memory bus per token, creating a memory-bound bottleneck that limits batch sizes to one f…

06:15
2026-07-16
lesswrong.com
ai-safety

Can we build an early warning system for loss of control to AI?

A researcher at EleutherAI has built a mathematical model to forecast loss of control to AI, finding that predictions are highly sensitive to poorly characterized parameters for 'leakage' (accidental uncooperative AI) an…

02:59
2026-07-16
news.mit.edu
artificial-intelligence

Can AI build a jet engine? JARVIS Challenge tests AI copilots

MIT's JARVIS Challenge tested whether AI can accelerate the design and fabrication of a jet engine, with 31 undergraduates building small gas turbine aero engines in four weeks. Professor Zolti Spakovszky said AI substan…

23:16
2026-07-15
kqed.org
artificial-intelligence

Too Old for Silicon Valley? Think Again. AI Is Changing the Math

Experienced engineers like Ben Kovitz, who returned to Silicon Valley after a career in academia, are finding that AI is reshaping the job market in their favor. ZipRecruiter reports senior-level job postings rose to 43.…

10:56
2026-07-15
anthropic.com
artificial-intelligence

Societal Impacts: Claude's values across models and languages

Anthropic researchers developed a method to compress thousands of values expressed by Claude into four key axes—Deference vs. Caution, Warmth vs. Rigor, Depth vs. Brevity, and Candor vs. Execution—that capture 15% of the…

07:05
2026-07-15
vuci.ai
artificial-intelligence

Forever War (Trump's Version)

Boko Haram fighters are using AI chatbots like Claude and ChatGPT to design bigger explosives and plan attacks, according to a Cambridge University study cited by Pod Save the World hosts Tommy Vietor and Ben Rhodes, who…

← prev page 134 / 190 next →