开发者

ATLAS: Autoformalized Textbook Library At Scale

vrm 2026年05月29日 00:40 3 次阅读来源：HackerNews

https://twitter.com/arnal_charles/status/2060009395107377282 , https://xcancel.com/arnal_charles/status/2060009395107377282 Paper: Formalizing Mathematics at Scale - https://arxiv.org/abs/2605.29955

本文内容来源于互联网，版权归原作者所有

查看原文

# hackernews

ATLAS: Autoformalized Textbook Library At Scale

相关文章

Halfway Through the MLH Production Engineering Fellowship

Fast is better than slow

YouTube Star AboFlah Made Streaming His Life. He Wants His Kids to Live Offline

The time filter in Google Search broke a few days ago

Nerd culture is murdering intellectuals

The House of Ellison Is on the Brink