OpenAI 证伪指数时间猜想、证明任意维度挂谷猜想、和量子场论相关的结果

https://openai.com/index/building-scientific-understanding-with-academic-communities/

  • ETH 猜想被证伪:已经证明 k-SAT 有次指数算法,证明是构造性的;ETH 猜想是复杂性理论中的核心猜想,同时和 P vs NP 问题有重要联系
  • 证明任意维度局部平滑猜想和 Kakeya 猜想:任意维度的局部平滑猜想是调和分析四大猜想中最强的一个猜想,被证明蕴含四大猜想也被全部证明。
  • 量子色动力学的存在以及标准模型的完备性:对某些包含四维规范场和费米子的相互作用量子场论(包括量子色动力学 (QCD) 和粒子物理标准模型的统一完备化)的存在性给出了数学上严格的证明。
9 个赞

果不其然,这种 LLM 驱动的物理证明最后又是回到无聊的 mathematical trick 上,感觉技能树点歪了

4 个赞

这 OpenAI 怎么一股河北衡水味,变成硅谷做题家了

3 个赞

整天疯狂算数,
把大伙的算力耗光再砍额度,o/好样的

1 个赞

再不烧钱,马上有限的猜想就被A\,gemini,grok,中国开源模型证明出来了

更关键的是物理中很多东西在数学上还没有严谨的 formulation,不知道 oai 到底是在干什么

1 个赞