zarzavat
It's fine to follow your dream, but just make sure that your dream wants you too.
It also helps to have rich parents, if you grow up poor you understand the consequences of choosing the wrong career path can be devastating. Some people have the freedom to experiment and still get a soft landing, other people need to get it right the first time.
There's never been a better time to be a professional mathematician, perhaps. Just like there's never been a better time to be a senior software engineer.
An 18 year old entering university today will retire somewhere in the 2070s. Is mathematics, or software engineering, a promising career path for the next 50 years? No, it's most certainly not, and anyone suggesting otherwise is delusional. I don't know what would be a good career path, but most certainly avoid anything that AI is having the most success at in 2026.
[0] How Long Before Superintelligence? (1997) https://nickbostrom.com/papers/how-long-before-superintellig...
They also cause problems for other road users such as cyclists.
Bendy buses work well if your city has wide straight roads. London's roads are neither.
Robotics is likely to follow a similar trajectory. You can say that robotics is not clinical like mathematics is, yet it kind of is, you can create simulated training environments of any complexity.
Insulation isn't magic, over many days of hot weather eventually the building will reach equilibrium with the average outside temperature. This means it will be cooler indoors than outdoors during the day, and hotter indoors than outdoors at night.
However, the nights are specifically when you want a residential building to be cooler, assuming the inhabitants are not at home during the day. So the insulation actually makes the building hotter from the perspective of the inhabitants.
I don't know where you live but UK summers were unbearable even when I was a kid. Buildings are engineered to trap heat, so the heat doesn't dissipate at night and every day the indoor temperature rises, and rises...
At least they removed the need for planning permission recently. The problem is that the places that need AC the most (flats) will probably not be able to get it until the leasehold system has been abolished.
> > decarbonizing heating
> What does this mean?
Presumably it means heating using electric heat pumps rather than gas boilers. This also solves the AC problem. I don't think this is viable for most people. Heating was never the problem anyway, at least in the south winters are mild.
I hate passkeys and if your service doesn't offer an alternative then I'm not using your service.
https://retrocomputing.stackexchange.com/questions/27095/why...
https://www.quora.com/What-goes-into-making-an-OS-to-be-Unix...
TypeScript has different semantics depending on settings in tsconfig e.g. useDefineForClassFields
Anthropic is just trying to get to ASI and relying on the blind faith of investors that there will be a return at the end.
What matters is which strategy is more effective for attracting investor capital, because neither can survive without it.
It seems that 6.1 Sol is closely related to Astra. As for whatever 6.0 Sol was, it's anyone's guess. I'd speculate that 6.0 was just 5.6 with post training. It's possible however that it is the same model but with severe performance issues resolved so they bumped the version number.
There may have been some human involvement with this website but they certainly didn’t edit it for style. Unfortunately if you don’t edit for style then people will default to the assumption that it’s entirely vibecoded.
An example of allophony in English is the aspirated /pʰ/ in pin and the unaspirated /p/ in spin, which to a speaker of Hindi and many other languages would be considered two distinct sounds.
- Disproof of the Jacobian conjecture by example
- Construction of a non-sofic group
- Existence of singularity in Navier-Stokes
Mathematical conjectures tend to be universally quantified, especially those conjectures that are used as building blocks (e.g. RH). If anything, AI models are currently performing a useful service by disproving false conjectures, a kind of mathematical weeding.
The good news from the last couple of years of coding agents is that while models have become more persistent and knowledgable, their creativity (defined as being able to escape their training distribution and synthesize completely novel ideas) is improving at a much slower rate.
AI will only become a threat to mathematics if/when it develops the capability for creative big-picture problem solving. If that happens, the impact on mathematics will be a footnote compared to the impacts on society at large, since creativity unlocks a host of new economic capabilities.