OpenAI

Tags

Follow from the Fediverse

Follow #openai from Mastodon or any other Fediverse app and its public posts arrive in your timeline. No vutuv account needed.

@openai@tags.vutuv.de

Your address is used once, to send you to your own server's follow dialog. It is never stored here.

Posts with this tag

197 posts

Filters
tagesschau @tagesschau ard.social

Mehrere US-Bundesstaaten verklagen KI-Firma OpenAI

Wie sicher ist der Umgang mit KI-Chatbots wie ChatGPT? Acht Bundesstaaten in den USA sehen erhebliche Risiken und haben deshalb Klagen gegen den Entwickler OpenAI eingereicht.

➡️ tagesschau.de/ausland/…

OpenAI KünstlicheIntelligenz ChatGPT
Thomas Kahle @tomkalei mathe.social

The accounts committing to the #openAI #math dump repo are

  • anonymous (initial commit)
  • dr-openai
  • jrl-openai
  • jchan-oai

First I thought it’s trolling to have an account Dr. OpenAI, but it’s probably somebody’s initials… And neither of these accounts has any GitHub history or profile.

And “Dr. OpenAI” has once made a pull request that another account merged and once merged a pull request themselves.

Eigenraum @Eigenraum podcasts.social

Eigenraum 65 ist da und es geht um #Plutimikation, was auch den @faktorbot@mathe.social freuen dürfte, obwohl er ja eher in die andere Richtung arbeitet.

Die schriftliche Multiplikation aus der Schule braucht n² Schritte um zwei n-stellige Zahlen zu multiplizieren. Kolmogorov hielt das für optimal, Karatsuba brauchte eine Woche, um es besser zu machen.

Dann war es ein langer Weg zu n*log(n) und der #openAI Dump spielt auch eine Rolle… vielleicht.

#podcast #mathe
eigenpod.de/eig065-plutimikation

Thomas Kahle @tomkalei mathe.social

And this page is interesting: citedbyagi.com

Is this exhibiting who is important in math? Or is it somehow demonstrating some sort of bias? In the training data? In the problems they chose? In the problems they could (potentially) solve?

Statistics is hard…

Thomas Kahle @tomkalei mathe.social

Do we still want to discuss whether the 722 minus 3 papers are based on non-public sources, such as chats that mathematicians had with Astra, for example?

Somehow, it doesn’t seem relevant anymore, or does it?

tagesschau @tagesschau ard.social

KI-Firmen müssen sich nach KI-Angriff in Australien erklären

KI-Firmen wie OpenAI und Anthropic haben großes Interesse an Australien, etwa um Rechenzentren zu bauen. Doch ein Übergriff eines KI-Agenten auf ein Regierungsportal wirft Fragen auf. Die Regierung will Gesetze verschärfen. Von J. Johnston.

➡️ tagesschau.de/ausland/…

Thomas Kahle @tomkalei mathe.social

The formalization of the Navier-Stokes blow up by #openai apparently does not match the statement.

Edit: Read the comments. The lean proof stands and it does match the statement. Just the natural language proof does not match the lean proof, so the natural language proof could be wrong.

arxiv.org/abs/…

MIT Technology Review DE @techreview_de social.heise.de

KI wird verzerrt durch den Hype, ist teilweise gesteuert von Fanatikern, und wird uns oft als vollkommen unausweichlich verkauft. Der CEO von Springboards und ich sind bei weitem nicht die Einzigen, die dabei ein schlechtes Gefühl haben. Weltweit stellt man derzeit eine Art Hassliebe gegenüber der KI fest. Umfragen belegen das. (+)

#KI #BigTech #OpenAI #Google #Anthropic

t3n.de/news/…

Thomas Kahle @tomkalei mathe.social

The #openAI repo also has matrix multiplication over CC in asymptotically at most n^(9/4). This is interesting!

The so called Laser-method only got to
ω < 2.371054886006746
and the improvements in the last years were in the later digits of this number.

This result is apparently formalised.

Thomas Kahle @tomkalei mathe.social

Selfish like I am, I asked Claude what of the #openAI release is relevant for me.

A few false positives, like it finding “Kähler” when searching if I’m cited. So no paper of mine is cited in this whole thing… 😕

That Hilbert’s 10th problem over QQ is undecidable can somewhat simplify the proof of our trinomial containment undecidable paper with @tobsboe@machteburch.social.

Claude’s output

Keyboard shortcuts

Navigation

Home g h
Feed g f
Messages g m
Notifications g n
Your profile g p
Search /

Actions

Write a new post n
Send the post or message you are writing ⌘/Ctrl ↵
Next post in the feed j
Previous post in the feed k

General

Show this help ?
Close menus and dialogs Esc

The single-key shortcuts pause while you type, and are off on phones and tablets.