Excellent @roycerk2.bsky.social article for @drilledmedia.bsky.social Get a rundown on the the history of attribution science and the Carbon Impacts Tracer tool (carbonimpactstracer.com) that's bringing attribution science (& DIY analysis of health environmental & economic impacts) to the masses‼️

Show Post

Finkel has embarrassed himself with this intervention. The judgement itself is straight statutory interpretation. The High Court hasn’t imposed anything other than what the NSW planning laws require. He also clearly hasn’t read the judgement or familiarised himself with the case history.

Show Post

just doing shameless point-bagging as a marketing tool. Rumors of the death of mathematics are premature.

Show Post

participated in, the AI companies are basically trying to co-opt the mathematical community to check their work for free. This is a real distraction from the real work of mathematicians, which involves pursuing elegant proofs and developing new structures (e.g. b-symplectic manifolds). Open AI is

Show Post

Regarding the OpenAI dump of 722 supposed proofs, I was just visiting a group of mathematicians in Barcelona, and my host had already found that some of the proofs were absolute junk. Others may take longer to evaluate, but as was pointed out at the panel discussion on "AI and Mathematics" I

Show Post