AI weather models show promise for hurricane forecasts, but new study finds key physical limitations

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 ...

Neel Somani Investigates How Artificial Intelligence May Help Verify Mathematical Research

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 can now help you build spreadsheets and fill in missing data

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

A Neural Network Model Based on Differential Evolution Algorithm for Traveling Salesman Problem

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) ...

GPT 5.4 solves previously unsolved math problem with help from long-forgotten human research

GPT 5.4 Pro offers several other innovations. Open AI claimed that it was the first version that can do things on computers, ...

ChatGPT 5.4 is a big spreadsheet fan — and comes with special Excel & Google Sheets tools

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

Constraint Programming Based Model and Algorithm for Solving Steelmaking and Continuous Casting Scheduling Problem with Adjustable Casting Time

Abstract: The Steelmaking-Continuous Casting (SCC) scheduling problem is usually regarded as a type of hybrid flow-shop scheduling problems (HFSP) with special process constraints. To research the SCC ...