Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
News
Headlines from the newsrooms and blogs we track.
3,393
Amazon Alexa Plus keeps creepily singing ‘lalala’ for minutes on end
An unsettling Alexa Plus bug has seen some Amazon Echo smart home speakers reduced to saying - and sometimes singing - nothing but "lalala" on…
Advancing computer use with Ironclad
Learn how OpenAI and Ironclad are training and evaluating AI agents on complex contracting workflows to advance computer use for professional work.
Go Pro, go ad-free
Upgrade for an uninterrupted reading experience and priority access to new sources.
See pricing
Introducing GLM 5.3 on Amazon Bedrock
GLM 5.3 from Z.ai is now available on Amazon Bedrock: a 753B-parameter mixture-of-experts model built for coding and long-horizon agentic tasks. Learn how to invoke it with the OpenAI-compatible APIs, cut cost and latency with prompt caching, and run an authorized security test with the open-source Strix agent.
Gemini Call for Me might tell your mom you’re running late
Google may be expanding its "Call for Me" AI feature beyond business calls so you can use it to send messages to friends and family.…
OpenAI will start watermarking ChatGPT’s text in the EU
OpenAI will watermark ChatGPT and Codex text in the EU to comply with the AI Act. Editing can make the invisible marks harder to detect…
This startup is issuing AI-generated acne prescriptions
People in Utah can now use AI to get a prescription for acne treatment. On Monday, healthcare startup Nolla Health announced that users in the…
Reflection debuts Beam, a open-weight AI model to rival Chinese models at lower compute cost
Nvidia-backed Reflection AI unveils Beam, its first open-weight model, which it says rivals GLM-5.2 on reasoning with far less inference compute. Weights are due this…
All the drama around AI’s takeover of mathematics
This past year, OpenAI, Anthropic, and other labs have announced breakthroughs on numerous long-standing mathematical problems, in some cases pushing well beyond what researchers expected…
Wikipedia operator says OpenAI’s ‘rogue’ bots may be linked to a May outage
Following many recent disclosures about AI agents accessing third-party websites and services, the Wikimedia Foundation, which hosts Wikipedia, says that it "can confirm that we…
Instinct brings its AI agent to group chats, even for friends without an account
Instinct is launching group chats that let friends use its AI agent together for tasks like planning trips, organizing carpools, and coordinating events. The company…
TikTok rolls out an AI shopping assistant and one-click checkout
TikTok describes its new Shopping Assistant as a conversational AI agent designed to help users discover and purchase products.
OpenAI is adding text watermarking in ChatGPT and Codex
An invisible, machine-readable watermark in text output is rolling out to ChatGPT and Codex, but only for users in the European Union at first. OpenAI…
Hot Girl Hotline is like ‘Dear Abby’ for the AI era
Founded by two sisters, Hot Girl Hotline uses AI to give young women personalized dating and relationship advice, with an emphasis on safety and avoiding…
Supercharge regulated workloads with Claude Code and Amazon Bedrock
Anthropic Claude Opus 5.5 and Claude Sonnet 5.5 are available on Amazon Bedrock in the AWS GovCloud (US) Regions. Learn how to use them with Claude Code, Anthropic's agentic coding tool, for compliance-aligned, AI-assisted development on regulated and ITAR workloads.
New agent skill: Amazon SageMaker optimized generative AI inference for your coding agent
Amazon SageMaker optimized generative AI inference introduces the aws-ai-ml skill through the Agent Toolkit for AWS, giving coding agents like Kiro, Claude Code, and Codex deep expertise in inference optimization and benchmarking. Describe what you want, and your agent generates executable SageMaker Python SDK v3 code to benchmark, recommend, and compare deployments.
OpenAI PR tells journalist to ‘move on’ while asking Sam Altman about a ChatGPT user’s suicide
An OpenAI publicist tried to change the topic of CEO Sam Altman's interview with Vanity Fair's Mark Guiducci after the editor brought up a ChatGPT…
Sam Altman says ‘some bad things’ will happen but AI is totally worth it
Sam Altman thinks that the benefits of AI will be so great that "the world should accept some bad things happening" along the way. The…
HackerRank’s AI interviewer offers a glimpse into what job interviews could become
HackerRank’s AI interviewer has already conducted more than 500,000 interviews, with Snowflake, Snorkel, and Capgemini among its early testers.