GitHub

收录 35 篇关于“GitHub”的文章,最近更新于 2026-11-11。

书生-S2参与三维Ghys猜想证明,代码已公开

据IT之家10月15日报道,上海人工智能实验室宣布,上海人工智能实验室访问学者、大湾区大学教授许地生团队,依托书生科学多模态大模型S2(书生-S2),通过人机协同完成了三维Ghys猜想的证明。此次研究采用的是“通专融合”技术路径,并非由模型独立完成证明。 Ghys猜想由法国数学家艾蒂安·吉斯于1995年提出,涉及紧致复流形上的全纯Anosov系统与特定全纯仿射自同构之间的关系。

SwiftUI技能项目现身GitHub周趋势榜

在2026年10月15日的GitHub周趋势榜观察中,twostraws/SwiftUI-Agent-Skill出现在榜单记录里。它为Claude Code、Codex等AI编程工具提供SwiftUI开发技能。这是榜单观察时间,不是项目发布日期;现有记录没有给出具体排名或名次变化。

GitHub将通用密钥检测扩展至推送保护

GitHub在10月13日的官方博客中介绍了一款专门为密钥扫描训练的上下文感知分类器。该分类器用于区分真实凭据与外观相似的字符串,其效率提升使GitHub得以将通用密钥检测扩展至推送保护,在推送被接受前返回检测结果。 难点在于,通用密钥未必具有明确的格式特征。GitHub解释,结构化凭据通常带有特定前缀、长度、字符集或校验和;通用密钥的形式却可能与构建标识符、校验和、资源哈希及示例值重叠。

diagram-design登上GitHub周趋势榜

在2026年10月14日的GitHub周趋势榜观察中,cathrynlavery/diagram-design被收录。这是一次榜单观察,日期不是项目发布日期。项目的用途是让编程助手按用户描述绘制图表,并将结果写成一个自包含的HTML+SVG文件。 据官方仓库README,diagram-design是一项智能体技能,可以按品牌风格制作图表。

gbos-vm让Googlebook OS在苹果Mac虚拟机运行

据IT之家10月12日报道,开发者Skylar Taylor-Barrick开源了gbos-vm项目,让搭载Apple Silicon芯片的苹果Mac能够通过虚拟机运行谷歌Googlebook OS。项目介绍称,经过适配后,系统可以启动、调用Mac的GPU,并运行Chrome浏览器。 这不是把Googlebook OS原生安装到Mac上。

openGym进入GitHub周趋势榜,主打自托管健身记录

在2026年10月11日的GitHub Weekly Trending榜单观察中,DuarteSantos8/openGym被收录。这是一次周趋势榜观察,不是项目发布日期;所给资料未列出榜单名次或星标增量。 据官方仓库README,openGym是一款自托管的健身与体重追踪工具。用户可以规划一周训练,在手机上进行引导式训练,记录每一组动作及体重,并在设备之间同步,通过自己的通行密钥登录。

OpenAI公开700多份AI数学文稿,引发合作争议

OpenAI一次性公开了700多份数学研究文稿,让AI参与数学研究的讨论从解题能力延伸到学术合作。IT之家10月10日援引《商业内幕》报道,这批文稿于当地时间6日在GitHub公开。OpenAI公告称,成果出自公司内部的一款前沿AI模型,许多数学证明还附有可供计算机验证的版本。 这批成果引发了不同反应。

OpenAI公开722篇数学手稿,模型尚未发布

据Latent Space于2026年10月7日发布的AINews报道,OpenAI在公开GitHub仓库中公布了一批由内部前沿模型生成的数学研究成果。此次开放的是论文、证明材料和选定的推理摘要,模型本身仍未发布。 报道给出的规模是722篇手稿,按相关结果分为372组。这批成果来自对约4000个研究问题的评估,每项结果平均使用约3小时的ChatGPT Pro思考计算。

OpenRig进入GitHub周趋势榜,整合多种编码智能体

在2026年10月7日的GitHub周趋势榜观察中,mvschwarz/openrig进入观察名单。这是榜单观察时间,不是项目发布日期。项目名为OpenRig,用途是将Claude Code、Codex和Pi等编码智能体组织成持久团队,为团队设置角色、共享上下文和任务归属。 据官方仓库README,OpenRig希望把分散的终端会话变成有组织、可持续运行的智能体团队。