Artificial Intelligence (AI) has grown remarkably, moving beyond basic tasks like generating text and images to systems that can reason, plan, and make decisions. As AI continues to evolve, the demand for models that can handle more complex, nuanced tasks has grown. Traditional models, such as…
The Unknown Tech Behind a New Generation of Edge AI Devices
You may not have heard of piezoMEMS — but novel applications of this tiny, game-changing technology are poised to reshape the future of AI at the edge. In 2023, researchers estimated that using generative artificial intelligence (genAI) to create an image used as much energy as…
AI’s Biggest Opportunity in Finance Isn’t New Models—It’s Unlocking Old Data
As artificial intelligence continues its rapid advance across industries, financial services firms find themselves at a crossroads. Eager to harness AI’s potential, yet wary of growing regulatory scrutiny, many institutions are discovering that the path to innovation is far more complex than anticipated. Recent headlines spotlight…
Yubei Chen, Co-Founder of Aizip Inc – Interview Series
Yubei Chen is co-founder of Aizip inc., a company that builds the world’s smallest and most efficient AI models. He is also an assistant professor in the ECE Department at University of California, Davis. Chen’s research is at the intersection of computational neuroscience and deep unsupervised…
Top 10 AI Tools for Embedded Analytics and Reporting (May 2025)
Embedded analytics refers to integrating interactive dashboards, reports, and AI-driven data insights directly into applications or workflows. This approach lets users access analytics in context without switching to a separate BI tool. It’s a rapidly growing market – valued around $20 billion in 2024 and projected…
DeepSeek-Prover-V2: Bridging the Gap Between Informal and Formal Mathematical Reasoning
While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has remained a challenging task for AI. This is primarily because producing verifiable mathematical proof requires both deep conceptual understanding and the ability to construct precise, step-by-step logical arguments. Recently, however, significant advancement…
Rewiring the internet: Commerce in the age of AI agents
It’s now easier than ever to envision a future where ChatGPT seamlessly navigates the web and handles complex operations for us….
IBM & Oracle debut watsonx agentic AI on OCI
Take a look at IBM & Oracle’s watsonx Orchestrate and Granite AI on OCI for autonomous AI workflows with low‑code automation….
The Sequence Research #538: DeepSeek-Prover-V2: Meet the New Addition to the DeepSeek Family
The new model focuses on formal mathematical reasoning….
Trump AI chip policy to scrap Biden’s export controls
The Trump AI chip policy reversal announced this week signals a shift in how advanced computing technologies will flow in global markets, as the administration prepares to dismantle Biden’s complex three-tier regulatory framework. Set to take effect on May 15, 2025, the Biden administration’s Framework for…