Mark

@maetl.bsky.social

Lecturer in Product Design at UCNZ. Narrative systems, graph computing and geoscience research. Tech industry dropout. Old school web sectary. Frankenbike curator. Waste stream wrangler.

who specifically is "taking responsibility for their correctness" tho. i feel like it would be a lot more reassuring to hear that one or more specific math understanders who work at openai were taking responsibility for their correctness than just the company as a gestalt

Responsibility to the mathematical community

The emergence of systems capable of contributing to mathematical research raises questions that cannot be answered by a technology company alone. There are many views as to the role of AI in mathematics, and we have deep respect and understanding for those concerned with its impact, including the signers of the Leiden declaration on AI and Mathematics⁠(opens in a new window). We believe attribution should honestly reflect how a result was produced: claiming human authorship for a proof generated entirely by an AI system would misrepresent both the system’s contribution and the nature of genuine human intellectual work. We helped prepare the manuscripts and formalize the proofs in Lean, and we take responsibility for their correctness, while the mathematical arguments themselves were generated by our system. We hope the mathematical community will engage deeply with these results, place them in context, and bring the ideas behind them to life through new research and discovery.

An event not to be missed! Come along to Unity Books Wellington this Thursday at 12:30pm, to see authors Asher Emanuel, writer of The Valley, and Carl Shuker, writer of The Royal Free, in conversation as they discuss the drama of the day job; writing the workplace.

Bild

Birth rate discourse in NZ is older than any currently active birth rate discourser. But being angry over mirages for nearly a century won't stop today's children of the discourse

1936 article "OH NO NZ BIRTHRATES ARE FALLING"

Birth rates discourse and blathering about white women’s fertility has become a staple of would-be social engineers who provide the foundation for politicians (who are not known for having ideas themselves).

Screenshots of articles from NZ Herald where one of the NZ Initiative bores is  going on about fertility and birth rates

I’d love to know what people outside the industry think “data centre” actually means, because no one I know expects them to contain any jobs at all. As someone who has built several: any employee is a design flaw.

This is what "both sides" journalism has wrought. A complete inability for journalists to simply state clear and obvious facts that are supported by reams of research. This is not a debate. There are not two sides. Bike infrastructure and traffic calming make streets safer.

The War on Cars@thewaroncars.bsky.social · 6d ago

It's not just advocates who say this. Researchers, studies, and data say it. That's why advocates say it. Reporters can just say it, too!

What I hear from students is articles like this make it worse. They are unhappy with coverage that singles them out and frames them as a problem. My view: media is not engaging with deliberate policy to feed NZ economy to US tech companies and failure of neoliberalism. www.rnz.co.nz/news/educati...

'There isn't anything' - Students facing tough job market

Tertiary qualifications typically take years of hard work and cost thousands of dollars, but many students and graduates are struggling to find work to pay rent and even get enough to eat.

rnz.co.nz

A lot of workloads being planned to use massive energy intensive network infrastructure could be radically simpler, localized and deterministic.

I may have said this before, but I sometimes wonder how the public would react to a critical reveal of the assumptions in these models, particularly the representative agent ones. Hard to imagine it being legitimating for either RBNZ or macroeconomists in general.

Musical Chairs@musicalchairs.bsky.social · 2w ago

The economy crashed hard - and for waaaay longer than RBNZ and Treasury predicted using their silly toy models. The clueless ghouls don't even include private debt growth in their model - they assume that banks lend out savings (the absolute muppets) [3/n]

Fantastic exhibition just opened on Harry Seidler at USyd Chau Chak Museum. Such a full survey of Seidler’s remarkable life, from Vienna, to fleeing Nazis, to England, internment in Canada, Masters @ Harvard, study & work with Gropius, Albers, Breuer, Niemeyer… then Aust & so many major projects 1..

BildBildBildBild