logoalt Hacker News

esafak • today at 2:37 AM • 0 replies • view on HN

Mathematicians are using LLMs to write proofs.