创建专门的 AI 工具，协助数学家的研究。利用 Simons Foundation 的资助推动。
新的资助表明对 AI 增强数学研究的需求。
数学家缺乏针对抽象研究问题的 AI 工具。专门的助手可以建议证明、可视化概念和整理文献。研究人员愿意为提高生产力付费。从基本的证明验证功能开始。最大的风险是 AI 在高等数学中的局限性。
免费注册，生成贴合你技能的点子 —— 再把最好的那个深挖成一份完整报告。