某机构利用内部前沿模型取得多项新数学成果，并在GitHub发布论文、Lean形式化证明及推理摘要，平均每项结果约耗ChatGPT Pro三小时算力。该机构咨询普林斯顿高等研究院数学与AI顾问组制定发布规范，投入500万美元支持西蒙斯基金会新计划，资助数学家检验、理解并拓展AI成果，同时提供模型与算力，并将举办研讨会、负责任地发布该模型。