okx 10月27日消息，据OpenAI官方公告，其内部模型在数学、计算机科学和物理学领域取得三项新发现。其中，模型证明被数百篇论文用作计算困难性前提的指数时间假说（ETH）是错误的，结果已通过Lean形式化验证，将由该假说提出者Russell Impagliazzo、Ramamohan Paturi与MIT教授Ryan Williams领衔的小组核验。此外，模型还证明了任意维度的局部平滑猜想，从而解决Kakeya猜想与Stein限制猜想；物理方面则给出包括量子色动力学在内的四维量子场论严格存在性证明，其中包含千禧年大奖难题相关的纯杨-米尔斯理论存在性证明，将由诺贝尔物理学奖得主David Gross领衔的小组核验。上述成果尚待学界独立验证。
美银、黑石等四家机构为Anthropic博通芯片提供630亿美元融资
« 上一篇
2小时前
