Another day, another Google AI model. Google has really been pumping out new AI tools lately, having just released Gemini 3 in November. Today, it’s bumping the flagship model to version 3.1. The new ...

Google launches Gemini 3.1 Pro with major gains in complex reasoning, multimodal capabilities, and benchmark-leading AI ...

One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...

As coding agents stumble in production, the battle for enterprise AI is shifting to the governed data layer. AI coding agents ...

While the fears about the impact of AI pummel software stocks, many leading industrial and biotech companies are seeing huge gains from AI.

The SaaSpocalypse fears are overblown. AI's integration into enterprise software may boost, not harm, established SaaS companies.

Successful factory AI adoption means flipping the script and doing it bottom-up. Starting with the wrench, not the boardroom, ...

A marriage of formal methods and LLMs seeks to harness the strengths of both.

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

Over the past week, we've shared information about the AI data center coming to Paducah. What is AI? Why Paducah? What are ...

"AI is fundamentally changing how software is built, but not in the way many headlines suggest," Joisa explains. "Instead of replacing engineers, it’s reshaping the workflow by automating repetitive ...