OpenAI科学家:现有模型+后训练足以产生黎曼猜想的新证明
GPT-4可以完成人类需要几秒或几分钟的任务;o1 可以完成人类需要若干小时完成的任务,也就是可以用“AGI小时”衡量的任务;明年,模型可能会实现AGI日,并在3年后实现AGI周,能够解决重大的开放问题。
GPT-4可以完成人类需要几秒或几分钟的任务;o1 可以完成人类需要若干小时完成的任务,也就是可以用“AGI小时”衡量的任务;明年,模型可能会实现AGI日,并在3年后实现AGI周,能够解决重大的开放问题。
在今年五月,一支由九位数学家组成的团队宣布了一项重大突破:他们证明了几何朗兰兹猜想,这是一个广泛数学研究计划的核心内容,旨在为数学构建一个“统一大理论”。这项证明共有超过800页,标志着长达30年的努力终于结出硕果。
丘成桐教授正和弟子们热烈地探讨着关于朗道-西格尔零点猜想的研究思路,他们蹲在地上,用粉笔在空地上写写画画,讨论的特别起劲。但是,张启越听越觉得不对劲,眉头逐渐紧锁。终于,他忍不住开口道:“丘教授,各位学长学姐,我觉得咱们的研究方向可能有些偏差。”
xAI 的研究员 Hieu Pham是一位活跃在推特上的科技和人工智能领域的讨论者。根据公开资料,他越南裔,毕业于美国卡内基梅隆大学,现住加州,在多个知名研究机构工作,包括xAI。
2024年11月17日,马斯克的人工智能企业xAI技术员工Hieu Pham在社交媒体上宣布:“Grok-3刚刚证明了黎曼猜想。我们决定暂停它的训练以验证其证明,如果证明是正确的,那么训练将不会恢复,因为这个AI被认为聪明到足以成为对人类的威胁。”这条消息迅速
xAI 的研究员 Hieu Pham 发布推文称 Grok - 3 AI 系统刚刚证明了黎曼猜想,为验证其正确性决定暂停该系统训练。此消息如一颗巨石投入平静湖面,瞬间引发各界广泛关注。
阿里巴巴2024年的全球数学竞赛中,涟水中专的姜萍同学获得第12名的好成绩,比她的参赛老师的名次还高许多,并进入决赛。此次全球十九个国家共有5万多人参赛,其中有许多世界名校的博士和硕士,比赛题目难度极大。由此引起社会巨大的轰动,有许多人为之叫好,把姜平看成草根