「学术写作助手」共找到 628 篇相关文章
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
这款 Rust 文件搜索项目，让 AI 和 neovim 飞起来！
开发时项目大文件多，找文件成本高。Github上的`fff.nvim`项目专注‘极致速度 + 智能体验’，采用Lua + Rust架构，性能好、排序智能。有多项功能特性，还能与AI助手集成，提升效率。
OpenClaw太麻烦？没关系，你有这个项目可以一斑窥豹！
nanobot是受Clawdbot启发的超轻量级个人AI助手，仅约4000行代码，比Clawdbot小99%，有核心功能。它代码清晰、资源占用少、易部署，还介绍了安装、使用、配置等内容。
一个数据集，一年产稿7876篇！AI强力加持，垃圾论文海量爆发
利用美国NHANES公共数据集，结合AI工具，研究者批量生产质量堪忧的论文。这不仅是技术滥用，更是科研评价体系扭曲的缩影。背后有论文工厂作祟，根源在于学术生态的扭曲。
提示词分享：帮助在 Hacker News 或者 Reddit 这样的讨论贴中提取精华内容
分享了在 Hacker News 或 Reddit 讨论贴提取精华内容的提示词，介绍最佳模型为 Gemini 2.5 Pro，还给出角色定位、工作流程、写作风格技巧及禁止出现的表达方式。
近 2w Star，隐私优先，打工人新选择！
云端AI会议工具存数据泄露风险，Meetily项目主打100%本地处理，解决隐私短板。它是开源AI会议助手，能实时转录音频、区分说话人、生成摘要，数据不离开设备，在GitHub获近2万Star。
OpenAI 内部机密文档曝光！其最大竞争对手揭秘
一份OpenAI内部机密战略文档流出，揭露ChatGPT 2025年上半年核心战略，包括向「超级助手」转型，将对手分两类，还提及2025战略重点，不过最大对手信息被打码，引发网友猜测。
突发！NeurIPS限制华为等实体机构投稿
NeurIPS官方文件显示，因遵守美国制裁及贸易限制规定，禁止接收受制裁机构投稿。经查询，华为等873家国内实体在受制裁名单中，此消息在国内AI学术圈引发热议。
氛围编程后，Karpathy又双叒有新「脑洞」！PDF将死，未来99%是AI氛围阅读
Karpathy提出未来研究论文不应是PDF格式，未来99%注意力将来自AI，科研成果应为AI优化。此观点源于生物学家Michael Levin关于为AI写作的讨论，引发众多科技思想者回应。
ICML暴力清场，497篇论文一夜作废！审稿人偷用AI惨遭全拒
ICML 2026爆出大消息，497篇论文因审稿人动用AI未标注被“桌拒”，占总投稿量2%。ICML祭出“连坐”惩罚，引发争议，有人质疑检测不靠谱，也有人支持维护学术规则。