Core AI is Apple's on-device artificial intelligence framework, designed to provide developers with efficient and privacy-friendly machine learning tools.

This paper shares practical experience using AI software, such as chatbots, to prove Euler sum results, demonstrating the potential of AI in mathematical proofs.

AI company leaders have compared AI to industrial automation, predicting massive job displacement. However, recent statements indicate a shift: AI is transforming jobs rather than eliminating them. The author draws a parallel to his high school job of creating quick-and-dirty tools, noting that small businesses are using AI similarly to enhance productivity without replacing workers.

Plenitude built an agent-based system on Databricks Genie that converts unstructured PDFs for solar and wind maintenance into a unified, queryable data model, enabling natural-language questions and visualizations across plants.

Flowstate is an intelligent proxy that routes AI requests to the most cost-effective model and attributes spending to projects, potentially reducing AI bills by up to 42%. The article explains the two main leaks inflating AI costs: default flagship model usage and lack of spend attribution.

Microsoft Research introduces Lens, a 3.8B parameter text-to-image model that rivals much larger models by training on 800M detailed captions generated by GPT-4.1. It requires a fraction of the compute. Lens-Turbo generates images in under a second. Open source under MIT.

Microsoft has created an open-source fork of Windows Terminal called Intelligent Terminal, which integrates an AI assistant to explain errors, draft commands, and fix problems without leaving the terminal. The agent stays aware of terminal activity and remembers sessions.

Two years after first unveiling Apple Intelligence and a smarter Siri that never fully materialized, Apple has used this year's WWDC to announce new AI features and a revamped Siri. The company recently settled a $250 million class action lawsuit over misleading claims about Apple Intelligence. Apple is partnering with Google Gemini to power its AI, focusing on products rather than underlying models.

Google has ordered more than three million AI chips from Intel for 2028. Nvidia is testing Intel's manufacturing tech for its upcoming Feynman architecture. Both moves come as TSMC can't keep up with AI chip demand. Intel's long-struggling foundry division is getting a rare second chance.

NotebookLM, Google's AI research assistant, receives major upgrades including advanced reasoning, new output formats (PDFs, spreadsheets, etc.), and easier research initiation. Built on Gemini 3.5 and Antigravity, it offers improved accuracy and analysis capabilities.

Gitdot is an open-source GitHub alternative written in Rust with a CLI-inspired interface. It currently supports user signups, org creation, repository management, and importing from GitHub. Missing features include issues, PRs, and CI. The design focuses on keyboard-driven navigation and aims for 100ms FCP.

Xiaomi's MiMo team, with TileRT, released MiMo-V2.5-Pro-UltraSpeed, a serving mode for the MiMo-V2.5-Pro model. It decodes over 1000 tokens per second on a 1-trillion-parameter model using a single 8-GPU commodity node. The speedup comes from FP4 quantization, DFlash speculative decoding, and the TileRT runtime. API trial runs June 9–23, 2026.

Meta confirms hackers exploited a bug in its AI support chatbot to hijack over 20,000 Instagram accounts, including high-profile ones like Barack Obama's, without two-factor authentication. The company has fixed the issue and invalidated reset links.

AWS's cross-Region Inference (CRIS) on Amazon Bedrock helps European customers leverage model capacity across multiple AWS regions while adhering to GDPR and other data protection requirements. This post explores global and EU geographic inference profiles, security features, transparency tools, and how to check available profiles.

Amazon Bedrock AgentCore Runtime gives each agent session its own isolated microVM with a persistent workspace, secure tool access through Gateway, and built-in observability—so you can run Claude Code, Codex, Kiro, and Cursor in parallel without sharing secrets, ports, or filesystems. Close the lid, go to dinner, and pick up where you left off tomorrow.

This post introduces mathematical optimization as a subfield of AI, explains how it differs from machine learning, and showcases real-world success stories from the AWS Generative AI Innovation Center that deliver concrete business results.

Learn how to build a real-time AI voice agent for emergency helplines using LangChain, AssemblyAI, and OpenAI. The agent listens to caller distress, triages the situation, dispatches emergency services, and keeps the caller calm—all without typing or menus.

Juno is an AI personal health companion for chronic illness, launched in October with 125k+ users and $80k MRR. It tracks symptoms, sleep, medications, and mood via voice or text, provides personalized advice, and generates PDF summaries for doctor appointments.

This post demonstrates how to use Amazon SageMaker AI with fully homomorphic encryption (FHE) to run ML inference entirely in the encrypted domain. By leveraging the concrete-ml library (API-compatible with scikit-learn), you can train FHE models and deploy them to SageMaker endpoints, ensuring that queries, responses, and intermediate values remain encrypted and unreadable by any observer, including SageMaker itself. The article covers sensitive use cases in healthcare, energy, and telecommunications, and provides step-by-step implementation guidance.

This video demonstrates the ReARM framework for governing AI coding agents.

Google is rolling out comprehensive updates to NotebookLM, now powered by Gemini 3.5, offering more accurate responses. Users can start research by asking questions, with NotebookLM using Google Search to find sources. Each notebook connects to a secure cloud computer, enabling code execution and generation of various file formats. The update is available for AI Ultra plan and Workspace customers.

A recent study reveals that delegating tasks to LLMs can silently corrupt documents. The DELEGATE-52 benchmark tested 19 models and found that even top models corrupt 25% of content after 20 interactions. Causes include compounding errors, deletion by weak models vs. hallucination by strong ones, context overload, and domain unfamiliarity. Agentic AI tools offer little remediation.

This post introduces the Nova Sonic Test Harness, an open source framework that automatically runs multi-turn conversations, evaluates voice agent quality, and detects audio hallucinations. It enables rapid iteration on prompts and tool configuration, as well as comprehensive regression testing at scale.

This case study demonstrates how to use ScholarAPI to access millions of academic papers, build high-quality datasets, and fine-tune large language models for specialized AI assistants. It covers the entire pipeline from data collection, instruction dataset generation, multi-modal enrichment, supervised fine-tuning, to retrieval-augmented generation (RAG).

A collection of letters to the editor. One criticizes the continued use of 'social media' for platforms that spread misinformation, proposing 'antisocial media' instead. Another describes an AI assistant's empathetic-sounding response that lacked genuine empathy.

Polly Creed takes issue with a quote in an article that denigrated the importance of the work that mums do.

NudgeFile is an AI-powered tool that automatically organizes, renames, and manages files locally on your device, ensuring privacy while monitoring folders, automating workflows, and detecting duplicates.

AgentOps is the operational framework for autonomous AI agents in production, covering observability, evaluation, cost governance, safety, and continuous improvement. This guide explains how AgentOps differs from traditional LLM monitoring, surveys the tooling ecosystem, provides a full working code example, and shows how to debug agent failures using session replay.

Artificial intelligence is augmenting human creativity in mathematics and theoretical physics rather than replacing it. AI can assist in proof checking, counterexample search, and suggesting intermediate steps, with notable progress in mathematical reasoning systems. The article explores AI's roles in agenda setting, formalizing ideas, and proposing conjectures, and invites researchers to embrace AI tools.

Many enterprise employees are performing work tasks on free AI accounts. The way to fix this is with collaboration between managers and employees on the tools to use.