AI Solved A Mathematical Problem That Had Stumped The World’s Best Minds For Decades

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...
IEEE

Comparative Analysis of the Performance of Recent Optimization Algorithms in Solving Engineering Problems

Abstract: Intelligent optimization algorithms are currently the mainstream methods for solving engineering design problems. This paper conducts a comprehensive analysis of the performance of five ...
IEEE

Combining STPA with PF Requirements Analysis: Taking the Insulin Pump Problem as an Example

Abstract: The Problem Frames (PF) approach has gained significant attention and recognition in the field of requirements engineering. However, most of the existing work focuses on modeling normal ...