| 数学家们花费多年时间探索无果的猜想。AI可以帮助识别有前景的方向并验证中间步骤。
创建一个界面，让研究人员用自然语言描述问题。系统会建议相关概念、潜在方法，并验证逻辑步骤。
大学数学系和独立研究人员会为订阅付费。为学生提供免费层。
从数论开始，因为它结构良好。以后再扩展到其他领域。
风险在于AI在没有密切监督的情况下仍然不可靠，尤其是对于高级数学。
数学发现助手
构建一个AI工具，帮助数学家制定和测试猜想。
为什么是现在
最近在纯数学领域的AI进展显示了人机协作发现的潜力。
- 做给谁
- 数学研究人员
- 商业模式
- 学术订阅
- 投入量级
- 几个月