Alibaba to ban employees from using Anthropic's coding tool, source says

BEIJING, July 3 (Reuters) - Chinese tech giant Alibaba (9988.HK) has banned employees from using Anthropic's Claude ‌Code at ...
TestingCatalog

Mistral releases Leanstral 1.5 open model for proof engineering

Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs ...
Rock Paper Shotgun

"Low-effort slop": The creators of the Godot engine behind Slay the Spire 2 are cracking down on "vibe-coding" and now require genAI disclosures

The Godot Foundation have announced a crackdown on genAI code, including mandatory disclosures, following a wave of ...
TMCnet

Sondera Compiles Natural-Language Rules into Provable Control Over AI Agent Actions

In peer-reviewed research using MedAgentBench, an independent benchmark for clinical AI agents published in NEJM AI, ...

Data Theorem Launches the Industry's First Closed-Loop AI Security Platform

Data Theorem, Inc., a leading provider of modern application security, today announced three new AI security capabilities: AI Exploits, AI Auto-Remediation, and AI Active Protection, all without the ...
The Financial ExpressOpinion

The ceiling problem

Large language models face a fundamental computational limit that causes undetected errors in complex tasks. Hybrid AI ...
IEEE

The Correctness-Security Gap in Compiler Optimization

Abstract: There is a significant body of work devoted to testing, verifying, and certifying the correctness of optimizing compilers. The focus of such work is to determine if source code and optimized ...
GitHub

DeepONet: Learning nonlinear operators

The source code for the paper L. Lu, P. Jin, G. Pang, Z. Zhang, & G. E. Karniadakis. Learning nonlinear operators via DeepONet based on the universal approximation theorem of operators. Nature Machine ...
The New York Times

They Spent Years on a Math Problem. Then They Were Scooped by A.I.

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians. What does that mean for their future? Credit...Illustrations by Yoshi ...