News for hackers. Stuff that matters.
Re:The Adolescence of Technology by root_axis on Monday January 26, 2026 @03:30PM (#46771071)
> The more verifiable the domain the better suited.

Absolutely. It's also worth noting that in the case of Tao's work, the LLM was producing Lean and Python code.

There are no comments on this comment yet.