数学是其他一切
赖以运行的那一层。
加密、负载计算、预算、药物、法庭上的证据。它同样决定了一个人能亲自核验多少公共生活。
逻辑、统计与建模，让我们能够自己拿主意。
逻辑
你能跟住一个论证，看出它在哪里站不住，而不必相信讲得最有说服力的那个人。
统计
你能读到新闻里的一个数字，明白它告诉了你什么，又没有告诉你什么。
建模
你能评判一份能源预测、一份预算或一种医疗方案，而不必等别人告诉你该怎么想。
没有这些能力，公民就只能相信听起来最有说服力的人。这些能力是在数学中学到的，而对大多数人来说，只发生在本科头几年的少数几门课里。 这些课程决定了还有多少人能够质疑别人告诉他们的东西。
我们想达成什么
让人们把数学理解到能真正用起来
不只是为了通过考试然后忘掉，而是在自己生活中遇到一个数字、一种说法或一个决定时，随时能够拿来用。
人始终处在中心
思考由人来做。我们做的是支持他们的工具，而不是取而代之的工具。
我们负责任地使用 AI 来实现这一点
AI 是我们让数学在大规模上变得可理解的最有力工具。只有当它让使用者变得更有能力时才算有用，这就是我们衡量它的标准。
我们保持乐观。 我们相信这件事做得成，与其假定做不成，不如用接下来的几年去检验这个信念。
由我们运营，控制权在院校手中。
总得有人来运营这套系统：让它持续运行、保持安全，并随着 AI 模型的演进保持更新。我们代表依赖它的院校来做这件事。为他人运营基础设施意味着责任，我们认真对待这份责任。
院校可以查看自己所依赖的东西
合作院校可以获取源代码，并对其进行查阅、审计和提出修改建议。代人运营一套系统，只有在对方能看清它如何运作时才行得通。
他们的人可以参与共建
合作院校可以提名贡献者。他们的工作会以自己的署名成为共享代码库的一部分，并惠及使用该平台的每一所院校。
我们在欧盟境内运营
院系不需要自建运维团队。处理与存储都留在欧盟境内。
为比我们活得更久而建
如果 lytris 停止运营，或被总部位于欧盟以外的实体收购，平台将转为采用 AGPLv3 许可证的开源软件。
院校本就持有源代码；这一转换只是解除全部剩余限制。任何院校都不应把课程建立在可能消失的基础设施之上。这项保障无需依赖我们也能执行。
我们如何挑选模型
每个模型都在质量、速度和成本之间做取舍，没有哪个能三者兼优。lytris 由许多小步骤而非单一模型构成，因此每一步都可以落在取舍中的不同位置。
质量
它解释、纠错和推理的水平，依据我们维护的测试用例来评判，而不是凭印象。
速度
有人正在等这个答案。慢一倍的模型必须对得起这份等待。
成本
在质量和速度允许的地方，就使用更便宜的模型。这正是让整体运行成本可负担的原因。
我们为每一步维护测试用例，从而能够衡量更换背后的模型会带来什么影响。
lytris 背后的团队与伙伴
lytris 由一支小团队打造。顾问会在我们出错时直言相告，让我们保持诚实。教育者与研究者则检验我们的工作。他们加入后，我们会在这里介绍他们。
团队
即将推出每天构建和运营 lytris 的人。
顾问
即将推出来自研究、产业与实践一线的人，他们挑战我们的想法，并在我们出错时直言相告。
研究合作
即将推出在教学与研究中检验 lytris 的院校和研究团队。