定理証明ポカリ

Software Engineer. Wantrepreneur.

[定理証明ポカリ @SamuraiT01]

@seoamigo アポ獲得

[定理証明ポカリ @SamuraiT01]

ヤドン

[定理証明ポカリ @SamuraiT01]

@leo_hio ノード建てたいです

[定理証明ポカリ @SamuraiT01]

deployしたmodel gpu食いまくってなんか金すげー勢いで使っててマジで心臓止まるかと思ったw
アラート設定しててよかった

[AI at Meta @AIatMeta]

Introducing Meta Llama 3: the most capable openly available LLM to date.

Today we’re releasing 8B & 70B models that deliver on new capabilities such as improved reasoning and set a new state-of-the-art for models of their sizes.

Today's release includes the first two Llama 3 models — in the coming months we expect to introduce new capabilities, longer context windows, additional model sizes and enhanced performance + the Llama 3 research paper for the community to learn from our work.

More details ➡️ https://t.co/nFll4exicO
Download Llama 3 ➡️ https://t.co/Ps0OAHt0RR

[定理証明ポカリ @SamuraiT01]

これ良さそうだな
https://t.co/lEmeJlVqcM

[Cognition @cognition]

Today we're excited to introduce Devin, the first AI software engineer.

Devin is the new state-of-the-art on the SWE-Bench coding benchmark, has successfully passed practical engineering interviews from leading AI companies, and has even completed real jobs on Upwork.

Devin is an autonomous agent that solves engineering tasks through the use of its own shell, code editor, and web browser.

When evaluated on the SWE-Bench benchmark, which asks an AI to resolve GitHub issues found in real-world open-source projects, Devin correctly resolves 13.86% of the issues unassisted, far exceeding the previous state-of-the-art model performance of 1.96% unassisted and 4.80% assisted.

Check out what Devin can do in the thread below.

[定理証明ポカリ @SamuraiT01]

未来のskynet

[Brett Adcock @adcock_brett]

OpenAI + Figure

conversations with humans, on end-to-end neural networks:

→ OpenAI is providing visual reasoning & language understanding
→ Figure's neural networks are delivering fast, low level, dexterous robot actions

(thread below)

[定理証明ポカリ @SamuraiT01]

completionがめっちゃ早かった。ただ、日本語だとLlamaの方は精度許容できる範囲で、 mixtralは日本語が全然話せない感じだった
https://t.co/IsId3pu7zX

[Angry Tom @AngryTomtweets]

It's only been 1 day since Apple launched Vision Pro, and people are going crazy over it.

Here are 10 wild examples you don't want to miss:

1. Apple Vision Pro Deepfake app concept

[定理証明ポカリ @SamuraiT01]

Startupの経営アドバイスしてくれるgpt - Paul Altman作った。是非使ってみてください

I also created a GPT named Paul Altman that provides management advice for startups. Please give it a try

https://t.co/3aHyiLCOMv

[定理証明ポカリ @SamuraiT01]

競合の調査とか結構時間かかったりするので、競合調査や会社を調査するgpt作りました。良かったら使ってみてくください
https://t.co/PaGEHhTs9U

[Rowan Cheung @rowancheung]

AI continues to make unbelievable advances in healthcare.

Researchers have just created a brain implant that decodes thoughts into synthesized speech allowing paralyzed patients to communicate through a digital avatar.

This is incredible:

-The implant converts brain signals into text at nearly 80 words per minute, focusing on phonemes vs. whole words to enhance speed.

-The AI generates realistic vocals (mirroring a patient’s pre-injury voice) and facial animations that aim to enable more natural communication.

-The breakthrough brings the tech closer to real-world use, with the next step being a wireless model that doesn’t require a physical connection to the interface.

Restoring communication for those with paralysis is an innovation that would change countless lives.

While it sounds crazy, mind-reading implants seem to be inching closer to reality.

[佐藤航陽（さとうかつあき） @ka2aki86]

衛星データからAIに生成させたバーチャル新宿を、フォートナイト向けに調整して遊べるようにしました✨

🏝️コード：2559-7059-6968

デモなので建築・バトル・ドライブを楽しんでください（グラフィック設定は最大を推奨）

バーチャル新宿マップ #UEFN #Fortnite
https://t.co/Rydzfl8qoa

[Shoji Miyata @miyata_shoji]

Nstock の採用資料をアップデートしました。SaaS事業に加えて、セカンダリー事業やります！

「未上場でSOを換金できる手段」があれば、スタートアップに挑戦する人がもっと増えると考えています。
https://t.co/U78g5mEJKb

[定理証明ポカリ @SamuraiT01]

@nunocloth 参加したいです！

[定理証明ポカリ @SamuraiT01]

@hourglasshoro Red Bull 飲めば元気になるよww

[定理証明ポカリ @SamuraiT01]

これはスターオーシャンの世界爆誕の可能性を示唆か
https://t.co/pIyZ1cOrRz

[定理証明ポカリ @SamuraiT01]

@zsh0x HDMIは規格だから、この人は概念そのものであるということか。

[定理証明ポカリ @SamuraiT01]

すげ

[もりみちはる@SHUEISHA GAMES @moritsuu]

ゲームのNPCとの会話にAIが搭載され、いろんなキャラクターと本当に会話ができるようになる事例がついに。「会話パターン全部知りたいから町の人全員に２回ずつ話しかける」プレイスタイルの人は永遠に町から出られなくなるな。

https://t.co/W9fc2KPZLh