Futures of Maths 上线:面向活跃数学研究者的数学与 AI 意见征集平台
Futures of Maths 上线,这是一个持续运行的平台,向活跃的数学研究者征集关于数学与 AI 的紧迫问题,参与者对平台给出的陈述按“强烈不同意”到“强烈同意”打分,也可自行提交陈述,经审核后由其他人评分。
按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。
257 条收录动态,更新于 16:36
全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。
Futures of Maths 上线,这是一个持续运行的平台,向活跃的数学研究者征集关于数学与 AI 的紧迫问题,参与者对平台给出的陈述按“强烈不同意”到“强烈同意”打分,也可自行提交陈述,经审核后由其他人评分。
推出 GPT‑6 Cyber:安全研究领域的重大进展,将更强的能力与更好的模型对齐相结合。 该模型驱动了我们昨天宣布的 Linux 内核研究,Mozilla、Palo Alto Networks、Calif 和 Cisco 等公司的安全团队——以及我们 OpenAI 自己的团队——已经在使用它。 GPT-6 Cyber 现已向部分 Daybreak Red 客户开放,我们将逐步扩大访问范围。 https://openai.com/index/introducing-gpt-6-cyber/
来看看我们 @marimo_io notebook 里的一些输出:https://molab.marimo.io/github/alphaXiv/flint-goalkeeper-neuron/blob/main/viewer/goalkeeper_direction.py 代码产物:https://github.com/alphaXiv/flint-goalkeeper-neuron
alphaXiv 宣布可在 OpenResearch 上用本地模型运行自动研究(auto research),并给出 GitHub 项目地址 https://github.com/alphaXiv/OpenResearch。原文未说明支持哪些本地模型、具体研究任务范围与使用条件。
在此探索 ERNIE 5.5 Flash Base 👇 ERNIE 博客:https://ernie.baidu.com/release/ernie-5-5-flash-base/ Hugging Face:https://huggingface.co/baidu/ERNIE-5.5-Flash-Base
SciSpace 发布 MCP 服务器,把 2.8 亿篇以上论文的语义检索、论文完整记录读取和字段抽取接入 ChatGPT 与 Claude,目前仅通过 ChatGPT 插件目录和 Claude 连接器目录提供,无需 SciSpace 账号。
入选理由SciSpace 把 2.8 亿篇论文的检索与字段抽取接入 ChatGPT 和 Claude,研究者可据此判断能否在现有对话式工作流里完成文献综述。
SciSpace 推出 Search 和 Task 两个 API 的早期访问,公开上线预计在数周后。
入选理由材料把检索与综述两类学术任务拆成两个 API,并给出早期定价和接入方式,研究者可据此判断能否嵌入自己的文献流程。
Hy4 即将登陆 Chutes 🥳
Tencent Hy4 is coming to Chutes 🪂 We're partnering with Tencent Cloud to bring it to the same Chutes API you already use. Same key, new model ID More soon 👀
三步将 arXiv 论文变成文献综述 将你的 alphaXiv 文库关联到 OpenResearch,挑选几篇,点击“Add papers” 完全开源 👇
来看看 OpenResearch:https://github.com/alphaXiv/OpenResearch 支持 macOS、Windows 和 Linux
牛津大学出版社(OUP)与哈佛图书馆、宾夕法尼亚大学沃顿商学院和牛津大学合作,于 2026 年 10 月至 12 月开展试点,把机构已购买或订阅的 OUP 同行评审内容接入 ChatGPT Edu。
剑桥大学出版社、约翰霍普金斯大学出版社和普林斯顿大学出版社宣布成为 Meridian 的创始出版商,该计划由 Cashmere 召集并担任初始运营方与平台提供方,是一个经大学出版社授权的学术内容 Model Context Protocol(MCP)网关,把图书馆的同行评审馆藏与研究者使用的 AI 工具连接起来。
👋Hy4 来了,新增视觉能力。 稳居领先开源模型之列。 在各处都更高效:金融、前端、游戏、办公、科研…… 以负责任的方式构建,兼顾网络/生物安全。 试试看,告诉我们你的想法! 🔗:https://hy.tencent.ai/research/hy4?langVersion=en
推出 Hy4
👋Hy4 is here, new with vision. Firmly among the leading open models. More productive everywhere: finance, frontend, game, officework, research… Built responsibly, with cyber/biosecurity in mind. Try it out and let us know! 🔗:https://hy.tencent.ai/research/hy4?langVersion=en
今日起 Gartner IT Symposium/Xpo™ 2026 开幕了🐡 Sakana AI 在展台展示 Sakana Marlin、Fugu、Namazu 的演示。 18:30 起还将在 IT Xpo 内举办交流招待会。欢迎莅临展台🚀 #GartnerSYM
MIT.nano 于 10 月 5–6 日主办 2026 NEMO 用户会议,65 名来自 25 家实验室和机构的代表参会,聚焦共享科研设施的管理与互联。
这些是早期的步骤,我们正在寻找工程师、工程公司和软件合作伙伴,共同塑造接下来的发展。 https://openai.com/index/accelerating-engineering-for-the-physical-world/
谷歌 DeepMind 为 Google Antigravity 推出一套化学信息学技能,帮助科研人员完成药物发现中的文献检索、分子分析、模型构建和新分子设计。
Mistral的Le Chonk独家发布于alphaXiv!
The story of how Le Chonk was built, told by the team behind it. Now on @askalphaxiv : https://www.alphaxiv.org/abs/2611.mistral-large-4
Skill:https://github.com/google-gemini/gemini-skills/tree/main/skills/gemini-api-cli CLI:https://github.com/google-gemini/gemini-api-cli
Ai2 推出 StateBench,一个用于评估语言模型长上下文状态追踪能力的基准,按变量赋值方式划分为 r-trivial、aperiodic、soluble 和 general finite 四个难度层级。
Ai2 发布 StateBench,供研究者测试新模型、扩展其工作并构建更好的状态追踪数据。数据集已在 Hugging Face 开放下载,详情见 Ai2 博客。
Mistral Large 4 加入 Open Math OS 的模型阵容,具备 1.05T 开放权重和 1M 上下文,已向所有获批团队开放。Open Math OS 是数学家与 AI 智能体在共享项目中协作的研究工作台,只基于开放模型构建,社区可检查并运行这些模型,数据也由社区掌控。Mistral AI 称,阵容中更多开放前沿模型意味着每个团队有更多选择。
New on Open Math OS: Mistral Large 4 by @MistralAI. 1.05T open weights. 1M context window. Available now to all approved teams.
Google DeepMind 为 Google Antigravity 推出 Cheminformatics Skills,把该平台变成面向计算化学家和实验化学家的科研工作台,Skills 基于 RDKit,并接入 ChEMBL 与 PubChem。
入选理由原文给出可复现的化学信息学工作流演示,研究者可据此判断智能体在药物设计前期能承担哪些具体任务。
Frontiers 上线免费开放的机构合作门户,任何注册机构无需签约即可实时查看本机构研究人员在其期刊的编辑、审稿、发表、浏览下载及费用数据。其与 OA Switchboard 的集成已落地,可简化出版商、机构与资助方之间的开放获取数据交换。Frontiers 称全球合作机构超过 800 家,最新协议为与 SANLiC 的全国框架协议,参与机构作者可在其全刊免费发表。
牛津大学团队提出基于 Django 的轻量模块化网页平台 LODox,用于探索和可视化文化遗产关联开放数据,采用卡片式界面与语义门户呈现多源异构数据。平台将基于 LLM 的语义智能体以 Python 包形式解耦集成,可绕过以便复现测试或调试,并规划与 Solid 协议对接。该工作以海报形式投稿第 3 届 Solid Symposium,属原型阶段。
Hugging Face 发布 transformers-mic,一套把缩小模型、可运行用法示例和人工审核基线打包成 Model Integration Contract(MIC)的测试标准,并在 huggingface-mic 上公开契约。
SciSpace 发布处于早期访问阶段的 API,在 PubChem PUG REST 返回化合物标识、分子属性和生物测定记录之外,补充论文、专利、证据提取表和带引用的报告。
NVIDIA 发布开源服务 NVIDIA Recovery,作为 DSX OS 的一部分,在集群层面自动检测训练中断、归因故障、隔离节点并重启或停止任务,代码以 Apache 2.0 许可放在 dsx-ai-factory/NVIDIA-Recovery 仓库。