Gauss(Math公司的AI Agent)

Gauss是Math公司的AI Agent。

基本介紹

• 外文名：Gauss
• 所屬公司：Math公司

主要用途

• Gauss用3周時間，完成陶哲軒和Alex Kontorovich提出的數學挑戰——在Lean中形式化強素數定理（Prime Number Theorem，PNT）。
• Gauss形式化驗證了讓Maryna Viazovska在2022年獲得數學最高獎——菲爾茲獎的成果：關於8維和24維最優球體堆積問題的定理。這是21世紀以來首次有菲爾茲獎成果被完全形式化。