LLM focus on deduction over data construction in mathematics
问题概述
A mathematician comments that LLM-driven research should be directed toward data construction, such as building libraries, theories, and experiments, rather than solely focusing on deduction. This indicates a gap in current LLM-assisted math tools.
痛点标签
- LLMs currently emphasize theorem proving and deduction, with limited assistance for data construction, library creation, and experimental theory development.
待验证问题
- Would an LLM tool that assists with data construction and theory building be useful for your work?
证据
原话 · @Anonymous
I want them pointed at "data construction", like being libraries, theories and experiments.
免责声明：本卡片由 AI 从社区讨论中提炼，属于「痛点证据」，是需求分析与验证的起点，不等同于「已验证的市场需求」。AI 存在分析局限，关键决策前请打开上方原始讨论人工复核。