标签:问题
主力开发已经 68 岁了!“老龄化”严重的 Postgres 开源社区呼唤“年轻一代”
编辑 | Tina、蔡芳芳开源已成为这个社会的根基。从上世纪 80 年代 Richard Stallman 发起的自由软件运动,到 Linux、GitHub 以及互联网的崛起,开源的发展也...
是时候彻底放弃“高分低能”的Leetcode了:AI时代的面试需要大变革!
编译 | 核子可乐、Tina 随着软件开发行业正发生整体转变,我们越来越依赖 Copilot 和 GPT 等 AI 工具来生成代码、提高生产力,所以必然要据此调整对人才的甄...
专访MIT贾皓钧&段辰儒博士:AI4S时代的化学材料发现——「AI炼金术」
将 ScienceAI设为星标第一时间掌握新鲜的 AI for Science 资讯作者|MIT 贾皓钧 段辰儒博士编辑 |凯霞大家可能从小就听说过爱迪生尝试上千种材料作为灯丝,凭...
GitHub 基于大语言模型构建 Copilot 的经验和教训
作者 | Matt Saunders 译者 | 明知山 策划 | 丁晓昀 GitHub 在一篇文章中分享了他们在构建和扩展 GitHub Copilot——一个使用大语言模型的企业应用——过程中所学...
大模型无法替代码农!普林斯顿芝大惊人发现:GPT-4解决GitHub编程问题成功率为0
新智元报道编辑:编辑部【新智元导读】ChatGPT之类的AI编码工具来势汹汹,Stack Overflow又裁员了!不过,普林斯顿和芝大竟发现,面对真实世界GitHub问题,GP...
OpenAI对齐难题?超级对齐负责人Jan Leike采访实录:「可扩展监督」是良策
新智元报道来源:智源社区【新智元导读】近期,OpenAI超级对齐负责人Jan Leike讲解了如何利用可扩展监督来解决对齐难题。今年早些时候,OpenAI宣布成立了一支...
OpenAI超级对齐负责人Jan Leike:如何对齐难题?用可扩展监督
大数据文摘授权转载自智源社区今年早些时候,OpenAI宣布成立了一支专注于超级对齐的新团队,由Jan Leike和IIya Sutskever领导,超级对齐旨在构建一个能够与人...
独家|OpenAI超级对齐负责人Jan Leike:如何对齐难题?用可扩展监督
来源:智源社区导读今年早些时候,OpenAI宣布成立了一支专注于超级对齐的新团队,由Jan Leike和IIya Sutskever领导,超级对齐旨在构建一个能够与人类水平相媲...
GPT-4肆虐「谁是卧底」桌游!交谈逼真,类人属性仍有发展空间
新智元报道编辑:拉燕【新智元导读】最近,韩国一团队为了测试GPT-3.5和GPT-4的类人属性,竟然让它们玩儿这款游戏!生成式AI研究再整新活!韩国团队尝试让GPT...
火爆!23岁华人博士修复22年历史漏洞,网友:我喜欢这个故事
新智元报道编辑:贝果【新智元导读】导语:年仅23岁的斯坦福大学华人博士,修复了一个已有22年历史的bug。一夜之间在外网爆火,引得无数网友围观和赞赏。有人...
陶哲轩再逼近60年几何学难题!周期性密铺问题又获新突破
新智元报道编辑:Aeneas【新智元导读】关于60年的几何学难题周期性密铺问题,陶哲轩最近又有新突破了。陶哲轩一直在研究的周期性密铺问题,又有新突破了。9月...
Effective Prompt: 编写高质量Prompt的14个有效方法
夕小瑶科技说 分享来源 | 知乎@Maple小七、刘聪NLP今天给大家带来一篇《Effective Prompt: 编写高质量Prompt的14个有效方法》,来自知乎@Maple小七。提示工程...
突破『逆转诅咒』!新数学推理数据集揭秘,让大语言模型逆向推理能力翻倍
夕小瑶科技说 分享来源 | 机器之心复杂数学推理是评价大语言模型推理能力的重要指标,目前常用的数学推理数据集样本量有限且问题多样性不足,导致大语言模型...
ChatGPT/GPT-4/Llama电车难题大PK!小模型道德感反而更高?
新智元报道编辑:Lumina【新智元导读】微软对大语言模型的道德推理能力进行了测试,但在电车问题中大尺寸的模型表现反而比小模型差。但最强大语言模型GPT-4的...
MetaMath:新数学推理语言模型,训练大模型的逆向思维
机器之心专栏机器之心编辑部复杂数学推理是评价大语言模型推理能力的重要指标,目前常用的数学推理数据集样本量有限且问题多样性不足,导致大语言模型存在 [...