v17

I kinda hate the hard statement that AI "proved" something, when no expert human actually had a chance to look and digest properly the so-called "proof". IMO this whole proof-dump looks like a publicity stunt; just imagine that you have access to a very potent tool, and you strongly believe that it is capable of tackling problems of QRH level, why would you dump hundreds of hard proofs targeted at different areas, rather than focusing on a couple of problems, verifying the bits on the go with experts? It is almost like a company that was caught doing loud yet somewhat empty statements previously, once again is trying to hit the biggest PR coverage rather than trying to cooperate with mathematicians to actually solve those problems.

If you have android phone, you could try Instander, even though the last update was ~3 years ago, works like a charm for me

Brave has a workaround to make some v2 extensions work, including ublock origin

> I read a book that said you should try something new to you at least every quarter if not more often. It gives you something to talk about.

Any chance you remember the name?