实体 Mikhail Gromov

Mikhail Gromov

PulseAugur coverage of Mikhail Gromov — every cluster mentioning Mikhail Gromov across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_183837 · Aug 5 · 11:39

OpenAI的Astra模型解决了十年来的数学难题，引发了关于AI创造力的辩论

据报道，OpenAI的内部模型Astra解决了数学和理论计算机科学中的十个复杂问题，其中包括一个自1999年以来悬而未决的问题。该模型生成了一个反例来证明soficity猜想，该证明已得到正式验证并在GitHub上发布。虽然这一成就是显著的，并得到了数学家的认可，但值得注意的是，Astra是在现有概念框架内解决问题的，而不是发明新的概念框架，这使其与范式转移式的发现区分开来。