grep -r "Community" /news · homesearch
grep -rli "Community" /news

Community

Full-text search across 9702 articles. Combine with topic and date filters; results sorted by relevance.

results 9702 page 110/486
06:07
2026-08-05
arxiv.org
artificial-intelligence

An AI Approach to Verified Production Cryptographic Libraries

Researchers introduced CryptoProver, an AI-based system that synthesizes internal specifications and Verus-checked proofs from high-level API contracts, achieving verification of curve25519-dalek and RustCrypto's chacha2…

05:40
2026-08-05
frontierroles.com
artificial-intelligence

Lead - Data Scientist — Freshworks

Freshworks Inc. is hiring a Lead Data Scientist in Bengaluru, India, to lead GenAI initiatives for its employee and customer experience products, targeting a conversational servicebot for 1 million+ monthly active users.…

04:36
2026-08-05
arxiv.org
artificial-intelligence

Zero-Mem: Zero-Token Memory Operations for LLM Agents

Researchers introduced Zero-Mem, a memory system for LLM agents that performs zero-token memory operations, eliminating LLM calls and token consumption during memory access while preserving original interaction traces. I…

04:21
2026-08-05
arxiv.org
artificial-intelligence

The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest

A study by Michael Timothy Bennett, submitted to arXiv on January 30, 2023, and revised April 11, 2024, argues that the optimal hypothesis for generalization is the weakest, not the shortest, and that compression is neit…

20:30
2026-08-04
koreaherald.com
generative-ai

[Katie Salen Tekinbas] Right to play in age of GenAI

Elon University launched its first AI Play camp in June, where middle school students played tic-tac-toe by writing and following fixed instructions to mimic AI agents, highlighting a shift in children's play as generati…

16:04
2026-08-04
understandingai.org
artificial-intelligence

How mathematicians are responding to AI

At the International Congress of Mathematicians in Philadelphia, Fields Medal winner Jacob Tsimerman announced he is joining OpenAI's safety team and expressed confidence that AI will soon become 'robustly superhuman' at…

15:03
2026-08-04
transformernews.ai
ai-safety

Plz Don’t Kill Us: Inside AI safety’s influencer bootcamp

Nearly 60 content creators moved into Lighthaven, a converted Berkeley hotel, for Plz Don't Kill Us (PDKU), a month-long bootcamp funded partly by the Machine Intelligence Research Institute (MIRI) to make AI safety mess…

13:06
2026-08-04
arxiv.org
machine-learning

Physical networks become what they learn

A study submitted to arXiv on 14 Jun 2024 and revised on 10 Apr 2025 shows that physical networks of nodes connected by resistive edges can learn diverse functions by adapting edge conductances to lower a cost function, …

13:01
2026-08-04
noemamag.com
ai-policy

How To Give Everyday People A Say In AI Governance

Political theorist Hélène Landemore of Yale University and the University of Oxford argues that AI governance must include ordinary citizens through deliberative processes such as citizens' assemblies, criticizing recent…

12:15
2026-08-04
arxiv.org
artificial-intelligence

Beyond the Final Prompt: How Conversation Context Changes AI Answers

A study submitted to arXiv on 3 Aug 2026 found that omitting within-conversation context changes AI answers materially in 44.7% of cases (95% CI 33.8%–56.1%), based on 180 English multi-turn conversations from a governed…

10:07
2026-08-04
arxiv.org
machine-learning

Why Large Language Models Fail at Tabular Prediction

A study submitted to arXiv on 3 Aug 2026 finds that large language models (LLMs) fail at tabular prediction primarily due to input dimensionality, not noise handling, CSV formatting, tokenization, or test-point count. Th…

← prev page 110 / 486 next →