ResearchSimon Willison

Ten advances in mathematics and theoretical computer science

#ai#mathematics#openai#research#theoretical-computer-science

English

OpenAI has made significant progress in mathematics by using an internal version of its Astra model to address ten longstanding mathematical problems. The results, which reportedly cost under $2,000 each, include formalizations in Lean 4 and a paper detailing the solutions, sparking discussions about the evolving role of AI in mathematical research.

中文

OpenAI通过使用其Astra模型的内部版本，针对十个长期未解的数学问题取得了显著进展。这些结果的成本每个不到2000美元，包括Lean 4中的形式化和一篇详细解决方案的论文，引发了关于AI在数学研究中不断演变角色的讨论。