AGI Hunt· zakkohane·· 5 小时前AI 评分45
数学家 Bartosz Naskręcki 开设《计算机辅助求解数学问题》新课，并建 AI 与数学交互语料库
数学家不再读「创伤日志」,开设计算机辅助解数学题新课
AI 导读
Adam Mickiewicz 大学数学家 Bartosz Naskręcki 开出一门《计算机辅助求解数学问题》新课，并建立了一个 AI 与数学交互的知识语料库，不再去读数学家被 AI 冲击的「创伤日志」。
来源：AGI Hunt · agihunt.info