标签：AI辅助
OpenAI发布强化微调API，能深度定制超复杂大模型了
OpenAI最近发布了一项名为“强化微调”的新技术，旨在通过深度定制技术提升大语言模型（LLM）在特定领域的应用能力。与传统微调不同，强化微调允许开发者利用高...
「学术版ChatGPT」登场！Ai2打造科研效率神器OpenScholar，让LLM帮你搞定文献综述
Ai2联合华盛顿大学及Meta、CMU、斯坦福等机构发布了OpenScholar系统，这是一个检索增强型语言模型，旨在辅助科学家进行文献搜索和综述工作。该系统结合了一个...
来自独立开发者的AI编程上手实战：如何用AI 提高编码效率？哪款工具最好用？
本文由独立开发者idoubi撰写，深入探讨了AI编程工具在实际编程工作中的应用及其效果。文章首先指出，尽管AI编程工具在社交媒体上被广泛讨论，但程序员不应过...
通义灵码 SWE-GPT：从 静态代码建模 迈向 软件开发过程长链推理
通义灵码团队在其最新论文《An Open Development-Process-Centric Language Model for Automated Software Improvement》中提出了面向程序改进的软件工程大模...
陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线
陶哲轩领导的方程理论项目取得了显著进展，目前完成度已达99.9963%。该项目汇集了专业和业余数学家、自动定理证明器、AI工具以及证明辅助语言Lean，旨在描述4...
陶哲轩点破「天机」：不懂数学别想靠ChatGPT飞升！
数学家陶哲轩在探索人工智能（AI）辅助研究功能的过程中，发现AI在数学研究方面的帮助有限，但其在次要任务上的能力提升显著，尤其是在编码和制作图表方面。...
AI 问前程：这样的分数高考志愿应该报哪所大学
高考志愿填报是学生生涯中的重要决策，关系到未来发展方向。面对众多专业和院校，学生常感到迷茫和焦虑。传统上，学生依赖老师、家长和同学的建议，但现在可...
