AI Stack

TAGS / TERM

数学证明

共 18 篇

  1. OpenAI GPT-next千美元内否证80年Erdős平面问题 2026-05-21 · BLOGS_PODCASTS
  2. OpenAI模型推翻离散几何核心猜想 2026-05-21 · HACKER_NEWS
  3. Leanstral：面向可信编码与形式化证明的开源智能体 2026-03-17 · HACKER_NEWS
  4. Leanstral：面向可信编码与形式化证明的开源智能体 2026-03-17 · HACKER_NEWS
  5. TorchLean：基于 Lean 形式化验证的神经网络框架 2026-03-03 · HACKER_NEWS
  6. 分享AI模型在First Proof数学挑战中的证明尝试 2026-02-24 · BLOGS_PODCASTS
  7. 分享AI模型针对First Proof数学挑战的证明尝试 2026-02-23 · BLOGS_PODCASTS
  8. 分享AI模型针对First Proof数学挑战的证明尝试 2026-02-23 · BLOGS_PODCASTS
  9. Lean 4 定理证明器原理与AI竞争新优势 2026-02-21 · HACKER_NEWS
  10. GPT-5.2推导胶子振幅新公式并获验证 2026-02-18 · BLOGS_PODCASTS
  11. GPT-5.2 提出胶子振幅新公式并获合作验证 2026-02-18 · BLOGS_PODCASTS
  12. GPT-5.2提出胶子振幅新公式并获验证 2026-02-17 · BLOGS_PODCASTS
  13. GPT-5.2提出新胶子振幅公式获学术验证 2026-02-17 · BLOGS_PODCASTS
  14. GPT-5.2 提出胶子振幅新公式并获合作者验证 2026-02-16 · BLOGS_PODCASTS
  15. GPT-5.2推导新胶子振幅公式获正式验证 2026-02-14 · BLOGS_PODCASTS
  16. 利用 Gemini 加速科学研究：案例研究与通用技术 2026-02-04 · ARXIV
  17. 🔍 深度拆解：AI伪造数学证明的惊人真相！🚀 2026-01-26 · HACKER_NEWS
  18. 🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 2026-01-26 · HACKER_NEWS