Re:Terence Tao, "Machine Assisted Proof" [video]
by the_panopticon on Wednesday February 14, 2024 @07:20PM
(#39377494)
In the same spirit of this talk, good HN post https://news.ycombinator.com/item?id=38035672 on Terry Tao's use of proof assistants and LLMs to find a paper bug https://terrytao.wordpress.com/2023/11/18/formalizing-the-pr...
[ Parent
| on HN ]
There are no comments on this comment yet.