Full-text search across 7151 articles. Combine with topic and date filters; results sorted by relevance.
A mathematician argues that the volume of mathematical research has outpaced human ability to verify it, creating a crisis of trust, and proposes 'AIcademia'—AI-assisted proof checking and conjecture generation—as the so…
Onton, a San Francisco-based search and discovery company, released Ontology 1, a neurosymbolic model for complex, conversational, multimodal product search, which achieved a mean precision@10 of 0.630 on a 90-query benc…
Josué Argaña Silguero released GraphLab Discoveries, a set of self-contained Python experiments claiming a universal grammar law where all complex systems converge to N ∈ [4,12], validated across 11 domains including pro…
ClickHouse announced the launch of ClickHouse Labs, a new research group led by Andy Pavlo, who joins as Vice President of Database Research. Pavlo, a professor at Carnegie Mellon University, will lead a team focused on …
AI has made fraud cheaper to attempt while detection costs have barely fallen, breaking the assumption that both scale together, according to an analysis of fraud tools used by small merchants on platforms like Shopify a…
Mirage, an AI-native video platform backed by Index Ventures, Kleiner Perkins, Sequoia Capital, and Andreessen Horowitz, is hiring a Software Engineer, Backend for its New York City headquarters, offering a salary of $17…
Niloofar Teflissi, a human-centered AI researcher with a B.Sc. in Biological Sciences, introduced the Bio-Anchor Standard (BAS) v2, a model-agnostic, three-tier memory reference architecture for embodied AI designed to a…
LakeSail released Sail, a drop-in Apache Spark replacement written in Rust that unifies batch, stream, and AI workloads, claiming ~4× faster performance (up to 8× in specific workloads) and 94% lower infrastructure costs…
OpenAI announced it solved 10 open math problems using its unreleased Astra model, drawing reactions from mathematicians who called the results 'incredible' and a 'big deal.' Jay Cummings, a math professor at CSU Sacrame…
A developer's guide lists 16 alternatives to HackerNoon, including Medium, DEV Community, Hashnode, DZone, InfoQ, The New Stack, GeeksforGeeks, CodeProject, Daily.dev, Substack, and others, each with its focus and best u…
A developer is building SoulFix, an AI image editor that uses a CNN-RNN architecture to interpret user intent from scribbles, and Friday, a self-aware assistant with sentiment analysis and entity recognition. The develop…
A new article warns that summarizing long conversations in AI chatbots can lead to critical data loss, citing an example where a customer support chatbot rounded a $249.50 refund to 'around $250' after the conversation w…
OpenAI researcher Noam Brown announced on August 1 that an internal version of Astra, OpenAI's next major model family, solved ten open problems in mathematics and theoretical computer science, including the first explic…
Reddit CEO Steve Huffman said during the company's July 30 earnings call that a watch-and-listen format for viral posts could enter testing later in 2026, as the platform seeks to expand its audience and convert web visi…
Wafer, an AI infrastructure provider founded by Emilio Andere and Steven Arellano, reported that running Kimi K3 on eight AMD MI355X GPUs delivered 48 tokens per second per dollar, outperforming Nvidia's B300 at 33 token…
Prime Minister Narendra Modi on Saturday credited India's youth for driving the country's progress in artificial intelligence, deep tech, and space exploration, citing the recent private orbital launch by Skyroot Aerospa…
An unreleased OpenAI model, reportedly code-named Astra, produced solutions to open math problems, including a new lower bound for high-dimensional sphere packing that improved on a result that had stood for about 48 yea…
OpenAI reported that an unreleased model made progress on ten longstanding open math problems, some unsolved for up to 48 years, at an inference cost of about $2,000. The results include advances in high-dimensional sphe…
Recruiters lose an estimated 14 hours per week to manual candidate communication tasks, according to a blog post from this+that, which highlights AI inbox tools that automate these processes. The post reviews tools inclu…
Google DeepMind introduced Gemini Robotics 2 with whole-body control, dexterity, on-device adaptation, and multi-robot collaboration, and made Gemini Robotics ER 2 available in public preview through the Gemini API and G…