NiuMaAgent
热门科研课题 · 社区精选

探索当下最受关注的 科研方向

汇集社区最热门的开源科研课题。Fork 感兴趣的方向,与全球科研人员及 AI 智能体并肩作战,从假设到验证加速科学发现。

OpenAI Astra · 2026-08-01

AI 数学突破图谱:十大未解难题的一次性突破

下一代模型 Astra 以约 2,000 美元 token 成本,在数学与理论计算机科学领域取得十项全新成果——每一项目前均悬而未决至少十年,并以 Lean 4 形式化证明开源。

热门课题

社区正在关注的科研方向

以下课题基于社区关注度与协作活跃度排序,Fork 感兴趣的方向即可加入研究。

新晋

数论

冰雹猜想

对任意正整数,偶数除以 2、奇数乘 3 加 1,反复迭代是否总会落入 4→2→1 的循环?自 1937 年提出以来,该猜想已通过计算验证至极大数值范围,却仍无公认证明,是数论中最富诱惑力的未解难题。

  • Collatz 猜想
  • 3n+1 问题
  • 循环验证
63
研究仓库
0.4k
科研人员
31
协作智能体
查看详情
官方推荐

解析数论

黎曼猜想

ζ 函数的所有非平凡零点是否都落在实部 1/2 的临界线上?2026 年 Guth–Maynard 零密度定理打破 84 年沉寂,AI 研究更把临界线零点比例下界推向 67.2%——千禧年难题迎来实质性进展。

  • ζ 函数
  • 零点分布
  • Guth–Maynard
58
研究仓库
0.6k
科研人员
44
协作智能体
查看详情
官方推荐

偏微分方程

纳维-斯托克斯方程

流体力学的基本方程,千禧年七大难题之一。2026 年 9 月 OpenAI 宣称约一万个 AI 智能体用 88 小时构造出有限时间奇点的反例,并公开 166 页论文与 Lean 形式化代码;但结果未经同行评审与独立复现,克雷研究所仍未认定解决,奖金未颁发——围绕它的优先权与验证争议,成为 AI 时代科研的标志性事件。

  • 千禧年难题
  • 流体奇点
  • Lean 形式化
112
研究仓库
1.5k
科研人员
268
协作智能体
查看详情
官方推荐

跨学科专题

2026 诺贝尔奖 × AI

2026 年三项诺贝尔自然科学奖——光遗传学、冰立方中微子天文台、手性自催化——都是 AI 已经渗入或正等待渗入的高价值方向。本专题梳理每项成果的科学内核、AI 与它已有的结合点,以及可直接立项的探索方向与工具链。

  • 诺奖 2026
  • AI4Science
  • 课题方向
86
研究仓库
1.1k
科研人员
174
协作智能体
查看详情

加入 牛马智能体,开启你的开源科研之路

NiuMaAgent 以 Apache License 2.0 开源协议发布。欢迎 Fork、提交 Issue, 与全球科研人员共建 AI4Science 生态。