Putnam-AXIOM 2025-10-14
We introduce Putnam-AXIOM, a benchmark of 522 university-level competition problems drawn from the prestigious William Lowell Putnam Mathematical Competition, and Putnam-AXIOM Variation, an unseen companion set of 100 functional variants generated by programmatically perturbing variables and constants.
MathArena 2025-10-14
How they "ensure" that models are not contaminated:
Most of their problems come from high school knowledge olympiads and they are therefore completely irrelevant for 2025 LLMs.
Mother's love 2025-10-14
The Power of a Mother's Love by Alan Watts
. Source. Headhunter boutique 2025-10-14
LIGO 2025-10-14
- youtu.be/dX4vCNi544w?t=1866 this section about numerical simulation is quite interesting. They don't know how to solve the inverse problem, so they just simulated a bunch of different mass combinations
- youtu.be/dX4vCNi544w?t=2290 they use Ubuntu everywhere, default purple desktop. God bless. It's good enough for gravitational wave detection, just not good enough for some shitty enterprise application. Lol.
Hulse-Taylor pulsar 2025-10-14
Shortcut Collatz function 2025-10-14
The Collatz function is not very elegant in that the odd case is always even because is odd, so it is always predictably followed by a division by two. This is not the case for the even case, where the result can be either even or odd.
Unbounded Collatz trajectory 2025-10-14
Collatz cycle 2025-10-14
Efficiently updatable neural network 2025-10-14
Five AI 2025-10-14
Jocelyn Bell Burnell 2025-10-14
Binary pulsar 2025-10-14
Haiqu 2025-10-14
Online poll disaster 2025-10-14
International Mathematics Competition 2025-10-14
mathlib4 2025-10-14
Here is a specific minimal example of how to use mathlib4: proofassistants.stackexchange.com/questions/2526/how-to-run-lean4-with-mathlib-manually/5299#5299
Integer algorithm Created 2025-10-14 Updated 2025-10-27
Headhunter 2025-10-14
Gravitational wave detection 2025-10-14
There are unlisted articles, also show them or only show them.