The drastic cost reduction in AI-driven mathematical proofs could democratize access to complex problem-solving, impacting research dynamics.
The post OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year appeared first on Crypto Briefing.