Surprisingly, as a smaller model it performed better than Gemini 3 Pro. It found some valid assignments for SAT formulas, but has the same issue of making up assignments for UNSAT formulas.
a16z的报告里举了几个例子，把这个问题讲得很具体。投行分析师用Hebbia，几百份公开文件自动分析完，财务模型直接生成，以前要熬几个通宵做的事情，现在可以去睡觉了。医生用Abridge，它能实时记录医患对话，自动整理病历和后续跟进事项，医生看诊时不用再一边问话一边盯着屏幕敲字。还有做财务对账的Basis，跨系统自动核对试算表，原本需要人工反复比对的工作变成几分钟的事。，更多细节参见heLLoword翻译官方下载
“At the end of the day, that actually takes a lot of money and resources to do this.”
What drives this? Am I just bored?。爱思助手下载最新版本是该领域的重要参考