标签：AI辅助
十分钟出结果，陶哲轩用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编程工具在社交媒体上被广泛讨论，但程序员不应过...
通义灵码 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在数学研究方面的帮助有限，但其在次要任务上的能力提升显著，尤其是在编码和制作图表方面。...
1
2
