任务详情
工作:
1、 使用Lean4形式化数学竞赛题目的解题过程
2、指导其他人使用工具完成lean4语言的转化（也按条结算提成）
待遇: 日薪1000+提成（计件多劳多得），日均2000+
时间: 自由，自己安排
周期: 有数据包可持续做 可居家
需求：
1、需要lean4语言形式化奥数题的解题过程；
2、需要林业专业，精通遥感地图的教授（背书，最好是能真正参与项目，出具方案），标注卫星地图识别到的植被区、植被；
3、需要文学专业的，进行文学题解析，对AI给出的答案进行综合优化；
4、需要数据专业的，精通Excle表，分析内容是否符合三个特性
