TAG · ARCHIVE

Lean 4

共 1 篇带此标签的文章

数学的深蓝时刻：AI用不到2000美元解开了人类十年未解的难题

OpenAI的Astra模型解决了十个至少停滞十年的数学问题，每题花费不到2000美元。数学界的'深蓝时刻'已经到来，但这究竟意味着什么？

#OpenAI #Astra #Deep Blue