标签：AI辅助
Rust 贡献者推出新语言 Rue，探索 AI 辅助编译器开发
Steve Klabnik作为《Rust编程语言》的作者和长期贡献者，近期宣布推出新型系统编程语言Rue。该语言旨在探索无需垃圾回收机制的内存安全性，同时通过降低复杂...
像Vibe Coding一样写论文！OpenAI发布免费科研写作平台
OpenAI近日推出了一款名为Prism的免费科研写作平台，深度集成了GPT-5.2模型与在线LaTeX编辑器，旨在彻底改变传统学术写作流程。该平台采用独特的左右分屏设计...
半世纪难题48小时破解！陶哲轩组队把AI数学玩成打怪游戏了
陶哲轩与多位数学家合作，在AI工具的辅助下仅用48小时便解决了尘封50年的Erdős#1026问题。该问题最初由Paul Erdős于1975年提出，涉及实数序列中单调子序列的...
十分钟出结果，陶哲轩用Gemini Deepthink帮人类数学家完成Erdős问题论证
厄尔德什问题网站是一个专注于数学研究和问题解答的平台，特别关注与著名数学家保罗・厄尔德什相关的数学问题。该网站收录了厄尔德什提出的各类问题，涵盖数...
我之前误解了 Soul 这款社交产品。
不同年代的社交需求呈现出明显差异。父辈一代的社交以生活为中心，依赖单位、邻里等现实关系网络，人情往来是解决问题的主要途径。这种社交模式强调实用性和...
作为一个AI博主，我劝你先别急着用AI。
在技术快速迭代的AI时代，关于如何平衡工具使用与专业深耕的讨论引发深层思考。核心观点认为，若要在特定领域成为专家，必须完成1000小时不依赖AI的刻意练习...
陶哲轩用GPT5-Pro跨界挑战！3年无解的难题，11分钟出完整证明
陶哲轩与GPT-5 Pro合作攻克微分几何领域开放性问题，展现了AI在跨学科研究中的多尺度价值。这一合作始于一个三年未解决的难题：判断三维光滑拓扑球面在曲率限...
OpenAI发布强化微调API，能深度定制超复杂大模型了
OpenAI最近发布了一项名为“强化微调”的新技术，旨在通过深度定制技术提升大语言模型（LLM）在特定领域的应用能力。与传统微调不同，强化微调允许开发者利用高...
「学术版ChatGPT」登场！Ai2打造科研效率神器OpenScholar，让LLM帮你搞定文献综述
Ai2联合华盛顿大学及Meta、CMU、斯坦福等机构发布了OpenScholar系统，这是一个检索增强型语言模型，旨在辅助科学家进行文献搜索和综述工作。该系统结合了一个...
来自独立开发者的AI编程上手实战：如何用AI 提高编码效率？哪款工具最好用？
本文由独立开发者idoubi撰写，深入探讨了AI编程工具在实际编程工作中的应用及其效果。文章首先指出，尽管AI编程工具在社交媒体上被广泛讨论，但程序员不应过...
1
2
