Andreas Thom

OpenAI 的 Astra AI 解决了十年之久的数学难题，引发了辩论

据报道，OpenAI 使用一款名为 Astra 的先进、未发布的 AI 模型解决了十个长期存在的数学问题。这些解决方案涵盖了数学的各个领域，包括球体打包、纠错码和网络复杂性。该 AI 能够以新颖的方式组合已知结果和方法，这激发了人们对加速数学发现的兴奋，但也引起了像 James Maynard 这样的数学家对他们职业未来的担忧，以及人工智能可能削弱人类贡献的担忧。