LLMLL is a programming language where AI agents write code by filling typed holes, with an SMT solver verifying each implementation against formal contracts before merging. The system treats AI hallucination as a search strategy—generating candidates and accepting only those that satisfy specifications—enabling AI-assisted development with formal guarantees.
Major newsrooms including The New York Times are using AI tools like large language models in investigative journalism, with a record eight Pulitzer Prize winners this year disclosing AI use. While AI excels at organizing documents, summarizing, and identifying leads, human journalists remain essential for verification, source development, and editorial judgment, as demonstrated during a forum on AI in investigations.