who let the duck in

@technoduck.me

Just a physics undergrad. Linux aficionado. Most average open-source enthusiast. Resident car-hater, international train lover. Allegedly not a duck. 🇨🇦 on fedi : https://infosec.exchange/@technoduck

yeah this problem isn't real and it would be good if wired didn't pretend it's real probably if a person can be framed for a computer crime (established) and held responsible for an accidental computer crime (established) then the relevant ambiguity is only whomst, and it's minimal (prompter)

Tim Marchman@timmarchman.bsky.social · 5d ago

If I go on a hacking spree, it’s clearly covered under a variety of civil and criminal laws. If a robot does due to the negligence and incompetence of a person or company? That’s a little more complicated (for now), @lhn.bsky.social reports:

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.