AI-assisted work pushes formal reasoning on the Navier–Stokes problem
OpenAI says an internal system produced a mathematical argument and Lean formalization connected to one of science’s hardest equations.
Read storyThe latest signals.
Independent reporting and analysis across technology, science, startups and invention.
AI could move food systems from prediction toward preparedness
Better forecasting has value only when farmers, agencies and supply chains can act on it in time.
Read story
Inside the changing workflow of AI-accelerated research
OpenAI describes systems that support literature review, coding and formal reasoning while leaving verification with researchers.
Read story
The first AI generation forces a deeper question about how people learn
Education leaders argue that access to powerful tools must be matched with curiosity, judgment and the ability to challenge their output.
Read story
Technology Innovation Institute links frontier AI research with national capability
The Abu Dhabi research organization is presenting open models and applied programmes as components of a broader innovation system.
Read storyNvidia makes a $13 billion bet on Hugging Face and the open-model ecosystem
The proposed acquisition would bring a widely used AI developer platform closer to the world’s dominant supplier of accelerated computing.
Read story
Brad Smith calls for wider AI access and clearer rules
The Microsoft president argues that infrastructure, governance and human-centered design must advance together.
Read story
Google introduces Gemini 3.8 Flash and a cyber-focused variant
The models target fast agentic workflows and cybersecurity tasks as specialized AI products become more common.
Read story
Win&Co and IBM bring smarter controls to chocolate manufacturing
The project applies connected data and consulting expertise to improve consistency and decision-making on the factory floor.
Read story