Семен Александров (старший редактор отдела Мир)
Что думаешь? Оцени!
，更多细节参见heLLoword翻译官方下载
Steamの最新ハードウェア＆ソフトウェア調査でWindows 10の割合が40％を超える、前月から10％以上急上昇した原因とは？
It needs the largest possible library of formalized knowledge to build on. Verifying software is mathematics: the same reasoning that proves a theorem in abstract algebra proves that a cryptographic library correctly implements its specification. A platform that serves mathematicians and engineers is not a compromise. It is the recognition that rigorous reasoning is one discipline, whether applied to prime numbers or protocol correctness.
a16z的报告里举了几个例子，把这个问题讲得很具体。投行分析师用Hebbia，几百份公开文件自动分析完，财务模型直接生成，以前要熬几个通宵做的事情，现在可以去睡觉了。医生用Abridge，它能实时记录医患对话，自动整理病历和后续跟进事项，医生看诊时不用再一边问话一边盯着屏幕敲字。还有做财务对账的Basis，跨系统自动核对试算表，原本需要人工反复比对的工作变成几分钟的事。