OpenAI announced on August 1 that its next-generation reasoning model, internally called Astra, autonomously generated 10 new results on open problems in mathematics and theoretical computer science. The model had previously disproved the Erdős planar unit distance conjecture in May, a problem that had stumped mathematicians for nearly 80 years. Each of the 10 new results was independently verified by professional mathematicians, including Fields Medalist Tim Gowers, who called the achievement a milestone in AI mathematics. This breakthrough raises questions about the mathematical foundations of cryptography that underpin the security of cryptocurrencies and blockchain protocols.
Source: Read the original article
