Matej Balog posted that the team used AlphaEvolve on an ML pipeline for the time complexity of matrix multiplication and improved the prior best result. Pushmeet Kohli described matrix multiplication as a core operation in computing and called the exact value of ω a long-standing open problem in complexity theory. Abigail See added that the gain came from pairing larger-scale optimization with AlphaEvolve. The posts treat the outcome as a modest advance on ω itself but a milestone for the AI method. Independent replies in the thread repeat the same claim of a new record.