English(EN) Show HN: A decent text-to-image model trained for ~$20K (Apache 2.0 Weights)

Lean 中形式化的数学；发布新的文本到图像模型

作者 PulseAugur 编辑部 · [3 个来源] · 2026-11-04 16:45

一个项目使用 Lean 证明助手形式化了数学概念，使复杂的理论更容易理解。另外，一个在 Apache 2.0 许可下发布的新文本到图像模型，其训练成本据报道约为 20,000 美元。 AI

影响新的开源模型和形式化工具可以加速 AI 的研究和开发。

排序理由该集群包含一篇关于形式化数学的研究论文和一个开源 AI 模型的发布。

AI 生成摘要 · Google Gemini · 来自 3 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 2 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Research; 该集群包含一篇关于形式化数学的研究论文和一个开源 AI 模型的发布。
Source corroboration: 3 independent sources; Multiple independent publishers reporting the same story raises confidence that it's real and newsworthy.
Topics: paper, product; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 1 days old; Coverage has settled into its steady-state source set.
Coverage growth since scoring: +1 source(s) since last score; New sources have picked up this story since our last re-score. Score will update on the next scoring pass.

完整方法见我们的编辑标准。

Hacker News — AI stories ≥50 points TIER_1 English(EN) · schopra909 · 2026-11-04 16:45

Show HN：一个花费约 2 万美元训练的不错的文本到图像模型（Apache 2.0 权重）
Mastodon — mastodon.social TIER_1 English(EN) · CuratedHackerNews · 2026-11-05 16:53

The Stacks Project, Formalized in Lean https:// axiommath.ai/research/the-stac ks-project-formalized/ # ai

The Stacks Project, Formalized in Lean https:// axiommath.ai/research/the-stac ks-project-formalized/ # ai

链接 axiommath.ai/…/the-stacks-project-formali…
Mastodon — mastodon.social TIER_1 English(EN) · CuratedHackerNews · 2026-11-05 16:53

Show HN：一个不错的文本到图像模型，训练成本约 2 万美元（Apache 2.0 权重）https://www.linum.ai/field-notes/pjit-21k # ai # apache

Show HN: A decent text-to-image model trained for ~$20K (Apache 2.0 Weights) https://www. linum.ai/field-notes/pjit-21k # ai # apache

链接 linum.ai/…/pjit-21k