标签：工具

机器之心报道编辑：小舟数学研究工具可以随 AI 模型的进展更新一波了。几个月来，数学家陶哲轩多次尝试使用 ChatGPT 辅助解决数学问题，并与大家分享他的试验...

我相信大家也有和我一样做PPT的苦恼，每次都是不变的模板套文字，字体也是那么的单调，配色就更不用提了，完全没有配色可言。随着AI元素的融入，越来越多的PP...

克雷西 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩的论文，又要上新arXiv了！陶哲轩本人在Mastodon上透露了这一消息，顺便介绍了一波自己用的LaTex工具。这是...

新智元报道编辑：Aeneas 好困【新智元导读】就在上周，陶哲轩被网友安利了用AI工具写代码。今天，他表示自己几十年工作流已被颠覆！此外，还有一篇GitHub Cop...

整理 | 凌敏、核子可乐从 2020 年低代码盛行以来，围绕低代码的争议从未停止过。如今，亚马逊宣布终止低代码 Honeycode 服务，是否预示着低代码热潮将终结？1...

新智元报道编辑：Aeneas 好困【新智元导读】陶哲轩早就预言，2026年GPT能帮数学家合著论文。今天，GPT-4就帮他写出一段代码，直接节省了半小时的工作量。刚刚...