Artificial intelligence is rapidly transforming weather prediction, enabling forecasts that once required hours of supercomputing time to run in just minutes. But as AI tools play an expanding role in ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Gemini in Google Sheets is getting smarter with the ability to build and edit spreadsheets, populate missing data, and uncover insights.

Few companies have been able to fundamentally change their operating and business models around AI. The primary obstacle to ...

Abstract: This paper presents a novel neural network-based optimization framework, NNDE, to solve the traveling salesman problem (TSP). The core idea is to use a radial basis function network (RBFN) ...

OpenAI launches ChatGPT for Excel powered by GPT-5.4, enabling users to build, update, and analyze spreadsheet models using plain language.

OpenAI has launched GPT-5.4, its first model with native computer-use capabilities, alongside financial plugins for Microsoft Excel and Google Sheets.

ChatGPT is now using its 5.4 Thinking model for deeper reasoning, and it's even better at handling "professional work." ...

This case study can provide practical instruction to students and entry-level accounting staff in key issues of state corporate income tax.

Abstract: Task assignment in a dynamic and uncertain environment for a team of robots is indeed a challenging problem. Traditional task assignment techniques have often struggled to effectively manage ...

Housing prices across much of America have hit historic highs, while less housing is being built. If the U.S. housing stock had expanded at the same rate from 2000-2020 as it did from 1980-2000, there ...

This study is Pew Research Center’s latest effort to explore the landscape of teens and technology today. It focuses on artificial intelligence – from how teens use chatbots to how they think about AI ...