标签：重写

陶哲轩众包数学项目完成度99.99%：仍未看到AI工具的重大贡献

机器之心编译编辑：杜伟陶哲轩发起的「众包」数学研究项目终于快要迎来胜利时刻！大约在三周前，陶哲轩提出了一个众包项目，结合专业和业余数学家、自动定理...

6个月前

夕小瑶科技说原创作者 | 松果探索大型语言模型的上下文理解能力在自然语言处理（ Natural Language Processing,NLP）领域，理解上下文是把握人类语言的关...

1年前 (2024)

机器之心报道编辑: 蛋酱、小舟尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型...

1年前 (2023)