AI models are starting to crack high-level math problems

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...
eWeek

GPT-5.2 Just Solved a 30-Year Math Problem

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
IEEE

Comparative Analysis of Quantum Approximate Optimization Algorithms for Solving the Travelling Salesperson Problem

Abstract: The Quantum Approximate Optimization Algorithm (QAOA) was developed to tackle combinatorial optimization problems, such as the Travelling Salesman Problem (TSP), by approximating solutions ...
IEEE

Deep Learning Acceleration Optimization of Stress Boundary Value Problem Solvers

Abstract: The solution to boundary value problems is of great significance in industrial software applications. In this paper, we propose a novel deep learning method for simulating stress field ...