The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself
A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.
Get smart on it
Formal verification is a mathematical process that proves software works as intended and is bug-free, but it has historically been time-consuming and expensive for companies to implement. Generative AI is now being used to automate this process, potentially making it faster and more affordable, which matters because software vulnerabilities can cause serious harm in security-critical systems. A wave of startups is racing to commercialize AI-assisted formal verification, though experts debate whether the technology can catch all types of bugs and whether widespread adoption will actually occur given concerns about speed and cost. Currently, formal verification is used mainly by large organizations like NASA and Apple for their most critical systems, but most mid-sized companies have not adopted it due to lack of resources and concerns that verification delays innovation.
Relevant courses
Want to go deeper than the news? Explore live, cohort-based AI courses taught by practitioners.
Browse AI courses on MavenRelated news
You can generate and edit Google Docs files directly in Gemini chats now
Now you can generate, preview, and edit PDFs, Google Docs, Google Sheets, slide decks, Markdown files, TXT files, and code directly within Google Gemini. The new file editing capabilities are available starting today for all Gemini users, and while PDF previews/editing works on both the web and mobile, all other file formats are only in the web version for now. Google added support for generating and downloading files in Gemini earlier this year, but now you can tweak those fil
Microsoft’s AI future has fewer jobs
To anyone listening closely to what Microsoft CEO Satya Nadella has been saying over the past couple of years, this week felt like the clearest sign yet that AI is about to fundamentally change the size of Microsoft's workforce. Microsoft is now offering voluntary buyouts to around 60,000 employees across the US, UK, Canada, and India. It's the first time the company has presented such an offer to so many employees, expanding greatly upon the retirement offer that was limited t
Chrome’s AI-powered Autofill can now dig through your Gmail to fill out forms
The autofill update lets Chrome pull flight confirmations, tracking info, order details, and other information from your inbox, with your permission.
Also reported by The Verge
Google opens Android development to third-party AI agents and unveils new Gemini APIs
Google is opening up Android Studio to third-party AI agents. Through a new "Bring Your Own Agent" feature, the IDE now supports more than 40 coding agents, including Anthropic's Claude Agent and OpenAI's Codex. Google says new terminal tools also help agents finish UI tasks 77 percent faster while using up to three times fewer tokens. Android development is becoming agent-centric too. The article Google opens Android development to third-party AI agents and unveils new Gemini APIs appe
OpenAI and ServiceNow expand partnership across enterprise workflows
OpenAI and ServiceNow expand their partnership to bring OpenAI models and agents into ServiceNow and ServiceNow workflows into ChatGPT and Codex.
Anthropic just launched tools to show companies what their AI spending is buying
The frontier lab is lifting the curtain on how users spend money on its models ahead of a planned IPO.