openai ai 模型推翻计算机科学核心假设，寻求专家验证

openai's internal ai models have produced proofs in math, computer science, and physics, including a disproof of the exponential time hypothesis (eth) in computer science. the eth is a widely accepted assumption that has been the foundation for hundreds of papers in various fields. openai is now seeking validation from outside experts, including a nobel laureate, to verify the proofs. the company has also translated the math and computer science proofs into the lean programming language, which allows computers to check every step of a proof.