实体
Sahil
Sahil
PulseAugur coverage of Sahil — every cluster mentioning Sahil across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
人工智能通过形式化验证辅助数学研究
一位研究人员正在探索使用人工智能，特别是 Claude Opus 4.8 和 GPT 5.5 Extra High，进行数学研究，重点关注使用 Lean 进行形式化验证。这种方法旨在模拟人类科学进步和人工智能随时间的改进，解决人工智能的可靠性和道德反馈问题。该过程包括将现有的人工智能对齐研究翻译成逻辑归纳框架，目前重点在于缓慢、审慎地理解数学结果，以避免因人工智能生成复杂数学的能力而产生的自我欺骗。
-
开发者为个性化工作流程构建定制软件栈
Geir Isene 开发了一个个性化的软件栈，用定制的工具取代了大多数现成的应用程序，这些工具是为他特定的工作流程设计的。这包括一个带有 TUI 库的新桌面环境，一个名为 'scribe' 的模态文本编辑器，集成了 AI 功能，以及其他定制应用程序。Isene 强调，借助 Rust 和 AI 助手等技术，构建此类工具的成本和复杂性降低，使得个人能够创建量身定制的软件。