I’m pretty sure that 2nd proof exists in some book or ebook somewhere. generatin... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		fovc on June 12, 2024 \| parent \| context \| favorite \| on: Terence Tao on proof checkers and AI programs I’m pretty sure that 2nd proof exists in some book or ebook somewhere. generating functionology was the one that came to mind. Impressive recall, but not novel reasoning

williamcotton on June 13, 2024 [–]

I’m pretty sure that LLMs can generalize a deep model and can create novel assemblages and are not just search engines.

The burden of proof would be on you to find the existing mathematical, erhm, proof.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact