News for hackers. Stuff that matters.
Re:Lean4 helped Terence Tao discover a small bug in his rece... by an_aparallel on Saturday October 28, 2023 @05:52PM (#38053735)
as explained before me phind is a website built ontop of GPT-4 + a free tier (which is what i use) - which uses what they call the Phind Model...though it changes often.

I understand your skepticism (because the internet is fully broken right now/and forum posts are more or less paid for content at this point)

but...its a bit funny you'd like someone who just explained they're a beginning programmer who got into programming because an LLM helped remove insane amounts of friction from the learning process to "explain a mechanism" to them.

There are no comments on this comment yet.