Mastodon Feed: Post

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
tante@tldr.nettime.org wrote:

A few quick thoughts on why "AI Labs" love having their LLMs do math https://tante.cc/2026/09/07/the-function-of-llm-based-math-proofs/