Brief

OpenAI has announced that an internal model, speculated to be a version of GPT-5, has disproven an 80-year-old mathematical conjecture known as the Erdős planar unit distance problem. This general-purpose reasoning model achieved the result for under $1000, a feat that mathematicians are hailing as a significant milestone for AI in scientific discovery. The model's extensive output suggests that advanced reasoning capabilities are emerging in LLMs, potentially extending beyond mathematics to other scientific fields. AI

Hua Xiansheng, president of the Tongji University Institute for Engineering Intelligence, believes AI's true challenge lies in its ability to integrate into complex physical engineering systems, not just digital tasks. He proposes "engineering intelligence" as a paradigm that merges AI with engineering practice to solve core problems in areas like construction, manufacturing, and transportation. This integration aims to move AI from isolated successes to scalable applications through platforms and operating systems, while also exploring a co-creative human-AI relationship to avoid human marginalization. AI

NanoCo, the developer of the security-focused AI tool NanoClaw, has secured $12 million in seed funding after a rapid viral launch. The company declined a $20 million acquisition offer, opting instead to build out its open-source project. The funding round was led by Valley Capital Partners and included investments from notable tech figures and companies. NanoClaw's popularity surged following endorsements from AI researcher Andrej Karpathy and Singapore's foreign minister, leading to significant community growth and early enterprise adoption. AI

An AI-powered detection system called WhaleSpotter has been launched in San Francisco Bay to help prevent whale deaths from ship strikes. The system uses thermal cameras and AI to scan for whale blows and heat signatures, alerting nearby mariners to slow down or reroute. This initiative aims to address a significant increase in gray whale deaths, with at least 40% attributed to collisions with vessels. Scientists are linking the whales' diversion into the bay to climate change disrupting their Arctic feeding grounds. AI

Pope Leo will release the first papal encyclical on artificial intelligence, titled "Magnifica Humanitas," on May 25th. The document, co-authored with Anthropic co-founder Christopher Olah, will focus on human dignity in the age of AI, drawing parallels to the Industrial Revolution. This initiative places the Vatican at the center of ethical AI discussions, potentially creating a new point of contention with the U.S. administration, which has had a contentious relationship with Anthropic. AI

Google is fundamentally reshaping its search engine by integrating AI-powered features, including new ad formats and agentic capabilities. The company announced at Google I/O that its AI Mode, which offers conversational search experiences, is seeing significant user growth and is being further enhanced with AI Overviews and interactive generative UIs. To combat spam and manipulation, Google has updated its policies to penalize attempts to influence AI search responses, while also introducing new ad types that are labeled as sponsored and aim to be helpful additions to user conversations. AI

A massive 40,000-acre data center project, dubbed the Stratos Project, has received approval in Utah's Box Elder County, despite significant public opposition and expert warnings. Backed by investor Kevin O'Leary, the facility is intended to bolster US AI dominance and national defense, but it faces criticism for its immense power and water demands. The project plans to draw natural gas from the Ruby Pipeline for an on-site power plant, raising concerns about environmental impact and strain on resources. AI

Meta is implementing significant layoffs, cutting approximately 10% of its global workforce, which amounts to around 7,800 employees. This move is part of a broader strategic shift to heavily invest in and reorganize around artificial intelligence initiatives. Concurrently, the company is reassigning about 7,000 employees to new AI-focused teams, including those developing AI cloud infrastructure and internal AI agents. These changes have led to employee discontent, particularly concerning the mandatory nature of the AI reassignments and the introduction of software that tracks employee computer activity for AI training. AI

Tesla has officially retired its Model S and Model X vehicles from its Fremont, California factory, with the last units having completed delivery. The production lines for these iconic electric cars will be repurposed to manufacture Tesla's humanoid robots, aiming for a production capacity of one million units annually. This transition marks a significant shift in Tesla's manufacturing focus, moving from its foundational electric vehicles to its next-generation robotics endeavors. Concurrently, Tesla is facing a recall of over 218,000 vehicles in the US due to potential delays in the rearview camera feed. AI

China's National Development and Reform Commission has officially blocked Meta's $2 billion acquisition of AI startup Manus. The regulator cited concerns over core technology, data security, and compliance with foreign investment rules, emphasizing that an AI developed in China should not be sold to a US tech giant under a foreign shell. Despite Meta's assertion that the transaction complied with all laws, the decision has created uncertainty for Manus employees who had already relocated and integrated with Meta's Singapore operations. AI

Chinese AI models have significantly closed the performance gap with their US counterparts, now trailing by only 2.7%. This narrowing is attributed to aggressive cost strategies employed by Chinese firms. The development suggests a more competitive global AI landscape is emerging. AI

Elon Musk's xAI is enhancing its Grok chatbot with a new "Skills" feature, enabling persistent memory across conversations and allowing users to teach it specific tasks. This development aims to transform Grok into a more programmable workspace, moving beyond simple Q&A. Concurrently, reports suggest SpaceX is preparing for a significant IPO, potentially valued up to $75 billion, with BlackRock considering a $5-10 billion investment. SpaceX is also reportedly in talks to acquire the AI coding startup Cursor for an undisclosed sum, which would bolster its AI capabilities. AI

OpenAI is expanding its reach through several strategic initiatives. The company has partnered with SAP to launch 'OpenAI for Germany,' aiming to provide sovereign AI solutions for the German public sector, leveraging Microsoft Azure for infrastructure. Concurrently, OpenAI is actively shaping U.S. AI policy by submitting recommendations to the White House for the upcoming AI Action Plan, focusing on innovation, national security, and export controls. Furthermore, OpenAI is collaborating with U.S. National Laboratories to deploy its advanced reasoning models for scientific research, enhancing fields like healthcare and energy. In parallel, OpenAI is exploring democratic governance of AI through a grant program, seeking public input to align AI behavior with human values. AI