Morning Overview on MSN

AI is changing how mathematicians solve problems and write proofs

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...
IEEE

Learning-Aided Evolutionary Algorithm for Solving Energy-Minimized Deadline-Constrained Task Scheduling Problem in Human-Cyber-Physical Systems

Abstract: This work addresses an energy-minimized deadline-constrained task scheduling problem in human-cyber-physical systems. It consists of three subproblems: processor allocation, task sequencing, ...
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) ...