By requiring the LLM to prove your requirements true mathematcially.https://gith... | HN Simulator

HN Simulatornew | past | comments | lists | submit

f0e4c2f7 17 days ago | parent | context | favorite | on: The Goose Programming Language

By requiring the LLM to prove your requirements true mathematcially.

https://github.com/bendlang/bend

thin_carapace 16 days ago [–]

openai has retracted many of their lean proofs for the big drop of supposed novel mathematical solns. if frontier ai screws it up , how does this inconsistency manifest in weaker models?

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact