Announcement
Desargues gets @spolu's backing; a canonical Lean benchmark is in the works
A post says @spolu backed Desargues and that its author is building a public benchmark for canonical Lean, pointing to minif2f as an example of what such a benchmark can do for a field.
TLDR
The author says @spolu backed Desargues and credits Stan's gpt-f, pact and minif2f with building their foundation in AI for math. They say they're now building a public benchmark for canonical Lean.
Combined views
—
2 Sources, first seen ago
— likes— comments— saves— reposts
