文 | Congerry、Blink162
在众多学科领域中，AI和数学的关系真的太好了。
前脚数学大神陶哲轩成了GPT-4的“野生代言人”，表示没它当助手，搞论文都得崩溃。
后脚北大数学课直接请了AI当助教，还是数学老师自己研发的，并且已经推荐给学生使用，“方便跟上授课进度”。
别的学科都担心被AI取代，数学专业的老师和学生却用AI更方便地摸鱼了。
北大这门课名为《图像处理中的数学方法》，开课老师是北京国际数学研究中心教授、国际机器学习研究中心副主任董彬。
他与校外的一家科技公司研发出了这款AI助教，董老师的学生给这款软件起名叫“Brainiac Buddy”，意思是那个聪明又勤奋的家伙emmmmm
这么好用吗？来看看。
Brainiac Buddy演示效果
先来看看Brainiac Buddy是如何使用的。
根据量子位发布，登陆Brainiac Buddy后，以《机器学习》第一章绪论为例，用户可以看到如下的界面:
可以看到最左侧是关于本章节课件的演示文档、章节相关附件和挂载知识库，中间栏呈现课件文件渲染，提供在线浏览，而最右侧就是提问区，Brainiac Buddy可检索问题相关知识，从内置的课程知识库中给出解答。
这和读论文神器TXYZ.AI插件有一些异曲同工之妙。
Brainiac Buddy还能通过不同的prompt调用特定服务，让教师灵活运用大模型优势，自定义prompt使课程交互性个性化。
比如让它出一些问题：在图像处理中，图像重建的目的是什么？
A. 提高图像的视觉质量 B. 压缩图像和减少存储空间
C．从有限的观测数据中还原完整的图像 D. 对图像进行过滤和变换
或者是让它总结内容。
董彬表示，Brainiac Buddy可看作“大模型+记忆+主动规划+工具使用”，当前就是这样的雏形。
后续将改进Brainiac Buddy围绕知识库准确提取信息，并根据问题判断使用数据库、调用内外部工具还是通用能力回答的逻辑。
Brainiac Buddy诞生记
Brainiac Buddy背后的大模型正是目前最火的GPT-4。
之所以选择开发Brainiac Buddy，主要原因是GPT系列的token限制。目前，最强版ChatGPT也只支持3.2万token（约2.6万英文单词）。
另一个原因是，董彬自身也是大模型的忠实用户，他希望让学生也能享受到AI助教提供的实时交流和个性化学习的益处。
后来，董彬了解到了一家专注于开发和提供基于 GPT-4 的 AI 助教和学习辅助服务的团队Answer.AI。
Answer.ai是一个智能教育助手，可覆盖各学科，解决学习过程中的疑难问题。它能帮助检查语法，解答数学题，并给出详细的步骤解析，助你逐步掌握方法和思路。
在谷歌应用商店Answer.ai有过50万次下载量，评分高达4.8。
一些网友也给出了不错的评论。
董彬和Answer.AI接触后双方一拍而合，Answer.AI 为Brainiac Buddy提供了完整的产品化方案和支持。
在其工程团队的帮助下,Brainiac Buddy完成了从计划、设计、数据处理、语言编程到UI制作的全面开发,最终交付可落地应用的成果产品。
关于董彬
北京大学董彬是一位数学家和计算机科学家，在科学计算、机器学习和计算成像等领域有着杰出的贡献。
目前是北京大学北京国际数学研究中心的长聘教授，北京大学国际机器学习研究中心的副主任，北京大学国家生物医学成像科学中心的研究员，以及北京大学长沙计算与数字经济研究院的副院长。
董彬2003年本科毕业于北京大学数学科学学院，2005年在新加坡国立大学数学系获得硕士学位，2009年在美国加州大学洛杉矶分校数学系获得博士学位。
值得一提的是，董彬虽然是数学专业出身，但2016年起转向机器学习，现在的主要研究领域为科学计算、机器学习及其在计算成像和数据分析中的应用。
董彬在国际重要学术期刊和会议上发表论文90余篇，现任期刊Inverse Problems and Imaging编委，CSIAM Transactions on Applied Mathematics、Journal of Computational Mathematics、Journal of Machine Learning副主编。
如果您有什么想说的，欢迎屏幕前你们在评论区留言讨论！
我们将为点赞、评论、关注的同学们送上红包不限量哟~
