Hacker News · security·2d agoUsing LLMs to trace alchemical knowledge and decode 17th century letters#gpt-6#opus#llms 15 min
Hugging Face daily papers·4d agoLearning to Discover Interesting Mathematics#llms#mathematics#theorem-proving