Stories by EvgeniyZh

A collection of formalized statements of conjectures in Lean

Popular chatbots are amplifying more misinformation, study finds

Microsoft Releases Historic 6502 Basic

The gap between commercial and open-source LLMs for Olympiad math is shrinking

Determinants and causal effects of admission to selective private colleges [pdf] (2023)

Google Scholar Is Doomed

Const Trait Counterexamples

Was It Something I Said?

Copyright: Springer vs. Adblock Plus enters another round

Normal Computing Announce Tape-Out of First Thermodynamic Computing Chip

Tiff pulls documentary on 2023 Hamas attack, citing footage rights issue

Sam Altman now says AGI, or human-level AI, is 'not a super useful term'

1500 Archers on a 28.8: Network Programming in Age of Empires and Beyond

An Open Letter to OpenAI

The enduring puzzle of static electricity

OpenAI in Talks for Share Sale at $500B Valuation

Microdosing Vibe Physics

The Dawn of Quantum Advantage

1 2 3 4 5 6 7 8 9 10