2821
MathCode, Mathematical Coding Agent
A terminal AI coding agent that formalizes math problems into Lean 4 theorems and proves them.
Topics /
AI & Machine Learning
The most popular blog posts about ai & machine learning on Hacker News. 3,242 posts.
2822
GPT-3 Explorer
A power tool for experimenting with GPT-3
2823
Evolution Strategies as a Scalable Alternative to Reinforcement Learning
Stay up to speed on the rapid advancement of AI technology and the benefits it offers to humanity.
2824
2825
Microsoft's Majorana 1 chip carves new path for quantum computing
Majorana 1, the first quantum chip powered by a new Topological Core architecture
2826
Anthropic invests $50B in US AI infrastructure
Anthropic is partnering with Fluidstack to build data centers in Texas and New York, creating roughly 800 permanent and 2,400 construction jobs.
2827
Researchers mined Erowid and fed the entries to an AI
Researchers mined an old drug forum and fed the entries to an AI. The result could augur a new class of psychedelic-based antidepressants.
2828
Machine Learning Is Still Too Hard for Software Engineers
Machine Learning has made huge strides in the last few decades, but it remains largely inaccessible to the average developer. This post examines some of the reasons why.
2829
Every Model Cheats
This post presents a controlled prompt-ablation study: 23 tasks, three prompt conditions, 1,518 individually audited traces, and a simple question: can you prompt away cheating?
2830
Claude designed protein binders against scorpion neurotoxins
We asked an internal research Claude model to design minibinders (small proteins that attach tightly to a target) against scorpion neurotoxins.
2831
Personalized Hey Siri
Apple introduced the “Hey Siri” feature with the iPhone 6 (iOS 8). This feature allows users to invoke Siri without having to press the home…
2832
2833
Leonardo, the Bipedal Robot, Can Ride a Skateboard and Walk a Slackline
Researchers at Caltech have built a bipedal robot that combines walking with flying to create a new type of locomotion, making it exceptionally nimble and capable of complex movements.
2834
Consortium launched to build the largest open LLM
The University of Turku and one of Europe’s largest private AI labs Silo AI, with its large language model (LLM) arm SiloGen, are today announcing a large-scale initiative on open and trustworthy L
2835
2836
Terminal-Bench-Science: Evaluating AI agents on scientific research workflows
A benchmark for evaluating AI agents on research workflows across scientific domains
2837
Denser 3D Point Clouds in OpenSfM
We've improved OpenSfM—the technology we use to create 3D reconstructions from images. By adding post-processing, we get denser 3D point clouds resulting in better visualization, positioning, and much more.
2838
A 2019 Guide for Automatic Speech Recognition
Computer-based processing and identification of human voices is known as speech recognition. It can be used to authenticate users in certain systems, as well as provide instructions to smart devices like the Google Assistant, Siri or Cortana. Essentially, it works… Continue reading A 2019 Guide for Automatic Speech…
2839
2840
The Biology of a Large Language Model
We investigate the internal mechanisms used by Claude 3.5 Haiku — Anthropic's lightweight production model — in a variety of contexts, using our circuit tracing methodology.
2841
MCP on AWS Lambda with MCPEngine
A virtual feature store for the modern AI stack
2842
Faiss: A library for efficient similarity search
Visit the post for more.
2843
Discovering Novel Algorithms with AlphaTensor
In our paper, published today in Nature, we introduce AlphaTensor, the first artificial intelligence (AI) system for discovering novel, efficient, and provably correct algorithms for fundamental tasks such as matrix multiplication. This sheds light on a 50-year-old open question in mathematics about finding the…
2844
Zero-shot learning: Using text to more accurately identify images
WHAT THE RESEARCH IS: Zero-shot learning (ZSL) is a process by which a machine learns to recognize objects it has never seen before. Researchers at Facebook have developed a new, more accurate ZSL …
2845
2846
OpenCV AI Competition 2021 Highlights and Team Profiles Part 1
If social media is any indication, OpenCV AI Competition 2021 participants have really hit the ground running. The competition, sponsored by Microsoft Azure and Intel, features over 1000 developers on over 200 Phase 1 winning teams worldwide and our feeds are already buzzing with awesome videos and photos as teams…
2847
Community Is the Future of AI
To keep knowledge open and accessible to all, we must come together to build the future of AI.
2848
Google to explore alternatives to robots.txt
We’re kicking off a public discussion across the web and AI communities to develop new machine-readable means to provide web publisher choice and control.
2849
Extending the context length to 1M tokens
API Documentation (Chinese) HuggingFace Demo ModelScope Demo Introduction After the release of Qwen2.5, we heard the community’s demand for processing longer contexts. In recent months, we have made many optimizations for the model capabilities and inference performance of extremely long context. Today, we are proud…
2850
Megatron-Turing NLG 530B, the World’s Largest Generative Language Model
MT-NLG has 3x the number of parameters compared to the existing largest model of this type and demonstrates unmatched accuracy in a broad set of natural language tasks.