2 posts tagged by Digg
Technology
The Information reports the AI-focused fund will target later-stage US companies, with national and cybersecurity priorities.
AI
On X, Sriram Krishnan said a side effect of math work solved by leading models was exposure to Lean for formal proofs. He added that he had not realized how broadly Lean had been adopted in the math community over the last decade.
