A.I.’s First Big Math Breakthrough Is Not What It Seems

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

Google unveils DiffusionGemma, an AI model that breaks free of left-to-right processing

Rather than generating text word by word, Google's experimental open-source model drafts entire passages simultaneously using diffusion, resulting in up to 4x faster inference.
IEEE

An Efficient Method for Solving the Traveling Salesman Problem Using Modern Optimization Algorithms

Abstract: Metaheuristic algorithms have demonstrated strong effectiveness in solving complex real-world optimization problems. This paper presents two discrete metaheuristic approaches for the ...
Ars Technica

An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...
IEEE

An Output Feedback Approach to Differential Graphical Games in Linear Multiagent Systems

Abstract: This letter presents an output feedback approach to distributed optimal formation control of linear time-invariant multiagent systems. The formation control problem is formulated as a ...
acm.org

I Spent a Year Asking AI to Solve Math’s Hardest Problem. Here’s What Happened

It started almost by accident. At my startup Dwelly, I constantly push the limits of what AI tools can actually do. One day I just typed into a chat: “Can you prove P ≠ NP?”—referring to the problem ...