Amanda Silver is a corporate vice president at Microsoft’s CoreAI division, where she works on tools for deploying apps and agentic systems within enterprises.

Print Join the Discussion View in the ACM Digital Library The mathematical reasoning performed by LLMs is fundamentally different from the rule-based symbolic methods in traditional formal reasoning.

Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly they ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

A hands-on, integrated approach has the potential to transform math from a gatekeeper into a gateway for STEM opportunities for all students.

Steven Hao, the $10 billion startup’s CTO, is the latest AI founder to join the three comma club, with an estimated net worth ...

Welcome to Eye on AI, with AI reporter Sharon Goldman. In this edition…why Silicon Valley needs to read the room on AI skepticism…How Christian leaders are challenging the AI boom….Instacart ends ...

DeepSeek released DeepSeek-V3.2, a family of open-source reasoning and agentic AI models. The high compute version, DeepSeek-V3.2-Speciale, performs better than GPT-5 and comparably to Gemini-3.0-Pro ...

Claude Opus 4.5 Coding tasks, long-running agents, software planning, general chatting Limited multimodal capabilities Paid plan starts at $17 per month Gemini 3 Pro Great at multimodal tasks, Deep ...

I’ve noticed a familiar frustration in Silicon Valley with public skepticism toward AI. The complaint goes like this: People outside the industry don’t appreciate the rapid, visible—and, to insiders, ...

While math word problems are widely used in classrooms at all grade levels to help put numbers, operations, and equations into context and connect math to the real world, they also increase the ...

Have you ever hesitated to trust an AI with your most critical work? It’s a fair concern, after all, the stakes are high when accuracy, creativity, or security are on the line. But with the release of ...