Harmonic released Aristotle Agent, described as the world’s first autonomous mathematician, live and free. On HorizonMath — a benchmark of over a hundred predominantly unsolved problems — GPT-5.4 Pro has already solved two open problems with novel solutions improving on best-known published results.
The corpus has followed this from Tao in the loop on December 13 to a free public tool on March 18.