LOG
001
001
TasteVal评测科研判断，AI怎样挑选下一次实验
TasteVal尝试用有限算力下的实验效率衡量AI研究判断。预印本结果值得关注，但题目选择、人类基线和保密任务仍限制了结论的外推。
把每一次试验，做成下一次工作的起点。
面向开发者的 AI 工程记录：从工作流到评测，从工具调用到故障复盘。所有条目都可被编辑和补充。
LOG
002
002
OpenAI公开数学模型成果，形式化证明让讨论更可检验
OpenAI发布由内部模型产生的一批数学结果，同时分享Lean形式化证明与推理摘要。透明度有所增加，但成果的重要性仍需要数学界独立审查。
LOG
003
003
GPT-Rosalind开始计费，生命科学研究模型如何衡量成本与价值
OpenAI为GPT-Rosalind公布的API价格于今日生效，但访问仍限于通过可信访问审核的机构。科研团队需要把token费用、专家复核和实验成本放在同一张账上。
LOG
004
004
Claude发现疑似新酶系统，科研价值仍待功能验证
Anthropic称Claude帮助研究者从大量基因数据中找到一种与CRISPR重复序列相似的候选系统。它目前还没有已知功能，AI的价值更应看检索和提出假设，而非提前宣布医学突破。
LOG
005
005
Ai2开源科研报告模型，速度之外更要守住证据边界
Ai2发布开放权重的科研报告模型AstaBrief，并称其能更快生成带引文的综述。值得关注的不只是速度，还包括引用是否真正支撑结论，以及评测是否仍反映今天的前沿。
LOG
006
006
SynthID Bio给AI设计蛋白加上来源标记，追溯不等于安全
Google DeepMind推出面向合成生物学的水印方法，尝试在蛋白序列或结构中留下可检测的来源信号。它能补充溯源，却不能替代生物安全筛查。