News for hackers. Stuff that matters.

A comment on Terence Tao, "Machine Assisted Proof" [video]. Parent comment

Re:Terence Tao, "Machine Assisted Proof" [video] by moonchild on Wednesday February 14, 2024 @08:33PM (#39378076)
> I've noticed a similar trend among folks who work on compilers, preferring to "stay in their lane" instead of embracing GPT-4

Research into ML-guided optimisation predates chatjippity.

[ Parent | on HN ]
Re:Terence Tao, "Machine Assisted Proof" [video] by rowanG077 on Thursday February 15, 2024 @12:53AM (#39379579)
chatjippity what?
[ Parent | on HN ]
Re:Terence Tao, "Machine Assisted Proof" [video] by visarga on Thursday February 15, 2024 @09:17AM (#39382961)
http://chatjippity.com/ is taken, btw
[ Parent | on HN ]