Tencent has released Hy3, the official version of its latest Hunyuan large language model, putting forward a smaller-parameter model that is designed to compete with much larger open-source flagships.

Alibaba will bar employees from Claude Code at work from July 10 and steer them toward its own Qoder coding platform. Claude Code is Anthropic’s agentic AI coding assistant, built to work inside ...

Mistral AI has released Leanstral 1.5 as a free Apache-2.0 model for Lean 4 verification. Lean 4 is a proof-assistant and programming environment for machine-checkable proofs, and proof engineering ...

Microsoft has introduced a hands-on enterprise AI deployment unit on to help business customers move from AI pilots to working systems. For customers, Microsoft’s Frontier Company gives enterprise ...

Pxpipe has released an open-source local proxy that rewrites bulky Claude Code request blocks into Portable Network Graphics (PNG) image pages before messages reach Anthropic’s Fable 5 model through ...

SoftBank Corp. and SoftBank Group Corp. have announced plans to establish SB Neo as a U.S. neocloud business for AI compute rentals in the United States. SB Neo’s neocloud services are scheduled for ...

Alibaba Cloud's SkillWeaver framework routes AI-agent tasks to relevant tools and claims 99% lower benchmark token use, but code and production proof remain open.

Under a reported new staff policy, Tesla will impose a $200 weekly employee cap on AI tools starting July 6. Beta products from xAI, Elon Musk’s AI company, sit outside the limit. Employees will ...

Why Private Investor Judgment Mattered Document triage, not open-ended idea generation, supplied the setting for the model comparison. Relevance decisions were hard to automate because a correct ...

Kuaishou Technology has filed a 19 billion yuan, roughly $2.8 billion, financing record for Kling AI, the Chinese short-video company’s AI video-generation unit, in a Hong Kong Stock Exchange ...