@PhysUnraveled@PhysInHistory You have just defined Falsifiability. It is a well-known principle, introduced by Karl Popper, that a scientific theory, hypothesis, or statement must be capable of being proven false through empirical observation or experimentation.
Maybe that science is not a collection of facts - it is the most reliable method humanity has ever developed for correcting its own mistakes. From Isaac Newton to Albert Einstein to modern quantum field theory, every “truth” in science remains provisional, always open to refinement or replacement. Its strength is not certainty, but self-correction. That built-in humility - the willingness to be wrong and update - is what makes science uniquely powerful compared to ideology, authority, or intuition.
Happy 383rd Birthday to Sir Isaac Newton!
An English mathematician, physicist, astronomer, theologian, and author whose mind unlocked the laws of motion and universal gravitation, and is recognised as one of the most influential scientists of all time.
One of my favorite lessons I’ve learnt from working with smart people:
Action produces information. If you’re unsure of what to do, just do anything, even if it’s the wrong thing. This will give you information about what you should actually be doing.
Sounds simple on the surface - the hard part is making it part of your every day working process.
the openai IMO news hit me pretty heavy this weekend
i'm still in the acute phase of the impact, i think
i consider myself a professional mathematician (a characterization some actual professional mathematicians might take issue with, but my party my rules) and i don't think i can answer a single imo question
ok, yes, imo is its own little athletic subsection of math for which i have not trained, etc. etc., but. if i meet someone in the wild who has an IMO gold, i immediately update to "this person is much better at math than i am"
now a bunch of robots can do it. as someone who has a lot of their identity and their actual life built around "is good at math," it's a gut punch. it's a kind of dying.
like, one day you discover you can talk to dogs. it's fun and interesting so you do it more, learning the intricacies of their language and their deepest customs. you learn other people are surprised by what you can do. you have never quite fit in, but you learn people appreciate your ability and want you around to help them. the dogs appreciate you too, the only biped who really gets it. you assemble for yourself a kind of belonging. then one day you wake up and the universal dog translator is for sale at walmart for $4.99
the IMO result isn't news, exactly. in fact, if you look at the METR agent task length over time plot, i think agents being able to solve ~ 1.5 hour problems is coming right on time. so in some way we should not be surprised. and indeed, it appears multiple companies have achieved the same result. it's just... the rising tide rising as fast as it has been rising
of course, grief for my personal identity as a mathematician (and/or productive member of society) is the smallest part of this story
multiply that grief out by *every* mathematician, by every coder, maybe every knowledge worker, every artist... over the next few years... it's a slightly bigger story
and of course, beyond that, there is the fear of actual death, which perhaps i'll go into more later.
this package -- grief for relevance, grief for life, grief for what i have known -- isn't unique to the ai age or anything like that. i think it is a standard thing as one appreaches end of career or end of life. it just might be that that is coming a bit sooner for many of us, all at once.
i wonder if we are ready
Tech startups are usually good at serving an existing motivation in hyper efficient manner.
But sucks at creating a new motivation or reshaping an existing motivation.
@kunalb11 We often fall prey to presentism. There is a valuable lesson in history only if we first understand the political and cultural context of the time.
Adult friendships are all about saying "we should hang out sometime" to everyone month after month until you move out of the city/ country and then you switch to "we should totally plan a trip somewhere"