Skip to content

The function of LLM-based math "proofs"

tante.cc
1 pointcdrnsf2 comments
On HN

Comments

Anthropic and OpenAI don’t care about Math and the progress in that field: They just picked a domain with a lot of cultural capital that is so complex and abstract that people don’t really understand what’s going on.

I don't think this is true at all. A lot of people who work at places like OpenAI and Anthropic or any research lab really, aren't just CS people, there are a plenty of mathematicians and physicists, etc. and so the problems are interesting to them.

Goalposts: moved.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.