跳至正文
熱點事件持續更新

MathHelm 推出論壇,供數學家討論 AI 生成的論文

1 篇報導1 個報導來源10 小時前更新

先了解這件事

AI 綜述

MathHelm 已作為一個論壇上線,研究數學家可在此閱讀、分享和討論新論文,包括 AI 生成的論文。任何人都可以閱讀該網站,但發文僅限於以經過驗證的機構電子郵件加入的成員;成員可以提問、附加 PDF 和參考文獻,並用 LaTeX 撰寫數學內容。 該論壇最近的活動包括對 OpenAI 局部平滑論文中定理 1.2 的 Lean 形式化。

AI 依報導生成 · 10 小時前更新

報導時間線

沿著報導,了解事件的不同側面。

11月14日
  1. Hacker News · AI
    MathHelm:供研究數學家討論 AI 生成論文的論壇

    MathHelm 是一個論壇,研究數學家可在此閱讀、分享並討論新論文,包括 AI 生成的論文;發文僅限於持有已驗證機構電子郵件的成員。成員可附加 PDF 與參考文獻,並以 LaTeX 撰寫數學內容。近期活動包括對 OpenAI 局部平滑論文中定理 1.2 的 Lean 形式化。

本事件熱度走勢

還沒有足夠的連續觀測資料,暫不繪製趨勢。