News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.