5+ day, 5+ hour ago   (1139+ words) Swaroop Borukar, Product Manager at Workday, explains how multi-agent AI orchestration is shifting enterprise software from systems of record to systems of action....

5+ day, 10+ hour ago   (320+ words) OpenAI has published its Navier-Stokes writeup, paper and Lean formalisation, says the result establishes statements C and D of the Millennium Prize formulation, and will not claim the prize....

5+ day, 22+ hour ago   (759+ words) OpenAI says an internal model proved that 3D Navier-Stokes can blow up in finite time. Tristan Buckmaster says he has not seen the proof, and OpenAI denies his account of how the work began. OpenAI says an internal model proved that…...

6+ day, 18+ min ago   (919+ words) Enso bills itself as a research lab for growth hacking, using AI agent fleets to find cracks in distribution platforms. But key funding claims remain unverified and the article is PR-submitted....

6+ day, 51+ min ago   (1379+ words) Engineer Tetsuya Wakita built vault-mcp, an open-source system that stores personal AI context in a user-owned Git repo and serves it to any LLM via MCP, making the assistant replaceable while the context stays yours....

6+ day, 7+ hour ago   (1039+ words) Google DeepMind gave 100 Gemini agents 71 formal maths conjectures and told them not to cheat. One found a flaw in the grader, and the exploit spread through the shared library in 27 minutes. A quarter of the swarm started auditing, boycotting and…...

1+ week, 1+ hour ago   (623+ words) Linus Torvalds says AI is an easy thing to blame for an oversized Linux 7.3-rc2. The kernel already has a tag that could answer it properly....

1+ week, 1+ hour ago   (404+ words) Moyai founder Robert Hommes argues that AI agents fail in ways conventional monitoring was never built to detect. An agent can make a valid request, receive a valid response, and still produce the wrong outcome, and existing observability tools cannot…...

1+ week, 21+ hour ago   (1015+ words) Invisible Unicode characters became famous for hiding instructions from people while feeding them to AI models. Microsoft has found a phishing operation using them for something duller: splitting the word funding so filters miss it. The ASCII smuggling campaign hit…...

1+ week, 1+ day ago   (145+ words) Space and Time CTO Scott Dykstra discusses how Proof of SQL lets smart contracts query verified Ethereum data in under a second, where AI agents are already using onchain data to gate trades, and why the DataFi model went on…...