Re:Terence Tao, "Machine Assisted Proof" [video]
by npunt on Thursday February 15, 2024 @03:20AM
(#39380300)
Um yes ITPs are the unlock for specifically math collaboration. I was referring to other more subjective fields that can also benefit from tech that allows collaboration to scale. LLMs have value for those. For math, LLMs suck.
[ Parent
| on HN ]
There are no comments on this comment yet.