reply 🐳OpenAI's Astra model cracked 10 previously unsolved math problems, including disproving the Erdős unit distance conjecture and the Connes rigidity conjecture, with every proof backed by machine-verifiable Lean formalization, at a compute cost of roughly $2,000. 🌟DA's take: This time it's different.OpenAI isn't asking mathematicians to "trust me", it's handing over machine-verifiable proofs. Solving a century-old problem for $2,000 is orders of magnitude cheaper than hiring a PhD student. Math might be the first discipline AI fully rewrites. And guess what, DeAgentAI's distributed inference network is doing something similar: handing complex on-chain decision-making over to AI, then outputting the results in verifiable form. What do you think: once AI can prove theorems 10,000x faster than humans, what does the mathematician's role become?

reply 🐳OpenAI's Astra model cracked 10 previously unsolved math problems, including disproving the Erdős unit distance conjecture and the Connes rigidity conjecture, with every proof backed by machine-verifiable Lean formalization, at a compute cost of roughly $2,000. 🌟DA's take: This time it's different.OpenAI isn't asking mathematicians to "trust me", it's handing over machine-verifiable proofs. Solving a century-old problem for $2,000 is orders of magnitude cheaper than hiring a PhD student. Math might be the first discipline AI fully rewrites. And guess what, DeAgentAI's distributed inference network is doing something similar: handing complex on-chain decision-making over to AI, then outputting the results in verifiable form. What do you think: once AI can prove theorems 10,000x faster than humans, what does the mathematician's role become?

Source:https://x.com/DeAgentAI/status/2084257077522813421