月度归档： 2025 年 5 月
GPT-5研发内幕首曝！OpenAI首席研究官：AGI指日可待
GPT-4.1的核心研究员Michelle Pokrass透露，构建GPT-5的挑战在于在推理和聊天之间找到平衡。OpenAI首席研究官Mark Chen表示，AGI不仅是ChatGPT，还包括其他方面，并强调了平衡短期产品发布与长期研究的重要性。
5月15日《1 小时 AI 公开课》，揭秘2025国内主流AI 编程助手全新升级玩法
AI编程助手快速发展，2025年国内主流AI编程助手将迎来升级。AIGC开放社区将举办公开课，由殷越老师讲解AI编程助手的最新能力及其对企业效能提升的影响，适合程序员、企业IT管理者和技术决策者等群体。
未来已来？看陶哲轩如何“蒙眼狂奔”，33分钟让AI完成高难度数学形式化证明
陶哲轩分享了利用GitHub Copilot与Lean结合canonical策略的形式化数学证明实验，该实验针对Bruno Le Floch提供的一页纸等式理论证明。陶神尝试以低级别逐行方式形式化一个高度精确的“体力活”证明，并总结为AI辅助下的新范式。