Original Summary

So basically you look at the data and conjecture various things and have the AI try to prove it?<p>If so, given that most students don&#x27;t like or aren&#x27;t good at math proofs, won&#x27;t this mean that math majors will become more in demand as math becomes more experimental?

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：Hacker News 新项目
  • 发布时间：2026/10/4 23:22:55