Loading activity…
@__alpoge__
idiot. cuda og, harvard val, morgan prize, society of fellows, 1 hilbert problem so far, creating friendly, SAFE, delightful, supergenius ..things @anthropicai
AI
Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.
XAI
Anthropic's repository credits an internal Claude model but says the result says nothing about solving formulas in practice.
AI
Anthropic says the proofs target RISC-V binaries under modeled Linux conditions, for inputs under 64 MB.
Technology
Techmeme, citing Anthropic, says OSS Scanner sends AI-generated vulnerability reports without human review.
AI
Anthropic says it costs around 75% less to run on average than Haiku 4.5 and improves coding and computer use.
AI
OpenAI repo provides conditional Lean formalization proving infinitely many prime pairs differ by at most 186.
AI
Anthropic tested an unreleased research model on a problem related to the Riemann hypothesis.
