12月28日·OpenAI分拆为PBC与非营利部门，全力冲刺AGI

33 0 0

12月28日·周六 AI工具和资源推荐

AI智库导航-aiguide.cc为您提供最新的AI新闻资讯和最新的AI工具推荐，在[图片]这里你可以获得用于营销的AI聊天机器人、AI在商业管理中的应用、用于数据分析的AI工具、机器学习模型、面向企业的o g zAI解决方案、AI在商业客户服务中的应用、AI和自动化工具等。

OpenAI分拆为PBC与非营利部门，全力冲刺AGI

OpenAI近日宣布组织架构重大变革，正式一分为二：营利性部门转变为特拉华州公共利益公司（PBC），旨在追求利润与社会影响；非营利部门则继续专注于健康、教育和科学慈善工作。此次分拆旨在平衡商业利益与社会使命，确保AGI（人工通用智能）研究的持续推进。PBC结构将使OpenAI更容易获得投资，同时保留其造福人类的使命。此举引发了外界对OpenAI商业化和AGI野心的广泛讨论。来源：微信公众号【新智元】

AI编程时代到来，软件工程自主化革命

OpenAI董事会主席Bret Taylor发表长文，探讨了软件工程领域即将到来的“自主时代”。文章指出，随着AI技术的进步，软件工程师的角色将从编写代码转变为操作代码生成机器。AI编程工具如Cursor和GitHub Copilot正在显著提升程序员的工作效率，但目前这些工具仍局限于人类优化的编程环境。Taylor提出，软件工程的自主时代将需要全新的编程系统设计，以适应代码生成不再是限制因素的新工作流程。他强调，AI不仅提供了创造更多软件的机会，更重要的是提高了软件的质量和安全性，预示着软件开发本质的重塑。这场变革将如何影响未来的软件开发，值得业界深思。来源：微信公众号【新智元】

费马大定理证明的AI理解进展：取得初步进展

伦敦帝国学院数学教授Kevin Buzzard在其博客上分享了教计算机理解费马大定理（FLT）证明的项目进展。该项目旨在帮助验证FLT的证明，并修正可能存在的疏漏。虽然计算机尚未完全理解证明，但已取得初步进展，特别是博士生Andrew Yang在抽象可交换代数方面取得了成果。他们使用的是Lean证明器及其数学库mathlib。Buzzard教授强调，这项工作不仅是为了形式化1990年代的FLT证明，而是要证明更通用、更有力的结果，以展示AI在数学领域的变革潜力。项目链接包括蓝图、进展、Lean证明器和mathlib库等资源，供有兴趣的人士参与和贡献。来源：微信公众号【机器之心】

中国人民大学与Sea AI Lab联合提出人物图片保护模型RID

中国人民大学和Sea AI Lab联合提出了一种名为RID的全新人物图片保护模型，旨在防止定制化生成技术被恶意使用，保护用户隐私。RID模型通过一个提前训练的小网络实现输入图片输出扰动的方式，能够在几十毫秒内完成图片的防定制化保护，并且可以在手机终端部署。RID利用对抗得分蒸馏采样（Adv-SDS）优化小网络，并通过引入回归损失提高保护效果，同时使扰动更不易察觉。实验结果表明，RID在不同定制化方法、预训练模型和噪声幅度下均能有效地保护图片。该研究不仅展示了RID的有效性，还为未来在DiT架构扩散模型中的保护效果优化提供了新思路。来源：微信公众号【机器之心】

北大数学家袁新意独作论文登数学顶刊，统一算术与几何Bogomolov猜想

北京大学数学家袁新意的独作论文被数学界四大顶刊之一的《数学年刊》正式接收，该论文在解决Uniform Bogomolov猜想问题上取得了重大进展。袁新意的研究成果不仅在预印版时就受到引用和学术讨论，而且其创新方法为算术几何和丢番图几何领域提供了新的视角和工具。这项工作将几何Bogomolov猜想的结果推广到算术情形，并在数域和函数域给出了统一的处理方法。袁新意的研究集中在Arakelov几何、代数动力学等领域，并与张寿武等数学家有深入合作。他的工作为解决更多数学难题，如ABC猜想、BSD猜想等，提供了新的可能。来源：微信公众号【量子位】