OpenAI公布数学、计算机和物理学三项新发现,含挂谷猜想、杨–米尔斯理论
当地时间10月26日,OpenAI宣布在数学、计算机科学和物理学领域取得三项新发现,分别涉及调和分析、复杂性理论和量子场论。不过,这次OpenAI在成果发布上听取了外部专家意见,采取了不同的发布策略。三项成果目前均有待学界独立验证。
OpenAI因符号错误撤回三篇数学论文,陶哲轩转载“停止与OpenAI合作”倡议
10月6日,OpenAI在GitHub公开了722份针对未解决数学问题的研究手稿,宣称在几何、计算机科学、代数等学科的372个数学问题上取得进展。不到24小时后,该公司于10月7日因一个符号错误撤回其中三篇。
王虹攻下的三维挂谷猜想,OpenAI放出175页四维证明稿
王虹攻下三维,OpenAI直接把四维证明稿摆上桌了!10月6日,OpenAI在GitHub上公开首批722篇数学手稿。
AI与数学相遇,将把彼此带向何方?
光明图片/视觉中国光明图片/视觉中国光明图片/视觉中国【向科学家提问】近年来,AI在数学领域的能力加快突破,已不再局限于辅助计算、定理证明,开始应用于科研级数学,参与猜想探索、证明构建,甚至攻克数十年来人类未解决的数学难题。
OpenAI让数学家也陷入了打工人的焦虑
OpenAI 在 GitHub 一口气公开 722 份数学研究手稿,《The Verge》采访的三十多位数学家中,有人整套研究计划被打乱;
AI与数学相遇,将把彼此带向何方?
【向科学家提问】光明日报记者 张晓华 陆健近年来,AI在数学领域的能力加快突破,已不再局限于辅助计算、定理证明,开始应用于科研级数学,参与猜想探索、证明构建,甚至攻克数十年来人类未解决的数学难题。
AI与数学相遇,将把彼此带向何方?
【向科学家提问】光明日报记者 张晓华 陆健近年来,AI在数学领域的能力加快突破,已不再局限于辅助计算、定理证明,开始应用于科研级数学,参与猜想探索、证明构建,甚至攻克数十年来人类未解决的数学难题。
刚刚,OpenAI公开722个数学发现!霍奇猜想、黎曼zeta函数等手稿挤爆GitHub
来源:市场资讯(来源:新智元)新智元报道722份手稿,一次性砸进GitHub!就在刚刚,OpenAI在推特上官宣:我们正在发布由内部前沿模型产生的一系列全新数学成果。话音未落,GitHub仓库已经上线。