AI资讯站在时代最前沿

AI助手助力数学家陶哲轩:从ChatGPT到半自动证明
AI与数学

AI助手助力数学家陶哲轩:从ChatGPT到半自动证明

本文介绍了数学家陶哲轩如何使用 AI 工具进行数学研究。他利用 ChatGPT 等人工智能技术帮助自己更快地解决问题,并挖掘出了一些 CCHATGPT 的"隐藏功能"。陶哲轩认为 AI 在数学研究中具有优势,如更灵活的处理能力和更强的"思维方式",但他同时也指出 AI 工具仍存在一定的缺陷。
《Bard:谷歌全新人工智能助手,挑战GPT-4,你敢与吗?》
AI与数学

《Bard:谷歌全新人工智能助手,挑战GPT-4,你敢与吗?》

谷歌发布新AI模型Bard,能在数理能力上与ChatGPT相媲美,甚至在某些方面更胜一筹。Bard的背后是由大语言模型(LLM)支持,谷歌研究发现,使用人数越多,LLM的预测效果越好。然而,Bard还存在信息偏见和错误的问题,因此回答问题时可能会出现不准确、误导性或虚假信息。Bard旨在补充而非替代搜索引擎。欲申请候补名单,可访问:https://bard.google.com/。
数学奥赛研究员出的难题:AI能否解决?青年才俊挑战极限
AI与数学

数学奥赛研究员出的难题:AI能否解决?青年才俊挑战极限

近日,北京大学数学科学学院研究员出一道数学题,获得了数学爱好者的广泛关注, hundred 多人提交了解题答案。其中,韦东奕挑选出了三份优秀的解答,其中两份来自大学生,而最引人注目的是王羿骁的解答,他是一个对数学充满兴趣的优秀学生。然而, even with AI 的升级更新,人类在解决“解答有挑战的数学问题”这个任务上的优势还能保持多久呢?这将是年轻一代需要探索的问题。

AI论文助手超级助手